[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr36602.ll
blobfa2e05e863336f70549dd448bca812fa9448069f
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
5 define i32 @fn2() {
6 ; CHECK-LABEL: fn2:
7 ; CHECK:       # %bb.0:
8 ; CHECK-NEXT:    xorl %eax, %eax
9 ; CHECK-NEXT:    testb %al, %al
10 ; CHECK-NEXT:    jne .LBB0_2
11 ; CHECK-NEXT:  # %bb.1: # %bb1
12 ; CHECK-NEXT:    xorl %eax, %eax
13 ; CHECK-NEXT:    retq
14 ; CHECK-NEXT:  .LBB0_2: # %bb2
15 ; CHECK-NEXT:    movl $1, %eax
16 ; CHECK-NEXT:    retq
17   %_tmp10 = icmp eq i8 0, 0
18   %_tmp13 = icmp slt i8 undef, 1
19   %_tmp151 = or i1 %_tmp10, %_tmp13
20   %_tmp15 = zext i1 %_tmp151 to i8
21   br i1 %_tmp151, label %bb1, label %bb2
23 bb1:                                              ; preds = %0, %0
24   ret i32 0
26 bb2:                                              ; preds = %0, %0
27   ret i32 1