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