1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -simplifycfg -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine void @foo(i1 %c, i8* %p) { 4*9880d681SAndroid Build Coastguard Worker; CHECK: if: 5*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: load i8, i8* %p, !range !0 6*9880d681SAndroid Build Coastguard Worker; CHECK: !0 = !{i8 0, i8 1, i8 3, i8 5} 7*9880d681SAndroid Build Coastguard Workerif: 8*9880d681SAndroid Build Coastguard Worker br i1 %c, label %then, label %else 9*9880d681SAndroid Build Coastguard Workerthen: 10*9880d681SAndroid Build Coastguard Worker %t = load i8, i8* %p, !range !0 11*9880d681SAndroid Build Coastguard Worker br label %out 12*9880d681SAndroid Build Coastguard Workerelse: 13*9880d681SAndroid Build Coastguard Worker %e = load i8, i8* %p, !range !1 14*9880d681SAndroid Build Coastguard Worker br label %out 15*9880d681SAndroid Build Coastguard Workerout: 16*9880d681SAndroid Build Coastguard Worker ret void 17*9880d681SAndroid Build Coastguard Worker} 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Worker!0 = !{ i8 0, i8 1 } 20*9880d681SAndroid Build Coastguard Worker!1 = !{ i8 3, i8 5 } 21