[Codegen] Adjust saturation test. NFC.
[llvm-core.git] / test / CodeGen / X86 / pr34381.ll
blob831b1d23402dddf4058bc74f229c076d7569bac7
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ;RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mattr=slow-incdec | FileCheck %s
4 @var_21 = external constant i32, align 4
5 @var_29 = external constant i8, align 1
6 @var_390 = external global i32, align 4
7 @var_11 = external constant i8, align 1
8 @var_370 = external global i8, align 1
10 ; Function Attrs: noinline nounwind optnone uwtable
11 define void @_Z3foov() {
12 ; CHECK-LABEL: _Z3foov:
13 ; CHECK:       # %bb.0: # %entry
14 ; CHECK-NEXT:    movsbl {{.*}}(%rip), %eax
15 ; CHECK-NEXT:    negl %eax
16 ; CHECK-NEXT:    xorl %ecx, %ecx
17 ; CHECK-NEXT:    cmpl %eax, {{.*}}(%rip)
18 ; CHECK-NEXT:    setb %cl
19 ; CHECK-NEXT:    movl %ecx, {{.*}}(%rip)
20 ; CHECK-NEXT:    movb {{.*}}(%rip), %al
21 ; CHECK-NEXT:    movb %al, {{.*}}(%rip)
22 ; CHECK-NEXT:    retq
23 entry:
24   %0 = load i32, i32* @var_21, align 4
25   %1 = load i8, i8* @var_29, align 1
26   %conv = sext i8 %1 to i32
27   %sub = sub nsw i32 0, %conv
28   %cmp = icmp ult i32 %0, %sub
29   %conv1 = zext i1 %cmp to i32
30   %add = add nsw i32 %conv1, -1
31   %conv2 = trunc i32 %add to i8
32   %tobool = icmp ne i8 %conv2, 0
33   %lnot = xor i1 %tobool, true
34   %conv3 = zext i1 %lnot to i32
35   store i32 %conv3, i32* @var_390, align 4
36   %2 = load i8, i8* @var_11, align 1
37   %conv4 = sext i8 %2 to i16
38   %conv5 = trunc i16 %conv4 to i8
39   store i8 %conv5, i8* @var_370, align 1
40   ret void