101 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_basic(ptr %p) {5; CHECK-LABEL: define {{[^@]+}}@callee_basic6; CHECK-SAME: (i32 [[P_0_VAL:%.*]], i32 [[P_4_VAL:%.*]]) {7; CHECK-NEXT: [[Z:%.*]] = add i32 [[P_0_VAL]], [[P_4_VAL]]8; CHECK-NEXT: ret i32 [[Z]]9;10 %x = load i32, ptr %p11 %p1 = getelementptr i8, ptr %p, i64 412 %y = load i32, ptr %p113 %z = add i32 %x, %y14 ret i32 %z15}16 17define void @caller_basic(ptr %p) {18; CHECK-LABEL: define {{[^@]+}}@caller_basic19; CHECK-SAME: (ptr [[P:%.*]]) {20; CHECK-NEXT: [[P_VAL:%.*]] = load i32, ptr [[P]], align 421; CHECK-NEXT: [[TMP1:%.*]] = getelementptr i8, ptr [[P]], i64 422; CHECK-NEXT: [[P_VAL1:%.*]] = load i32, ptr [[TMP1]], align 423; CHECK-NEXT: [[TMP2:%.*]] = call i32 @callee_basic(i32 [[P_VAL]], i32 [[P_VAL1]])24; CHECK-NEXT: ret void25;26 call i32 @callee_basic(ptr %p)27 ret void28}29 30; Same offset is loaded with two differen types: Don't promote.31define internal i32 @callee_different_types(ptr %p) {32; CHECK-LABEL: define {{[^@]+}}@callee_different_types33; CHECK-SAME: (ptr [[P:%.*]]) {34; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 435; CHECK-NEXT: [[Y_F:%.*]] = load float, ptr [[P]], align 436; CHECK-NEXT: [[Y:%.*]] = fptoui float [[Y_F]] to i3237; CHECK-NEXT: [[Z:%.*]] = add i32 [[X]], [[Y]]38; CHECK-NEXT: ret i32 [[Z]]39;40 %x = load i32, ptr %p41 %y.f = load float, ptr %p42 %y = fptoui float %y.f to i3243 %z = add i32 %x, %y44 ret i32 %z45}46 47define void @caller_different_types(ptr %p) {48; CHECK-LABEL: define {{[^@]+}}@caller_different_types49; CHECK-SAME: (ptr [[P:%.*]]) {50; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_different_types(ptr [[P]])51; CHECK-NEXT: ret void52;53 call i32 @callee_different_types(ptr %p)54 ret void55}56 57; The two loads overlap: Don't promote.58define internal i32 @callee_overlap(ptr %p) {59; CHECK-LABEL: define {{[^@]+}}@callee_overlap60; CHECK-SAME: (ptr [[P:%.*]]) {61; CHECK-NEXT: [[X:%.*]] = load i32, ptr [[P]], align 462; CHECK-NEXT: [[P1:%.*]] = getelementptr i8, ptr [[P]], i64 263; CHECK-NEXT: [[Y:%.*]] = load i32, ptr [[P1]], align 464; CHECK-NEXT: [[Z:%.*]] = add i32 [[X]], [[Y]]65; CHECK-NEXT: ret i32 [[Z]]66;67 %x = load i32, ptr %p68 %p1 = getelementptr i8, ptr %p, i64 269 %y = load i32, ptr %p170 %z = add i32 %x, %y71 ret i32 %z72}73 74define void @caller_overlap(ptr %p) {75; CHECK-LABEL: define {{[^@]+}}@caller_overlap76; CHECK-SAME: (ptr [[P:%.*]]) {77; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_overlap(ptr [[P]])78; CHECK-NEXT: ret void79;80 call i32 @callee_overlap(ptr %p)81 ret void82}83 84; Don't promote calls with function type mismatch.85define void @caller_type_mismatch() {86; CHECK-LABEL: define {{[^@]+}}@caller_type_mismatch() {87; CHECK-NEXT: [[TMP1:%.*]] = call i32 @callee_type_mismatch(ptr null)88; CHECK-NEXT: ret void89;90 call i32 @callee_type_mismatch(ptr null)91 ret void92}93 94define internal void @callee_type_mismatch(ptr %p) {95; CHECK-LABEL: define {{[^@]+}}@callee_type_mismatch96; CHECK-SAME: (ptr [[P:%.*]]) {97; CHECK-NEXT: ret void98;99 ret void100}101