llvm/test/Transforms/Inline/noalias3.ll

   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
   4 define 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
  14 define 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 ;
  24 entry:
  25   %i = load i8, ptr %ptr, !alias.scope !0
  26   br label %dummy
  27
  28 dummy:
  29   %i.copy = phi i8 [ %i, %entry ]
  30   ret void
  31 }
  32
  33 !0 = !{!1}
  34 !1 = distinct !{!1, !2}
  35 !2 = distinct !{!2}