1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -simplifycfg -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; a, b; 4*9880d681SAndroid Build Coastguard Worker; fn1() { 5*9880d681SAndroid Build Coastguard Worker; if (b) 6*9880d681SAndroid Build Coastguard Worker; if (a == 0 || a == 5) 7*9880d681SAndroid Build Coastguard Worker; return a; 8*9880d681SAndroid Build Coastguard Worker; return 0; 9*9880d681SAndroid Build Coastguard Worker; } 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Worker; Checking that we handle correctly the case when we have a switch 12*9880d681SAndroid Build Coastguard Worker; branching multiple times to the same block 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Worker@b = common global i32 0, align 4 15*9880d681SAndroid Build Coastguard Worker@a = common global i32 0, align 4 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Worker; Function Attrs: nounwind 18*9880d681SAndroid Build Coastguard Workerdefine i32 @fn1() { 19*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @fn1 20*9880d681SAndroid Build Coastguard Worker; CHECK: %switch.selectcmp1 = icmp eq i32 %1, 5 21*9880d681SAndroid Build Coastguard Worker; CHECK: %switch.select2 = select i1 %switch.selectcmp1, i32 5, i32 %switch.select 22*9880d681SAndroid Build Coastguard Workerentry: 23*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* @b, align 4 24*9880d681SAndroid Build Coastguard Worker %tobool = icmp eq i32 %0, 0 25*9880d681SAndroid Build Coastguard Worker br i1 %tobool, label %if.end3, label %if.then 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerif.then: 28*9880d681SAndroid Build Coastguard Worker %1 = load i32, i32* @a, align 4 29*9880d681SAndroid Build Coastguard Worker switch i32 %1, label %if.end3 [ 30*9880d681SAndroid Build Coastguard Worker i32 5, label %return 31*9880d681SAndroid Build Coastguard Worker i32 0, label %return 32*9880d681SAndroid Build Coastguard Worker ] 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Workerif.end3: 35*9880d681SAndroid Build Coastguard Worker br label %return 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Workerreturn: 38*9880d681SAndroid Build Coastguard Worker %retval.0 = phi i32 [ 0, %if.end3 ], [ %1, %if.then ], [ %1, %if.then ] 39*9880d681SAndroid Build Coastguard Worker ret i32 %retval.0 40*9880d681SAndroid Build Coastguard Worker} 41