1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes 2; RUN: opt -passes=argpromotion -S %s | FileCheck %s 3 4@glob = external global ptr 5 6; No arguments in @callee can be promoted, but it contains a dead GEP. Make 7; sure it is not removed, as we do not perform any promotion. 8define i32 @caller(ptr %ptr) { 9; CHECK-LABEL: define {{[^@]+}}@caller 10; CHECK-SAME: (ptr [[PTR:%.*]]) { 11; CHECK-NEXT: call void @callee(ptr [[PTR]], ptr [[PTR]], ptr [[PTR]]) 12; CHECK-NEXT: ret i32 0 13; 14 call void @callee(ptr %ptr, ptr %ptr, ptr %ptr) 15 ret i32 0 16} 17 18define internal void @callee(ptr %arg, ptr %arg1, ptr %arg2) { 19; CHECK-LABEL: define {{[^@]+}}@callee 20; 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 17 23; CHECK-NEXT: store ptr [[ARG2]], ptr @glob, align 8 24; CHECK-NEXT: ret void 25; 26 call void @external_fn(ptr %arg, ptr %arg1) 27 %dead.gep = getelementptr inbounds i32, ptr %arg1, i32 17 28 store ptr %arg2, ptr @glob, align 8 29 ret void 30} 31 32declare void @external_fn(ptr, ptr) 33