181 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes2; RUN: opt -S -passes=argpromotion < %s | FileCheck %s3 4define internal i32 @callee_must_exec(ptr %p) {5; CHECK-LABEL: define {{[^@]+}}@callee_must_exec6; CHECK-SAME: (i32 [[P_0_VAL:%.*]]) {7; CHECK-NEXT: ret i32 [[P_0_VAL]]8;9 %x = load i32, ptr %p, align 1610 ret i32 %x11}12 13define void @caller_must_exec(ptr %p) {14; CHECK-LABEL: define {{[^@]+}}@caller_must_exec15; CHECK-SAME: (ptr [[P:%.*]]) {16; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 1617; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_must_exec(i32 [[P_VAL]])18; CHECK-NEXT: ret void19;20 call i32 @callee_must_exec(ptr %p)21 ret void22}23 24define internal i32 @callee_guaranteed_aligned_1(i1 %c, ptr %p) {25; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_126; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) {27; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]28; CHECK: if:29; CHECK-NEXT: ret i32 [[P_0_VAL]]30; CHECK: else:31; CHECK-NEXT: ret i32 -132;33 br i1 %c, label %if, label %else34 35if:36 %x = load i32, ptr %p, align 1637 ret i32 %x38 39else:40 ret i32 -141}42 43define void @caller_guaranteed_aligned_1(i1 %c, ptr align 16 dereferenceable(4) %p) {44; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_145; CHECK-SAME: (i1 [[C:%.*]], ptr align 16 dereferenceable(4) [[P:%.*]]) {46; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 1647; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_1(i1 [[C]], i32 [[P_VAL]])48; CHECK-NEXT: ret void49;50 call i32 @callee_guaranteed_aligned_1(i1 %c, ptr %p)51 ret void52}53 54define internal i32 @callee_guaranteed_aligned_2(i1 %c, ptr align 16 dereferenceable(4) %p) {55; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_256; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) {57; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]58; CHECK: if:59; CHECK-NEXT: ret i32 [[P_0_VAL]]60; CHECK: else:61; CHECK-NEXT: ret i32 -162;63 br i1 %c, label %if, label %else64 65if:66 %x = load i32, ptr %p, align 1667 ret i32 %x68 69else:70 ret i32 -171}72 73define void @caller_guaranteed_aligned_2(i1 %c, ptr %p) {74; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_275; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) {76; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 1677; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_2(i1 [[C]], i32 [[P_VAL]])78; CHECK-NEXT: ret void79;80 call i32 @callee_guaranteed_aligned_2(i1 %c, ptr %p)81 ret void82}83 84; We have seen the offset before but with a lower alignment85define internal i32 @callee_guaranteed_aligned_3(i1 %c, ptr align 16 dereferenceable(4) %p) {86; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_aligned_387; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_0_VAL:%.*]]) {88; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]89; CHECK: if:90; CHECK-NEXT: ret i32 [[P_0_VAL]]91; CHECK: else:92; CHECK-NEXT: ret i32 -193;94 %x = load i32, ptr %p, align 895 br i1 %c, label %if, label %else96 97if:98 %y = load i32, ptr %p, align 1699 ret i32 %y100 101else:102 ret i32 -1103}104 105define void @caller_guaranteed_aligned_3(i1 %c, ptr %p) {106; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_aligned_3107; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) {108; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 16109; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_aligned_3(i1 [[C]], i32 [[P_VAL]])110; CHECK-NEXT: ret void111;112 call i32 @callee_guaranteed_aligned_3(i1 %c, ptr %p)113 ret void114}115 116; We have seen the offset before but with a lower alignment, the guaranteed117; alignment is insufficient and the argument should not be promoted.118define internal i32 @callee_guaranteed_insufficient_aligned(i1 %c, ptr align 8 dereferenceable(4) %p) {119; CHECK-LABEL: define {{[^@]+}}@callee_guaranteed_insufficient_aligned120; CHECK-SAME: (i1 [[C:%.*]], ptr align 8 dereferenceable(4) [[P:%.*]]) {121; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 8122; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]123; CHECK: if:124; CHECK-NEXT: [[Y:%.*]] = load i32, ptr [[P]], align 16125; CHECK-NEXT: ret i32 [[Y]]126; CHECK: else:127; CHECK-NEXT: ret i32 -1128;129 %x = load i32, ptr %p, align 8130 br i1 %c, label %if, label %else131 132if:133 %y = load i32, ptr %p, align 16134 ret i32 %y135 136else:137 ret i32 -1138}139 140define void @caller_guaranteed_insufficient_aligned(i1 %c, ptr %p) {141; CHECK-LABEL: define {{[^@]+}}@caller_guaranteed_insufficient_aligned142; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) {143; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_guaranteed_insufficient_aligned(i1 [[C]], ptr [[P]])144; CHECK-NEXT: ret void145;146 call i32 @callee_guaranteed_insufficient_aligned(i1 %c, ptr %p)147 ret void148}149 150; This should not be promoted, as the caller only guarantees that the151; pointer is dereferenceable, not that it is aligned.152define internal i32 @callee_not_guaranteed_aligned(i1 %c, ptr %p) {153; CHECK-LABEL: define {{[^@]+}}@callee_not_guaranteed_aligned154; CHECK-SAME: (i1 [[C:%.*]], ptr [[P:%.*]]) {155; CHECK-NEXT: br i1 [[C]], label [[IF:%.*]], label [[ELSE:%.*]]156; CHECK: if:157; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 16158; CHECK-NEXT: ret i32 [[X]]159; CHECK: else:160; CHECK-NEXT: ret i32 -1161;162 br i1 %c, label %if, label %else163 164if:165 %x = load i32, ptr %p, align 16166 ret i32 %x167 168else:169 ret i32 -1170}171 172define void @caller_not_guaranteed_aligned(i1 %c, ptr dereferenceable(4) %p) {173; CHECK-LABEL: define {{[^@]+}}@caller_not_guaranteed_aligned174; CHECK-SAME: (i1 [[C:%.*]], ptr dereferenceable(4) [[P:%.*]]) {175; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_not_guaranteed_aligned(i1 [[C]], ptr [[P]])176; CHECK-NEXT: ret void177;178 call i32 @callee_not_guaranteed_aligned(i1 %c, ptr %p)179 ret void180}181