[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / avx512-inc-dec.ll
blob73a2d67f8e1dbd6c51ee74a2c258693b74a0de52
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s
4 define i32 @test(i32 %a, i32 %b) {
5 ; CHECK-LABEL: test:
6 ; CHECK:       ## %bb.0:
7 ; CHECK-NEXT:    ## kill: def $edi killed $edi def $rdi
8 ; CHECK-NEXT:    leal -1(%rdi), %eax
9 ; CHECK-NEXT:    addl $1, %esi
10 ; CHECK-NEXT:    imull %esi, %eax
11 ; CHECK-NEXT:    retq
12  %a1 = add i32 %a, -1
13  %b1 = add i32 %b, 1
14  %res = mul i32 %a1, %b1
15  ret i32 %res