[InstCombine] Signed saturation tests. NFC
[llvm-core.git] / test / Verifier / 2009-05-29-InvokeResult2.ll
blob92a51d71efe65b5df295937e4b87fed027d97164
1 ; RUN: not llvm-as < %s > /dev/null 2>&1
3 declare i32 @v()
5 define i32 @g() {
6 e:
7         %s = invoke i32 @v()
8                         to label %c unwind label %u             ; <i32> [#uses=2]
10 c:              ; preds = %e
11         ret i32 %s
13 u:              ; preds = %e
14         %t = phi i32 [ %s, %e ]         ; <i32> [#uses=1]
15         ret i32 %t