llvm/test/Transforms/SimplifyCFG/hoist-with-range.ll

   1 ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true -S | FileCheck %s
   2
   3 define void @foo(i1 %c, i8* %p) {
   4 ; CHECK: if:
   5 ; CHECK-NEXT: load i8, i8* %p, align 1, !range !0
   6 ; CHECK: !0 = !{i8 0, i8 1, i8 3, i8 5}
   7 if:
   8   br i1 %c, label %then, label %else
   9 then:
  10   %t = load i8, i8* %p, !range !0
  11   br label %out
  12 else:
  13   %e = load i8, i8* %p, !range !1
  14   br label %out
  15 out:
  16   ret void
  17 }
  18
  19 !0 = !{ i8 0, i8 1 }
  20 !1 = !{ i8 3, i8 5 }