test/Transforms/GVN/PRE/load-metadata.ll

   1 ; RUN: opt -S -gvn < %s | FileCheck %s
   2
   3 define i32 @test1(i32* %p, i1 %C) {
   4 ; CHECK-LABEL: @test1(
   5 block1:
   6         br i1 %C, label %block2, label %block3
   7
   8 block2:
   9  br label %block4
  10 ; CHECK: block2:
  11 ; CHECK-NEXT: load i32, i32* %p, !range !0, !invariant.group !1
  12
  13 block3:
  14   store i32 0, i32* %p
  15   br label %block4
  16
  17 block4:
  18   %PRE = load i32, i32* %p, !range !0, !invariant.group !1
  19   ret i32 %PRE
  20 }
  21
  22
  23 !0 = !{i32 40, i32 100}
  24 !1 = !{!"magic ptr"}