[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / hwloop-ice.ll
blob57e2faaa3a2a02b1aced264597bc5de3726ce5ce
1 ; RUN: llc -O2 -march=hexagon < %s
2 ; REQUIRES: asserts
4 ; Function Attrs: nounwind
5 define void @f0(i32 %a0) #0 {
6 b0:
7   %v0 = icmp ugt i32 %a0, 1
8   br i1 %v0, label %b1, label %b2
10 b1:                                               ; preds = %b1, %b0
11   %v1 = phi i32 [ %v2, %b1 ], [ 0, %b0 ]
12   %v2 = add nsw i32 %v1, 2
13   %v3 = icmp slt i32 %v2, 0
14   br i1 %v3, label %b1, label %b2
16 b2:                                               ; preds = %b1, %b0
17   unreachable
20 attributes #0 = { nounwind }