1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s 2 3 define void @foo(i1 %c, i8* %p) { 4 ; CHECK: if: 5 ; CHECK-NEXT: load i8, i8* %p, !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 } 21
