| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s |
| |
| ; Don't eliminate or coalesce away the explicit zero-extension! |
| ; This is currently using an leal because of a 3-addressification detail, |
| ; though this isn't necessary; The point of this test is to make sure |
| ; a 32-bit add is used. |
| |
| define i64 @foo(i64 %a) nounwind { |
| ; CHECK-LABEL: foo: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: leal -1(%rdi), %eax |
| ; CHECK-NEXT: incq %rax |
| ; CHECK-NEXT: retq |
| %b = add i64 %a, 4294967295 |
| %c = and i64 %b, 4294967295 |
| %d = add i64 %c, 1 |
| ret i64 %d |
| } |
