| ; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | grep b.gvnpre | |
| define i32 @extract() { | |
| entry: ; preds = %cond_false, %entry | |
| %foo = add <2 x i32> < i32 1, i32 1 >, < i32 1, i32 1 > | |
| br i1 true, label %cond_true, label %cond_false | |
| cond_true: | |
| br label %end | |
| cond_false: | |
| %a = extractelement <2 x i32> %foo, i32 0 | |
| br label %end | |
| end: | |
| %b = extractelement <2 x i32> %foo, i32 0 | |
| ret i32 %b | |
| } |