1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature 2; RUN: opt -passes=inline -S < %s | FileCheck %s 3 4define void @caller(ptr %ptr) { 5; CHECK-LABEL: define {{[^@]+}}@caller 6; CHECK-SAME: (ptr [[PTR:%.*]]) { 7; CHECK-NEXT: [[I_I:%.*]] = load i8, ptr [[PTR]], align 1, !alias.scope !0 8; CHECK-NEXT: ret void 9; 10 call void @callee(ptr %ptr) 11 ret void 12} 13 14define void @callee(ptr %ptr) { 15; CHECK-LABEL: define {{[^@]+}}@callee 16; CHECK-SAME: (ptr [[PTR:%.*]]) { 17; CHECK-NEXT: entry: 18; CHECK-NEXT: [[I:%.*]] = load i8, ptr [[PTR]], align 1, !alias.scope !3 19; CHECK-NEXT: br label [[DUMMY:%.*]] 20; CHECK: dummy: 21; CHECK-NEXT: [[I_COPY:%.*]] = phi i8 [ [[I]], [[ENTRY:%.*]] ] 22; CHECK-NEXT: ret void 23; 24entry: 25 %i = load i8, ptr %ptr, !alias.scope !0 26 br label %dummy 27 28dummy: 29 %i.copy = phi i8 [ %i, %entry ] 30 ret void 31} 32 33!0 = !{!1} 34!1 = distinct !{!1, !2} 35!2 = distinct !{!2} 36