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