1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -gvn -S | grep "ret i8 [%]tmp3" 2*9880d681SAndroid Build Coastguard Worker; PR2503 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Worker@g_3 = external global i8 ; <i8*> [#uses=2] 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine i8 @func_1(i32 %x, i32 %y) nounwind { 7*9880d681SAndroid Build Coastguard Workerentry: 8*9880d681SAndroid Build Coastguard Worker %A = alloca i8 9*9880d681SAndroid Build Coastguard Worker %cmp = icmp eq i32 %x, %y 10*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %ifelse, label %ifthen 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerifthen: ; preds = %entry 13*9880d681SAndroid Build Coastguard Worker br label %ifend 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerifelse: ; preds = %entry 16*9880d681SAndroid Build Coastguard Worker %tmp3 = load i8, i8* @g_3 ; <i8> [#uses=0] 17*9880d681SAndroid Build Coastguard Worker store i8 %tmp3, i8* %A 18*9880d681SAndroid Build Coastguard Worker br label %afterfor 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Workerforcond: ; preds = %forinc 21*9880d681SAndroid Build Coastguard Worker br i1 false, label %afterfor, label %forbody 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workerforbody: ; preds = %forcond 24*9880d681SAndroid Build Coastguard Worker br label %forinc 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Workerforinc: ; preds = %forbody 27*9880d681SAndroid Build Coastguard Worker br label %forcond 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerafterfor: ; preds = %forcond, %forcond.thread 30*9880d681SAndroid Build Coastguard Worker %tmp10 = load i8, i8* @g_3 ; <i8> [#uses=0] 31*9880d681SAndroid Build Coastguard Worker ret i8 %tmp10 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workerifend: ; preds = %afterfor, %ifthen 34*9880d681SAndroid Build Coastguard Worker ret i8 0 35*9880d681SAndroid Build Coastguard Worker} 36