1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -S -ipsccp | FileCheck %s 2*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine void @fn2() { 6*9880d681SAndroid Build Coastguard Workerentry: 7*9880d681SAndroid Build Coastguard Worker br label %if.end 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Workerfor.cond1: ; preds = %if.end, %for.end 10*9880d681SAndroid Build Coastguard Worker br i1 undef, label %if.end, label %if.end 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %lbl, %for.cond1 13*9880d681SAndroid Build Coastguard Worker %e.2 = phi i32* [ undef, %entry ], [ null, %for.cond1 ], [ null, %for.cond1 ] 14*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %e.2, align 4 15*9880d681SAndroid Build Coastguard Worker %call = call i32 @fn1(i32 %0) 16*9880d681SAndroid Build Coastguard Worker br label %for.cond1 17*9880d681SAndroid Build Coastguard Worker} 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Workerdefine internal i32 @fn1(i32 %p1) { 20*9880d681SAndroid Build Coastguard Workerentry: 21*9880d681SAndroid Build Coastguard Worker %tobool = icmp ne i32 %p1, 0 22*9880d681SAndroid Build Coastguard Worker %cond = select i1 %tobool, i32 %p1, i32 %p1 23*9880d681SAndroid Build Coastguard Worker ret i32 %cond 24*9880d681SAndroid Build Coastguard Worker} 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @fn2( 27*9880d681SAndroid Build Coastguard Worker; CHECK: call i32 @fn1(i32 undef) 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define internal i32 @fn1( 30*9880d681SAndroid Build Coastguard Worker; CHECK:%[[COND:.*]] = select i1 undef, i32 undef, i32 undef 31*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 %[[COND]] 32