33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes2; RUN: opt -passes=argpromotion -S %s | FileCheck %s3 4@glob = external global ptr5 6; No arguments in @callee can be promoted, but it contains a dead GEP. Make7; sure it is not removed, as we do not perform any promotion.8define i32 @caller(ptr %ptr) {9; CHECK-LABEL: define {{[^@]+}}@caller10; CHECK-SAME: (ptr [[PTR:%.*]]) {11; CHECK-NEXT: call void @callee(ptr [[PTR]], ptr [[PTR]], ptr [[PTR]])12; CHECK-NEXT: ret i32 013;14 call void @callee(ptr %ptr, ptr %ptr, ptr %ptr)15 ret i32 016}17 18define internal void @callee(ptr %arg, ptr %arg1, ptr %arg2) {19; CHECK-LABEL: define {{[^@]+}}@callee20; CHECK-SAME: (ptr [[ARG:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]]) {21; CHECK-NEXT: call void @external_fn(ptr [[ARG]], ptr [[ARG1]])22; CHECK-NEXT: [[DEAD_GEP:%.*]] = getelementptr inbounds i32, ptr [[ARG1]], i32 1723; CHECK-NEXT: store ptr [[ARG2]], ptr @glob, align 824; CHECK-NEXT: ret void25;26 call void @external_fn(ptr %arg, ptr %arg1)27 %dead.gep = getelementptr inbounds i32, ptr %arg1, i32 1728 store ptr %arg2, ptr @glob, align 829 ret void30}31 32declare void @external_fn(ptr, ptr)33