test/CodeGen/ARM/sat-to-bitop.ll

   1 ; RUN: llc -mtriple=arm %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ARM --check-prefix=CHECK-CMP
   2 ; RUN: llc -mtriple=thumb-eabi %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-T --check-prefix=CHECK-CMP
   3 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-T2 --check-prefix=CHECK-CMP
   4
   5
   6 ; Check for clipping against 0 that should result in bic
   7 ;
   8 ; Base tests with different bit widths
   9 ;
  10
  11 ; x < 0 ? 0 : x
  12 ; 32-bit base test
  13 define i32 @sat0_base_32bit(i32 %x) #0 {
  14 ; CHECK-LABEL: sat0_base_32bit:
  15 ; CHECK-CMP-NOT: cmp
  16 ; CHECK-ARM: bic {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  17 ; CHECK-T2: bic.w {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  18 ; CHECK-T: asrs [[IM:r[0-9]]], {{r[0-9]}}, #31
  19 ; CHECK-T-NEXT: bics {{r[0-9]}}, [[IM]]
  20 entry:
  21   %cmpLow = icmp slt i32 %x, 0
  22   %saturateLow = select i1 %cmpLow, i32 0, i32 %x
  23   ret i32 %saturateLow
  24 }
  25
  26 ; x < 0 ? 0 : x
  27 ; 16-bit base test
  28 define i16 @sat0_base_16bit(i16 %x) #0 {
  29 ; CHECK-LABEL: sat0_base_16bit:
  30 ; CHECK-CMP: cmp
  31 ; CHECK-ARM-NOT: bic
  32 ; CHECK-T2-NOT: bic.w
  33 ; CHECK-T-NOT: bics
  34 entry:
  35   %cmpLow = icmp slt i16 %x, 0
  36   %saturateLow = select i1 %cmpLow, i16 0, i16 %x
  37   ret i16 %saturateLow
  38 }
  39
  40 ; x < 0 ? 0 : x
  41 ; 8-bit base test
  42 define i8 @sat0_base_8bit(i8 %x) #0 {
  43 ; CHECK-LABEL: sat0_base_8bit:
  44 ; CHECK-CMP: cmp
  45 ; CHECK-ARM-NOT: bic
  46 ; CHECK-T2-NOT: bic.w
  47 entry:
  48   %cmpLow = icmp slt i8 %x, 0
  49   %saturateLow = select i1 %cmpLow, i8 0, i8 %x
  50   ret i8 %saturateLow
  51 }
  52
  53 ; Test where the conditional is formed in a different way
  54
  55 ; x > 0 ? x : 0
  56 define i32 @sat0_lower_1(i32 %x) #0 {
  57 ; CHECK-LABEL: sat0_lower_1:
  58 ; CHECK-CMP-NOT: cmp
  59 ; CHECK-ARM: bic {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  60 ; CHECK-T2: bic.w {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  61 ; CHECK-T: asrs [[IM:r[0-9]]], {{r[0-9]}}, #31
  62 ; CHECK-T-NEXT: bics {{r[0-9]}}, [[IM]]
  63 entry:
  64   %cmpGt = icmp sgt i32 %x, 0
  65   %saturateLow = select i1 %cmpGt, i32 %x, i32 0
  66   ret i32 %saturateLow
  67 }
  68
  69
  70 ; Check for clipping against -1 that should result in orr
  71 ;
  72 ; Base tests with different bit widths
  73 ;
  74
  75 ; x < -1 ? -1 : x
  76 ; 32-bit base test
  77 define i32 @sat1_base_32bit(i32 %x) #0 {
  78 ; CHECK-LABEL: sat1_base_32bit:
  79 ; CHECK-CMP-NOT: cmp
  80 ; CHECK-ARM: orr {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  81 ; CHECK-T2: orr.w {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
  82 ; CHECK-T: asrs [[IM:r[0-9]]], {{r[0-9]}}, #31
  83 ; CHECK-T-NEXT: orrs {{r[0-9]}}, [[IM]]
  84 entry:
  85   %cmpLow = icmp slt i32 %x, -1
  86   %saturateLow = select i1 %cmpLow, i32 -1, i32 %x
  87   ret i32 %saturateLow
  88 }
  89
  90 ; x < -1 ? -1 : x
  91 ; 16-bit base test
  92 define i16 @sat1_base_16bit(i16 %x) #0 {
  93 ; CHECK-LABEL: sat1_base_16bit:
  94 ; CHECK-ARM: cmn
  95 ; CHECK-T2: cmp
  96 ; CHECK-T: cmp
  97 entry:
  98   %cmpLow = icmp slt i16 %x, -1
  99   %saturateLow = select i1 %cmpLow, i16 -1, i16 %x
 100   ret i16 %saturateLow
 101 }
 102
 103 ; x < -1 ? -1 : x
 104 ; 8-bit base test
 105 define i8 @sat1_base_8bit(i8 %x) #0 {
 106 ; CHECK-LABEL: sat1_base_8bit:
 107 ; CHECK-ARM: cmn
 108 ; CHECK-T2: cmp
 109 ; CHECK-T: cmp
 110 entry:
 111   %cmpLow = icmp slt i8 %x, -1
 112   %saturateLow = select i1 %cmpLow, i8 -1, i8 %x
 113   ret i8 %saturateLow
 114 }
 115
 116 ; Test where the conditional is formed in a different way
 117
 118 ; x > -1 ? x : -1
 119 define i32 @sat1_lower_1(i32 %x) #0 {
 120 ; CHECK-LABEL: sat1_lower_1:
 121 ; CHECK-ARM: orr {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
 122 ; CHECK-T2: orr.w {{r[0-9]}}, [[INPUT:r[0-9]]], [[INPUT]], asr #31
 123 ; CHECK-T: asrs [[IM:r[0-9]]], {{r[0-9]}}, #31
 124 ; CHECK-T-NEXT: orrs {{r[0-9]}}, [[IM]]
 125 ; CHECK-CMP-NOT: cmp
 126 entry:
 127   %cmpGt = icmp sgt i32 %x, -1
 128   %saturateLow = select i1 %cmpGt, i32 %x, i32 -1
 129   ret i32 %saturateLow
 130 }
 131
 132 ; The following tests for patterns that should not transform into bitops
 133 ; but that are similar enough that could confuse the selector.
 134
 135 ; x < 0 ? 0 : y where x and y does not properly match
 136 define i32 @no_sat0_incorrect_variable(i32 %x, i32 %y) #0 {
 137 ; CHECK-LABEL: no_sat0_incorrect_variable:
 138 ; CHECK-NOT: bic
 139 ; CHECK-NOT: asrs
 140 ; CHECK-CMP: cmp
 141 entry:
 142   %cmpLow = icmp slt i32 %x, 0
 143   %saturateLow = select i1 %cmpLow, i32 0, i32 %y
 144   ret i32 %saturateLow
 145 }
 146
 147 ; x < 0 ? -1 : x
 148 define i32 @no_sat0_incorrect_constant(i32 %x) #0 {
 149 ; CHECK-LABEL: no_sat0_incorrect_constant:
 150 ; CHECK-NOT: bic
 151 ; CHECK-NOT: asrs
 152 ; CHECK-CMP: cmp
 153 entry:
 154   %cmpLow = icmp slt i32 %x, 0
 155   %saturateLow = select i1 %cmpLow, i32 -1, i32 %x
 156   ret i32 %saturateLow
 157 }