Polish atomic pointers
[oota-llvm.git] / test / Verifier / 2009-05-29-InvokeResult3.ll
1 ; RUN: not llvm-as < %s >& /dev/null
2
3 declare i32 @v()
4
5 define i32 @h() {
6 e:
7         %s = invoke i32 @v()
8                         to label %c unwind label %u             ; <i32> [#uses=2]
9
10 c:              ; preds = %e
11         br label %d
12
13 d:              ; preds = %u, %c
14         %p = phi i32 [ %s, %c ], [ %s, %u ]             ; <i32> [#uses=1]
15         ret i32 %p
16
17 u:              ; preds = %e
18         br label %d
19 }