1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -simplifycfg -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine void @f() { 4*9880d681SAndroid Build Coastguard Workerentry: 5*9880d681SAndroid Build Coastguard Worker br label %for.cond 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerfor.cond: 8*9880d681SAndroid Build Coastguard Worker %phi = phi i1 [ false, %entry ], [ true, %for.body ] 9*9880d681SAndroid Build Coastguard Worker %select = select i1 %phi, i32 1, i32 2 10*9880d681SAndroid Build Coastguard Worker br label %for.body 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerfor.body: 13*9880d681SAndroid Build Coastguard Worker switch i32 %select, label %for.cond [ 14*9880d681SAndroid Build Coastguard Worker i32 1, label %return 15*9880d681SAndroid Build Coastguard Worker i32 2, label %for.body 16*9880d681SAndroid Build Coastguard Worker ] 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerreturn: 19*9880d681SAndroid Build Coastguard Worker ret void 20*9880d681SAndroid Build Coastguard Worker} 21*9880d681SAndroid Build Coastguard Worker 22*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @f( 23*9880d681SAndroid Build Coastguard Worker; CHECK: br label %[[LABEL:.*]] 24*9880d681SAndroid Build Coastguard Worker; CHECK: br label %[[LABEL]] 25