1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
3 define void @foo(i1 %c, i8* %p) {
5 ; CHECK-NEXT: load i8, i8* %p, !range !0
6 ; CHECK: !0 = !{i8 0, i8 1, i8 3, i8 5}
8 br i1 %c, label %then, label %else
10 %t = load i8, i8* %p, !range !0
13 %e = load i8, i8* %p, !range !1