[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Thumb2 / thumb2-smla.ll
blobf1850d46092884ab4f3712a0cd47dcba24c2c423
1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2,+dsp %s -o - | FileCheck %s
2 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2,+dsp -arm-use-mulops=false %s -o - | FileCheck %s -check-prefix=NO_MULOPS
4 define i32 @f3(i32 %a, i16 %x, i32 %y) {
5 ; CHECK: f3
6 ; CHECK: smlabt r0, r1, r2, r0
7 ; NO_MULOPS: f3
8 ; NO_MULOPS: smultb r1, r2, r1
9 ; NO_MULOPS-NEXT: add r0, r1
10         %tmp = sext i16 %x to i32               ; <i32> [#uses=1]
11         %tmp2 = ashr i32 %y, 16         ; <i32> [#uses=1]
12         %tmp3 = mul i32 %tmp2, %tmp             ; <i32> [#uses=1]
13         %tmp5 = add i32 %tmp3, %a               ; <i32> [#uses=1]
14         ret i32 %tmp5