| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes |
| ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s |
| |
| define internal i32 @deref(i32* %x) nounwind { |
| ; CHECK-LABEL: define {{[^@]+}}@deref |
| ; CHECK-SAME: (i32 [[X_VAL:%.*]]) |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: ret i32 [[X_VAL]] |
| ; |
| entry: |
| %tmp2 = load i32, i32* %x, align 4 |
| ret i32 %tmp2 |
| } |
| |
| define i32 @f(i32 %x) { |
| ; CHECK-LABEL: define {{[^@]+}}@f |
| ; CHECK-SAME: (i32 [[X:%.*]]) |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[X_ADDR:%.*]] = alloca i32 |
| ; CHECK-NEXT: store i32 [[X]], i32* [[X_ADDR]], align 4 |
| ; CHECK-NEXT: [[X_ADDR_VAL:%.*]] = load i32, i32* [[X_ADDR]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @deref(i32 [[X_ADDR_VAL]]) |
| ; CHECK-NEXT: ret i32 [[TMP1]] |
| ; |
| entry: |
| %x_addr = alloca i32 |
| store i32 %x, i32* %x_addr, align 4 |
| %tmp1 = call i32 @deref( i32* %x_addr ) nounwind |
| ret i32 %tmp1 |
| } |
