[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / ADCE / 2002-05-28-Crash-distilled.ll
blob2fefd0a5f98f789d6eb73137ea77a4e56f5eb4a2
1 ; This testcase is a distilled form of: 2002-05-28-Crash.ll
3 ; RUN: opt < %s -adce 
4 ; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s
6 define float @test(i32 %i) {
7         %F = sitofp i32 %i to float             ; <float> [#uses=1]
8         %I = bitcast i32 %i to i32              ; <i32> [#uses=1]
9         br label %Loop
11 Loop:           ; preds = %Loop, %0
12         %B = icmp ne i32 %I, 0          ; <i1> [#uses=1]
13 ; CHECK:   br label %Out
14         br i1 %B, label %Out, label %Loop
16 Out:            ; preds = %Loop
17         ret float %F