| ; XFAIL: * | |
| ; RUN: opt -passes=newgvn -S %s | FileCheck %s | |
| %MyStruct = type { i32, i32 } | |
| define i8 @foo(i64 %in, ptr %arr) { | |
| %addr = alloca %MyStruct | |
| %dead = trunc i64 %in to i32 | |
| br i1 undef, label %next, label %tmp | |
| tmp: | |
| call void @bar() | |
| br label %next | |
| next: | |
| store i64 %in, ptr %addr | |
| br label %final | |
| final: | |
| %idx32 = load i32, ptr %addr | |
| ; CHECK: %resptr = getelementptr i8, ptr %arr, i32 %dead | |
| %resptr = getelementptr i8, ptr %arr, i32 %idx32 | |
| %res = load i8, ptr %resptr | |
| ret i8 %res | |
| } | |
| declare void @bar() |