test/CodeGen/AMDGPU/udivrem24.ll

   1 ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   2 ; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   3 ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
   4
   5 ; FUNC-LABEL: {{^}}udiv24_i8:
   6 ; SI: v_cvt_f32_ubyte
   7 ; SI: v_cvt_f32_ubyte
   8 ; SI: v_rcp_f32
   9 ; SI: v_cvt_u32_f32
  10
  11 ; EG: UINT_TO_FLT
  12 ; EG-DAG: UINT_TO_FLT
  13 ; EG-DAG: RECIP_IEEE
  14 ; EG: FLT_TO_UINT
  15 define void @udiv24_i8(i8 addrspace(1)* %out, i8 addrspace(1)* %in) {
  16   %den_ptr = getelementptr i8, i8 addrspace(1)* %in, i8 1
  17   %num = load i8, i8 addrspace(1) * %in
  18   %den = load i8, i8 addrspace(1) * %den_ptr
  19   %result = udiv i8 %num, %den
  20   store i8 %result, i8 addrspace(1)* %out
  21   ret void
  22 }
  23
  24 ; FUNC-LABEL: {{^}}udiv24_i16:
  25 ; SI: v_cvt_f32_u32
  26 ; SI: v_cvt_f32_u32
  27 ; SI: v_rcp_f32
  28 ; SI: v_cvt_u32_f32
  29
  30 ; EG: UINT_TO_FLT
  31 ; EG-DAG: UINT_TO_FLT
  32 ; EG-DAG: RECIP_IEEE
  33 ; EG: FLT_TO_UINT
  34 define void @udiv24_i16(i16 addrspace(1)* %out, i16 addrspace(1)* %in) {
  35   %den_ptr = getelementptr i16, i16 addrspace(1)* %in, i16 1
  36   %num = load i16, i16 addrspace(1) * %in, align 2
  37   %den = load i16, i16 addrspace(1) * %den_ptr, align 2
  38   %result = udiv i16 %num, %den
  39   store i16 %result, i16 addrspace(1)* %out, align 2
  40   ret void
  41 }
  42
  43 ; FUNC-LABEL: {{^}}udiv23_i32:
  44 ; SI: v_cvt_f32_u32
  45 ; SI-DAG: v_cvt_f32_u32
  46 ; SI-DAG: v_rcp_f32
  47 ; SI: v_cvt_u32_f32
  48
  49 ; EG: UINT_TO_FLT
  50 ; EG-DAG: UINT_TO_FLT
  51 ; EG-DAG: RECIP_IEEE
  52 ; EG: FLT_TO_UINT
  53 define void @udiv23_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
  54   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
  55   %num = load i32, i32 addrspace(1) * %in, align 4
  56   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
  57   %num.i23.0 = shl i32 %num, 9
  58   %den.i23.0 = shl i32 %den, 9
  59   %num.i23 = lshr i32 %num.i23.0, 9
  60   %den.i23 = lshr i32 %den.i23.0, 9
  61   %result = udiv i32 %num.i23, %den.i23
  62   store i32 %result, i32 addrspace(1)* %out, align 4
  63   ret void
  64 }
  65
  66 ; FUNC-LABEL: {{^}}udiv24_i32:
  67 ; SI: v_rcp_iflag
  68 ; SI-NOT v_rcp_f32
  69 ; EG-NOT: RECIP_IEEE
  70 define void @udiv24_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
  71   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
  72   %num = load i32, i32 addrspace(1) * %in, align 4
  73   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
  74   %num.i24.0 = shl i32 %num, 8
  75   %den.i24.0 = shl i32 %den, 8
  76   %num.i24 = lshr i32 %num.i24.0, 8
  77   %den.i24 = lshr i32 %den.i24.0, 8
  78   %result = udiv i32 %num.i24, %den.i24
  79   store i32 %result, i32 addrspace(1)* %out, align 4
  80   ret void
  81 }
  82
  83 ; FUNC-LABEL: {{^}}no_udiv24_u23_u24_i32:
  84 ; SI: v_rcp_iflag
  85 ; SI-NOT v_rcp_f32
  86 ; EG-NOT: RECIP_IEEE
  87 define void @no_udiv24_u23_u24_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
  88   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
  89   %num = load i32, i32 addrspace(1) * %in, align 4
  90   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
  91   %num.i23.0 = shl i32 %num, 9
  92   %den.i24.0 = shl i32 %den, 8
  93   %num.i23 = lshr i32 %num.i23.0, 9
  94   %den.i24 = lshr i32 %den.i24.0, 8
  95   %result = udiv i32 %num.i23, %den.i24
  96   store i32 %result, i32 addrspace(1)* %out, align 4
  97   ret void
  98 }
  99
 100 ; FUNC-LABEL: {{^}}no_udiv24_u24_u23_i32:
 101 ; SI: v_rcp_iflag
 102 ; SI-NOT v_rcp_f32
 103 ; EG-NOT: RECIP_IEEE
 104 define void @no_udiv24_u24_u23_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 105   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 106   %num = load i32, i32 addrspace(1) * %in, align 4
 107   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 108   %num.i24.0 = shl i32 %num, 8
 109   %den.i23.0 = shl i32 %den, 9
 110   %num.i24 = lshr i32 %num.i24.0, 8
 111   %den.i23 = lshr i32 %den.i23.0, 9
 112   %result = udiv i32 %num.i24, %den.i23
 113   store i32 %result, i32 addrspace(1)* %out, align 4
 114   ret void
 115 }
 116
 117 ; FUNC-LABEL: {{^}}udiv25_i32:
 118 ; RCP_IFLAG is for URECIP in the full 32b alg
 119 ; SI: v_rcp_iflag
 120 ; SI-NOT: v_rcp_f32
 121
 122 ; EG-NOT: UINT_TO_FLT
 123 ; EG-NOT: RECIP_IEEE
 124 define void @udiv25_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 125   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 126   %num = load i32, i32 addrspace(1) * %in, align 4
 127   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 128   %num.i25.0 = shl i32 %num, 7
 129   %den.i25.0 = shl i32 %den, 7
 130   %num.i25 = lshr i32 %num.i25.0, 7
 131   %den.i25 = lshr i32 %den.i25.0, 7
 132   %result = udiv i32 %num.i25, %den.i25
 133   store i32 %result, i32 addrspace(1)* %out, align 4
 134   ret void
 135 }
 136
 137 ; FUNC-LABEL: {{^}}test_no_udiv24_i32_1:
 138 ; RCP_IFLAG is for URECIP in the full 32b alg
 139 ; SI: v_rcp_iflag
 140 ; SI-NOT: v_rcp_f32
 141
 142 ; EG-NOT: UINT_TO_FLT
 143 ; EG-NOT: RECIP_IEEE
 144 define void @test_no_udiv24_i32_1(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 145   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 146   %num = load i32, i32 addrspace(1) * %in, align 4
 147   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 148   %num.i24.0 = shl i32 %num, 8
 149   %den.i24.0 = shl i32 %den, 7
 150   %num.i24 = lshr i32 %num.i24.0, 8
 151   %den.i24 = lshr i32 %den.i24.0, 7
 152   %result = udiv i32 %num.i24, %den.i24
 153   store i32 %result, i32 addrspace(1)* %out, align 4
 154   ret void
 155 }
 156
 157 ; FUNC-LABEL: {{^}}test_no_udiv24_i32_2:
 158 ; RCP_IFLAG is for URECIP in the full 32b alg
 159 ; SI: v_rcp_iflag
 160 ; SI-NOT: v_rcp_f32
 161
 162 ; EG-NOT: UINT_TO_FLT
 163 ; EG-NOT: RECIP_IEEE
 164 define void @test_no_udiv24_i32_2(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 165   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 166   %num = load i32, i32 addrspace(1) * %in, align 4
 167   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 168   %num.i24.0 = shl i32 %num, 7
 169   %den.i24.0 = shl i32 %den, 8
 170   %num.i24 = lshr i32 %num.i24.0, 7
 171   %den.i24 = lshr i32 %den.i24.0, 8
 172   %result = udiv i32 %num.i24, %den.i24
 173   store i32 %result, i32 addrspace(1)* %out, align 4
 174   ret void
 175 }
 176
 177 ; FUNC-LABEL: {{^}}urem24_i8:
 178 ; SI: v_cvt_f32_ubyte
 179 ; SI: v_cvt_f32_ubyte
 180 ; SI: v_rcp_f32
 181 ; SI: v_cvt_u32_f32
 182
 183 ; EG: UINT_TO_FLT
 184 ; EG-DAG: UINT_TO_FLT
 185 ; EG-DAG: RECIP_IEEE
 186 ; EG: FLT_TO_UINT
 187 define void @urem24_i8(i8 addrspace(1)* %out, i8 addrspace(1)* %in) {
 188   %den_ptr = getelementptr i8, i8 addrspace(1)* %in, i8 1
 189   %num = load i8, i8 addrspace(1) * %in
 190   %den = load i8, i8 addrspace(1) * %den_ptr
 191   %result = urem i8 %num, %den
 192   store i8 %result, i8 addrspace(1)* %out
 193   ret void
 194 }
 195
 196 ; FUNC-LABEL: {{^}}urem24_i16:
 197 ; SI: v_cvt_f32_u32
 198 ; SI: v_cvt_f32_u32
 199 ; SI: v_rcp_f32
 200 ; SI: v_cvt_u32_f32
 201
 202 ; EG: UINT_TO_FLT
 203 ; EG-DAG: UINT_TO_FLT
 204 ; EG-DAG: RECIP_IEEE
 205 ; EG: FLT_TO_UINT
 206 define void @urem24_i16(i16 addrspace(1)* %out, i16 addrspace(1)* %in) {
 207   %den_ptr = getelementptr i16, i16 addrspace(1)* %in, i16 1
 208   %num = load i16, i16 addrspace(1) * %in, align 2
 209   %den = load i16, i16 addrspace(1) * %den_ptr, align 2
 210   %result = urem i16 %num, %den
 211   store i16 %result, i16 addrspace(1)* %out, align 2
 212   ret void
 213 }
 214
 215 ; FUNC-LABEL: {{^}}urem24_i32:
 216 ; SI-NOT: v_rcp_f32
 217 ; EG-NOT: RECIP_IEEE
 218 define void @urem24_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 219   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 220   %num = load i32, i32 addrspace(1) * %in, align 4
 221   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 222   %num.i24.0 = shl i32 %num, 8
 223   %den.i24.0 = shl i32 %den, 8
 224   %num.i24 = lshr i32 %num.i24.0, 8
 225   %den.i24 = lshr i32 %den.i24.0, 8
 226   %result = urem i32 %num.i24, %den.i24
 227   store i32 %result, i32 addrspace(1)* %out, align 4
 228   ret void
 229 }
 230
 231 ; FUNC-LABEL: {{^}}urem25_i32:
 232 ; RCP_IFLAG is for URECIP in the full 32b alg
 233 ; SI: v_rcp_iflag
 234 ; SI-NOT: v_rcp_f32
 235
 236 ; EG-NOT: UINT_TO_FLT
 237 ; EG-NOT: RECIP_IEEE
 238 define void @urem25_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 239   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 240   %num = load i32, i32 addrspace(1) * %in, align 4
 241   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 242   %num.i24.0 = shl i32 %num, 7
 243   %den.i24.0 = shl i32 %den, 7
 244   %num.i24 = lshr i32 %num.i24.0, 7
 245   %den.i24 = lshr i32 %den.i24.0, 7
 246   %result = urem i32 %num.i24, %den.i24
 247   store i32 %result, i32 addrspace(1)* %out, align 4
 248   ret void
 249 }
 250
 251 ; FUNC-LABEL: {{^}}test_no_urem24_i32_1:
 252 ; RCP_IFLAG is for URECIP in the full 32b alg
 253 ; SI: v_rcp_iflag
 254 ; SI-NOT: v_rcp_f32
 255
 256 ; EG-NOT: UINT_TO_FLT
 257 ; EG-NOT: RECIP_IEEE
 258 define void @test_no_urem24_i32_1(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 259   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 260   %num = load i32, i32 addrspace(1) * %in, align 4
 261   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 262   %num.i24.0 = shl i32 %num, 8
 263   %den.i24.0 = shl i32 %den, 7
 264   %num.i24 = lshr i32 %num.i24.0, 8
 265   %den.i24 = lshr i32 %den.i24.0, 7
 266   %result = urem i32 %num.i24, %den.i24
 267   store i32 %result, i32 addrspace(1)* %out, align 4
 268   ret void
 269 }
 270
 271 ; FUNC-LABEL: {{^}}test_no_urem24_i32_2:
 272 ; RCP_IFLAG is for URECIP in the full 32b alg
 273 ; SI: v_rcp_iflag
 274 ; SI-NOT: v_rcp_f32
 275
 276 ; EG-NOT: UINT_TO_FLT
 277 ; EG-NOT: RECIP_IEEE
 278 define void @test_no_urem24_i32_2(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 279   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 280   %num = load i32, i32 addrspace(1) * %in, align 4
 281   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 282   %num.i24.0 = shl i32 %num, 7
 283   %den.i24.0 = shl i32 %den, 8
 284   %num.i24 = lshr i32 %num.i24.0, 7
 285   %den.i24 = lshr i32 %den.i24.0, 8
 286   %result = urem i32 %num.i24, %den.i24
 287   store i32 %result, i32 addrspace(1)* %out, align 4
 288   ret void
 289 }
 290
 291 ; FUNC-LABEL: {{^}}test_udiv24_u16_u23_i32:
 292 ; SI-DAG: v_rcp_f32
 293 ; SI-DAG: s_mov_b32 [[MASK:s[0-9]+]], 0x7fffff{{$}}
 294 ; SI: v_and_b32_e32 v{{[0-9]+}}, [[MASK]],
 295
 296 ; EG: RECIP_IEEE
 297 define void @test_udiv24_u16_u23_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 298   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 299   %num = load i32, i32 addrspace(1) * %in, align 4
 300   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 301   %num.i16.0 = shl i32 %num, 16
 302   %den.i23.0 = shl i32 %den, 9
 303   %num.i16 = lshr i32 %num.i16.0, 16
 304   %den.i23 = lshr i32 %den.i23.0, 9
 305   %result = udiv i32 %num.i16, %den.i23
 306   store i32 %result, i32 addrspace(1)* %out, align 4
 307   ret void
 308 }
 309
 310 ; FUNC-LABEL: {{^}}test_udiv24_u23_u16_i32:
 311 ; SI-DAG: v_rcp_f32
 312 ; SI-DAG: s_mov_b32 [[MASK:s[0-9]+]], 0x7fffff{{$}}
 313 ; SI: v_and_b32_e32 v{{[0-9]+}}, [[MASK]],
 314
 315 ; EG: RECIP_IEEE
 316 define void @test_udiv24_u23_u16_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %in) {
 317   %den_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1
 318   %num = load i32, i32 addrspace(1) * %in, align 4
 319   %den = load i32, i32 addrspace(1) * %den_ptr, align 4
 320   %num.i23.0 = shl i32 %num, 9
 321   %den.i16.0 = shl i32 %den, 16
 322   %num.i23 = lshr i32 %num.i23.0, 9
 323   %den.i16 = lshr i32 %den.i16.0, 16
 324   %result = udiv i32 %num.i23, %den.i16
 325   store i32 %result, i32 addrspace(1)* %out, align 4
 326   ret void
 327 }