| ; 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 @callee_must_exec(ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_must_exec |
| ; CHECK-SAME: (i32 [[P_0_VAL:%.*]]) { |
| ; CHECK-NEXT: ret i32 [[P_0_VAL]] |
| ; |
| %x = load i32, ptr %p, align 16 |
| ret i32 %x |
| } |
| |
| define void @caller_must_exec(ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_must_exec |
| ; CHECK-SAME: (ptr [[P:%.*]]) { |
| ; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_must_exec(i32 [[P_VAL]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_must_exec(ptr %p) |
| ret void |
| } |
| |
| define internal i32 @callee_guaranteed_aligned_1(i1 %c, ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_1 |
| ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) { |
| ; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]] |
| ; CHECK: if: |
| ; CHECK-NEXT: ret i32 [[P_0_VAL]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| br i1 %c, label %if, label %else |
| |
| if: |
| %x = load i32, ptr %p, align 16 |
| ret i32 %x |
| |
| else: |
| ret i32 -1 |
| } |
| |
| define void @caller_guaranteed_aligned_1(i1 %c, ptr align 16 dereferenceable(4) %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_1 |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr align 16 dereferenceable(4) [[P:%.*]]) { |
| ; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_1(i1 [[C]], i32 [[P_VAL]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_guaranteed_aligned_1(i1 %c, ptr %p) |
| ret void |
| } |
| |
| define internal i32 @callee_guaranteed_aligned_2(i1 %c, ptr align 16 dereferenceable(4) %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_2 |
| ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) { |
| ; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]] |
| ; CHECK: if: |
| ; CHECK-NEXT: ret i32 [[P_0_VAL]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| br i1 %c, label %if, label %else |
| |
| if: |
| %x = load i32, ptr %p, align 16 |
| ret i32 %x |
| |
| else: |
| ret i32 -1 |
| } |
| |
| define void @caller_guaranteed_aligned_2(i1 %c, ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_2 |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) { |
| ; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_2(i1 [[C]], i32 [[P_VAL]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_guaranteed_aligned_2(i1 %c, ptr %p) |
| ret void |
| } |
| |
| ; We have seen the offset before but with a lower alignment |
| define internal i32 @callee_guaranteed_aligned_3(i1 %c, ptr align 16 dereferenceable(4) %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_3 |
| ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) { |
| ; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]] |
| ; CHECK: if: |
| ; CHECK-NEXT: ret i32 [[P_0_VAL]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| %x = load i32, ptr %p, align 8 |
| br i1 %c, label %if, label %else |
| |
| if: |
| %y = load i32, ptr %p, align 16 |
| ret i32 %y |
| |
| else: |
| ret i32 -1 |
| } |
| |
| define void @caller_guaranteed_aligned_3(i1 %c, ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_3 |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) { |
| ; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_3(i1 [[C]], i32 [[P_VAL]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_guaranteed_aligned_3(i1 %c, ptr %p) |
| ret void |
| } |
| |
| ; We have seen the offset before but with a lower alignment, the guaranteed |
| ; alignment is insufficient and the argument should not be promoted. |
| define internal i32 @callee_guaranteed_insufficient_aligned(i1 %c, ptr align 8 dereferenceable(4) %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_insufficient_aligned |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr align 8 dereferenceable(4) [[P:%.*]]) { |
| ; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 8 |
| ; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]] |
| ; CHECK: if: |
| ; CHECK-NEXT: [[Y:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: ret i32 [[Y]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| %x = load i32, ptr %p, align 8 |
| br i1 %c, label %if, label %else |
| |
| if: |
| %y = load i32, ptr %p, align 16 |
| ret i32 %y |
| |
| else: |
| ret i32 -1 |
| } |
| |
| define void @caller_guaranteed_insufficient_aligned(i1 %c, ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_insufficient_aligned |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) { |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_insufficient_aligned(i1 [[C]], ptr [[P]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_guaranteed_insufficient_aligned(i1 %c, ptr %p) |
| ret void |
| } |
| |
| ; This should not be promoted, as the caller only guarantees that the |
| ; pointer is dereferenceable, not that it is aligned. |
| define internal i32 @callee_not_guaranteed_aligned(i1 %c, ptr %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@callee_not_guaranteed_aligned |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) { |
| ; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]] |
| ; CHECK: if: |
| ; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 16 |
| ; CHECK-NEXT: ret i32 [[X]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i32 -1 |
| ; |
| br i1 %c, label %if, label %else |
| |
| if: |
| %x = load i32, ptr %p, align 16 |
| ret i32 %x |
| |
| else: |
| ret i32 -1 |
| } |
| |
| define void @caller_not_guaranteed_aligned(i1 %c, ptr dereferenceable(4) %p) { |
| ; CHECK-LABEL: define {{[^@]+}}@caller_not_guaranteed_aligned |
| ; CHECK-SAME: (i1 [[C:%.*]], ptr dereferenceable(4) [[P:%.*]]) { |
| ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_not_guaranteed_aligned(i1 [[C]], ptr [[P]]) |
| ; CHECK-NEXT: ret void |
| ; |
| call i32 @callee_not_guaranteed_aligned(i1 %c, ptr %p) |
| ret void |
| } |