| ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s |
| ; PR2503 |
| |
| @g_3 = external global i8 ; <i8*> [#uses=2] |
| |
| define i8 @func_1(i32 %x, i32 %y) nounwind { |
| entry: |
| %A = alloca i8 |
| %cmp = icmp eq i32 %x, %y |
| br i1 %cmp, label %ifelse, label %ifthen |
| |
| ifthen: ; preds = %entry |
| br label %ifend |
| |
| ifelse: ; preds = %entry |
| %tmp3 = load i8, i8* @g_3 ; <i8> [#uses=0] |
| store i8 %tmp3, i8* %A |
| br label %afterfor |
| |
| forcond: ; preds = %forinc |
| br i1 false, label %afterfor, label %forbody |
| |
| forbody: ; preds = %forcond |
| br label %forinc |
| |
| forinc: ; preds = %forbody |
| br label %forcond |
| |
| afterfor: ; preds = %forcond, %forcond.thread |
| %tmp10 = load i8, i8* @g_3 ; <i8> [#uses=0] |
| ret i8 %tmp10 |
| ; CHECK: ret i8 %tmp3 |
| |
| ifend: ; preds = %afterfor, %ifthen |
| ret i8 0 |
| } |