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