1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -simplifycfg -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; Checks that the SimplifyCFG pass won't duplicate a call to a function marked 4*9880d681SAndroid Build Coastguard Worker; convergent. 5*9880d681SAndroid Build Coastguard Worker; 6*9880d681SAndroid Build Coastguard Worker; CHECK: call void @barrier 7*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: call void @barrier 8*9880d681SAndroid Build Coastguard Workerdefine void @check(i1 %cond, i32* %out) { 9*9880d681SAndroid Build Coastguard Workerentry: 10*9880d681SAndroid Build Coastguard Worker br i1 %cond, label %if.then, label %if.end 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerif.then: 13*9880d681SAndroid Build Coastguard Worker store i32 5, i32* %out 14*9880d681SAndroid Build Coastguard Worker br label %if.end 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerif.end: 17*9880d681SAndroid Build Coastguard Worker %x = phi i1 [ true, %entry ], [ false, %if.then ] 18*9880d681SAndroid Build Coastguard Worker call void @barrier() 19*9880d681SAndroid Build Coastguard Worker br i1 %x, label %cond.end, label %cond.false 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Workercond.false: 22*9880d681SAndroid Build Coastguard Worker br label %cond.end 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workercond.end: 25*9880d681SAndroid Build Coastguard Worker ret void 26*9880d681SAndroid Build Coastguard Worker} 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Workerdeclare void @barrier() convergent 29