test/CodeGen/Thumb2/thumb2-sxt_rot.ll

   1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s %s -o - | FileCheck %s --check-prefix=CHECK-DSP
   2 ; RUN: llc -mtriple=thumb-eabi -mcpu=cortex-m3 %s -o - | FileCheck %s --check-prefix=CHECK-NO-DSP
   3 ; RUN: llc -mtriple=thumbv7em-eabi %s -o - | FileCheck %s -check-prefix=CHECK-DSP
   4 ; RUN: llc -mtriple=thumbv8m.main-none-eabi %s -o - | FileCheck %s -check-prefix=CHECK-NO-DSP
   5 ; RUN: llc -mtriple=thumbv8m.main-none-eabi -mattr=+dsp %s -o - | FileCheck %s -check-prefix=CHECK-DSP
   6
   7 define i32 @test0(i8 %A) {
   8 ; CHECK-LABEL: test0:
   9 ; CHECK-DSP: sxtb r0, r0
  10 ; CHECK-NO-DSP: sxtb r0, r0
  11         %B = sext i8 %A to i32
  12         ret i32 %B
  13 }
  14
  15 define signext i8 @test1(i32 %A)  {
  16 ; CHECK-LABEL: test1:
  17 ; CHECK-DSP: sbfx r0, r0, #8, #8
  18 ; CHECK-NO-DSP: sbfx r0, r0, #8, #8
  19         %B = lshr i32 %A, 8
  20         %C = shl i32 %A, 24
  21         %D = or i32 %B, %C
  22         %E = trunc i32 %D to i8
  23         ret i8 %E
  24 }
  25
  26 define signext i32 @test2(i32 %A, i32 %X)  {
  27 ; CHECK-LABEL: test2:
  28 ; CHECK-DSP: sxtab  r0, r1, r0, ror #8
  29 ; CHECK-NO-DSP-NOT: sxtab
  30         %B = lshr i32 %A, 8
  31         %C = shl i32 %A, 24
  32         %D = or i32 %B, %C
  33         %E = trunc i32 %D to i8
  34         %F = sext i8 %E to i32
  35         %G = add i32 %F, %X
  36         ret i32 %G
  37 }
  38
  39 define i32 @test3(i32 %A, i32 %X) {
  40 ; CHECK-LABEL: test3:
  41 ; CHECK-DSP: sxtah r0, r0, r1, ror #8
  42 ; CHECK-NO-DSP-NOT: sxtah
  43   %X.hi = lshr i32 %X, 8
  44   %X.trunc = trunc i32 %X.hi to i16
  45   %addend = sext i16 %X.trunc to i32
  46   %sum = add i32 %A, %addend
  47   ret i32 %sum
  48 }
  49
  50 define signext i32 @test4(i32 %A, i32 %X)  {
  51 ; CHECK-LABEL: test4:
  52 ; CHECK-DSP: sxtab  r0, r1, r0, ror #16
  53 ; CHECK-NO-DSP-NOT: sxtab
  54         %B = lshr i32 %A, 16
  55         %C = shl i32 %A, 16
  56         %D = or i32 %B, %C
  57         %E = trunc i32 %D to i8
  58         %F = sext i8 %E to i32
  59         %G = add i32 %F, %X
  60         ret i32 %G
  61 }
  62
  63 define signext i32 @test5(i32 %A, i32 %X)  {
  64 ; CHECK-LABEL: test5:
  65 ; CHECK-DSP: sxtah  r0, r1, r0, ror #24
  66 ; CHECK-NO-DSP-NOT: sxtah
  67         %B = lshr i32 %A, 24
  68         %C = shl i32 %A, 8
  69         %D = or i32 %B, %C
  70         %E = trunc i32 %D to i16
  71         %F = sext i16 %E to i32
  72         %G = add i32 %F, %X
  73         ret i32 %G
  74 }