36 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature2; RUN: opt -passes=inline -S < %s | FileCheck %s3 4define void @caller(ptr %ptr) {5; CHECK-LABEL: define {{[^@]+}}@caller6; CHECK-SAME: (ptr [[PTR:%.*]]) {7; CHECK-NEXT: [[I_I:%.*]] = load i8, ptr [[PTR]], align 1, !alias.scope !08; CHECK-NEXT: ret void9;10 call void @callee(ptr %ptr)11 ret void12}13 14define void @callee(ptr %ptr) {15; CHECK-LABEL: define {{[^@]+}}@callee16; CHECK-SAME: (ptr [[PTR:%.*]]) {17; CHECK-NEXT: entry:18; CHECK-NEXT: [[I:%.*]] = load i8, ptr [[PTR]], align 1, !alias.scope !319; CHECK-NEXT: br label [[DUMMY:%.*]]20; CHECK: dummy:21; CHECK-NEXT: [[I_COPY:%.*]] = phi i8 [ [[I]], [[ENTRY:%.*]] ]22; CHECK-NEXT: ret void23;24entry:25 %i = load i8, ptr %ptr, !alias.scope !026 br label %dummy27 28dummy:29 %i.copy = phi i8 [ %i, %entry ]30 ret void31}32 33!0 = !{!1}34!1 = distinct !{!1, !2}35!2 = distinct !{!2}36