[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / ADCE / 2003-11-16-MissingPostDominanceInfo.ll
blobf60469a61635968257a32a65f5ace47deb23de13
1 ; RUN: opt < %s -adce -simplifycfg -S | grep call
2 ; RUN: opt < %s -adce -adce-remove-loops -simplifycfg -S | grep call
4 declare void @exit(i32)
6 define i32 @main(i32 %argc) {
7         %C = icmp eq i32 %argc, 1               ; <i1> [#uses=2]
8         br i1 %C, label %Cond, label %Done
10 Cond:           ; preds = %0
11         br i1 %C, label %Loop, label %Done
13 Loop:           ; preds = %Loop, %Cond
14         call void @exit( i32 0 )
15         br label %Loop
17 Done:           ; preds = %Cond, %0
18         ret i32 1