1; RUN: opt < %s -basicaa -gvn -S | grep {ret i8 \[%\]tmp3} 2; PR2503 3 4@g_3 = external global i8 ; <i8*> [#uses=2] 5 6define i8 @func_1() nounwind { 7entry: 8 %A = alloca i8 9 br i1 false, label %ifelse, label %ifthen 10 11ifthen: ; preds = %entry 12 br label %ifend 13 14ifelse: ; preds = %entry 15 %tmp3 = load i8* @g_3 ; <i8> [#uses=0] 16 store i8 %tmp3, i8* %A 17 br label %forcond.thread 18 19forcond.thread: ; preds = %ifelse 20 br label %afterfor 21 22forcond: ; preds = %forinc 23 br i1 false, label %afterfor, label %forbody 24 25forbody: ; preds = %forcond 26 br label %forinc 27 28forinc: ; preds = %forbody 29 br label %forcond 30 31afterfor: ; preds = %forcond, %forcond.thread 32 %tmp10 = load i8* @g_3 ; <i8> [#uses=0] 33 ret i8 %tmp10 34 35ifend: ; preds = %afterfor, %ifthen 36 ret i8 0 37} 38