1; RUN: opt < %s -simplifycfg -S | FileCheck %s
2
3define 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}
7if:
8  br i1 %c, label %then, label %else
9then:
10  %t = load i8, i8* %p, !range !0
11  br label %out
12else:
13  %e = load i8, i8* %p, !range !1
14  br label %out
15out:
16  ret void
17}
18
19!0 = !{ i8 0, i8 1 }
20!1 = !{ i8 3, i8 5 }
21