test/CodeGen/AMDGPU/and.ll

   1 ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
   2 ; RUN: llc -march=amdgcn -mcpu=verde -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   3 ; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   4
   5 ; FUNC-LABEL: {{^}}test2:
   6 ; EG: AND_INT {{\*? *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
   7 ; EG: AND_INT {{\*? *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
   8
   9 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  10 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  11
  12 define void @test2(<2 x i32> addrspace(1)* %out, <2 x i32> addrspace(1)* %in) {
  13   %b_ptr = getelementptr <2 x i32>, <2 x i32> addrspace(1)* %in, i32 1
  14   %a = load <2 x i32>, <2 x i32> addrspace(1) * %in
  15   %b = load <2 x i32>, <2 x i32> addrspace(1) * %b_ptr
  16   %result = and <2 x i32> %a, %b
  17   store <2 x i32> %result, <2 x i32> addrspace(1)* %out
  18   ret void
  19 }
  20
  21 ; FUNC-LABEL: {{^}}test4:
  22 ; EG: AND_INT {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
  23 ; EG: AND_INT {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
  24 ; EG: AND_INT {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
  25 ; EG: AND_INT {{\** *}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}}
  26
  27 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  28 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  29 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  30 ; SI: v_and_b32_e32 v{{[0-9]+, v[0-9]+, v[0-9]+}}
  31
  32 define void @test4(<4 x i32> addrspace(1)* %out, <4 x i32> addrspace(1)* %in) {
  33   %b_ptr = getelementptr <4 x i32>, <4 x i32> addrspace(1)* %in, i32 1
  34   %a = load <4 x i32>, <4 x i32> addrspace(1) * %in
  35   %b = load <4 x i32>, <4 x i32> addrspace(1) * %b_ptr
  36   %result = and <4 x i32> %a, %b
  37   store <4 x i32> %result, <4 x i32> addrspace(1)* %out
  38   ret void
  39 }
  40
  41 ; FUNC-LABEL: {{^}}s_and_i32:
  42 ; SI: s_and_b32
  43 define void @s_and_i32(i32 addrspace(1)* %out, i32 %a, i32 %b) {
  44   %and = and i32 %a, %b
  45   store i32 %and, i32 addrspace(1)* %out, align 4
  46   ret void
  47 }
  48
  49 ; FUNC-LABEL: {{^}}s_and_constant_i32:
  50 ; SI: s_and_b32 s{{[0-9]+}}, s{{[0-9]+}}, 0x12d687
  51 define void @s_and_constant_i32(i32 addrspace(1)* %out, i32 %a) {
  52   %and = and i32 %a, 1234567
  53   store i32 %and, i32 addrspace(1)* %out, align 4
  54   ret void
  55 }
  56
  57 ; FUNC-LABEL: {{^}}v_and_i32:
  58 ; SI: v_and_b32
  59 define void @v_and_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr, i32 addrspace(1)* %bptr) {
  60   %a = load i32, i32 addrspace(1)* %aptr, align 4
  61   %b = load i32, i32 addrspace(1)* %bptr, align 4
  62   %and = and i32 %a, %b
  63   store i32 %and, i32 addrspace(1)* %out, align 4
  64   ret void
  65 }
  66
  67 ; FUNC-LABEL: {{^}}v_and_constant_i32
  68 ; SI: v_and_b32_e32 v{{[0-9]+}}, 0x12d687, v{{[0-9]+}}
  69 define void @v_and_constant_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr) {
  70   %a = load i32, i32 addrspace(1)* %aptr, align 4
  71   %and = and i32 %a, 1234567
  72   store i32 %and, i32 addrspace(1)* %out, align 4
  73   ret void
  74 }
  75
  76 ; FUNC-LABEL: {{^}}v_and_inline_imm_64_i32
  77 ; SI: v_and_b32_e32 v{{[0-9]+}}, 64, v{{[0-9]+}}
  78 define void @v_and_inline_imm_64_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr) {
  79   %a = load i32, i32 addrspace(1)* %aptr, align 4
  80   %and = and i32 %a, 64
  81   store i32 %and, i32 addrspace(1)* %out, align 4
  82   ret void
  83 }
  84
  85 ; FUNC-LABEL: {{^}}v_and_inline_imm_neg_16_i32
  86 ; SI: v_and_b32_e32 v{{[0-9]+}}, -16, v{{[0-9]+}}
  87 define void @v_and_inline_imm_neg_16_i32(i32 addrspace(1)* %out, i32 addrspace(1)* %aptr) {
  88   %a = load i32, i32 addrspace(1)* %aptr, align 4
  89   %and = and i32 %a, -16
  90   store i32 %and, i32 addrspace(1)* %out, align 4
  91   ret void
  92 }
  93
  94 ; FUNC-LABEL: {{^}}s_and_i64
  95 ; SI: s_and_b64
  96 define void @s_and_i64(i64 addrspace(1)* %out, i64 %a, i64 %b) {
  97   %and = and i64 %a, %b
  98   store i64 %and, i64 addrspace(1)* %out, align 8
  99   ret void
 100 }
 101
 102 ; FIXME: Should use SGPRs
 103 ; FUNC-LABEL: {{^}}s_and_i1:
 104 ; SI: v_and_b32
 105 define void @s_and_i1(i1 addrspace(1)* %out, i1 %a, i1 %b) {
 106   %and = and i1 %a, %b
 107   store i1 %and, i1 addrspace(1)* %out
 108   ret void
 109 }
 110
 111 ; FUNC-LABEL: {{^}}s_and_constant_i64
 112 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}
 113 define void @s_and_constant_i64(i64 addrspace(1)* %out, i64 %a) {
 114   %and = and i64 %a, 281474976710655
 115   store i64 %and, i64 addrspace(1)* %out, align 8
 116   ret void
 117 }
 118
 119 ; FUNC-LABEL: {{^}}v_and_i64:
 120 ; SI: v_and_b32
 121 ; SI: v_and_b32
 122 define void @v_and_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 addrspace(1)* %bptr) {
 123   %a = load i64, i64 addrspace(1)* %aptr, align 8
 124   %b = load i64, i64 addrspace(1)* %bptr, align 8
 125   %and = and i64 %a, %b
 126   store i64 %and, i64 addrspace(1)* %out, align 8
 127   ret void
 128 }
 129
 130 ; FUNC-LABEL: {{^}}v_and_i64_br:
 131 ; SI: v_and_b32
 132 ; SI: v_and_b32
 133 define void @v_and_i64_br(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 addrspace(1)* %bptr, i32 %cond) {
 134 entry:
 135   %tmp0 = icmp eq i32 %cond, 0
 136   br i1 %tmp0, label %if, label %endif
 137
 138 if:
 139   %a = load i64, i64 addrspace(1)* %aptr, align 8
 140   %b = load i64, i64 addrspace(1)* %bptr, align 8
 141   %and = and i64 %a, %b
 142   br label %endif
 143
 144 endif:
 145   %tmp1 = phi i64 [%and, %if], [0, %entry]
 146   store i64 %tmp1, i64 addrspace(1)* %out, align 8
 147   ret void
 148 }
 149
 150 ; FIXME: and 0 should be replaced witht copy
 151 ; FUNC-LABEL: {{^}}v_and_constant_i64:
 152 ; SI: v_and_b32_e32 {{v[0-9]+}}, {{s[0-9]+}}, {{v[0-9]+}}
 153 ; SI: v_and_b32_e32 {{v[0-9]+}}, 0, {{v[0-9]+}}
 154 define void @v_and_constant_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr) {
 155   %a = load i64, i64 addrspace(1)* %aptr, align 8
 156   %and = and i64 %a, 1234567
 157   store i64 %and, i64 addrspace(1)* %out, align 8
 158   ret void
 159 }
 160
 161 ; FIXME: Replace and 0 with mov 0
 162 ; FUNC-LABEL: {{^}}v_and_inline_imm_i64:
 163 ; SI: v_and_b32_e32 {{v[0-9]+}}, 64, {{v[0-9]+}}
 164 ; SI: v_and_b32_e32 {{v[0-9]+}}, 0, {{v[0-9]+}}
 165 define void @v_and_inline_imm_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr) {
 166   %a = load i64, i64 addrspace(1)* %aptr, align 8
 167   %and = and i64 %a, 64
 168   store i64 %and, i64 addrspace(1)* %out, align 8
 169   ret void
 170 }
 171
 172 ; FUNC-LABEL: {{^}}s_and_inline_imm_64_i64
 173 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 64
 174 define void @s_and_inline_imm_64_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 175   %and = and i64 %a, 64
 176   store i64 %and, i64 addrspace(1)* %out, align 8
 177   ret void
 178 }
 179
 180 ; FUNC-LABEL: {{^}}s_and_inline_imm_1_i64
 181 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 1
 182 define void @s_and_inline_imm_1_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 183   %and = and i64 %a, 1
 184   store i64 %and, i64 addrspace(1)* %out, align 8
 185   ret void
 186 }
 187
 188 ; FUNC-LABEL: {{^}}s_and_inline_imm_1.0_i64
 189 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 1.0
 190 define void @s_and_inline_imm_1.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 191   %and = and i64 %a, 4607182418800017408
 192   store i64 %and, i64 addrspace(1)* %out, align 8
 193   ret void
 194 }
 195
 196 ; FUNC-LABEL: {{^}}s_and_inline_imm_neg_1.0_i64
 197 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, -1.0
 198 define void @s_and_inline_imm_neg_1.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 199   %and = and i64 %a, 13830554455654793216
 200   store i64 %and, i64 addrspace(1)* %out, align 8
 201   ret void
 202 }
 203
 204 ; FUNC-LABEL: {{^}}s_and_inline_imm_0.5_i64
 205 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0.5
 206 define void @s_and_inline_imm_0.5_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 207   %and = and i64 %a, 4602678819172646912
 208   store i64 %and, i64 addrspace(1)* %out, align 8
 209   ret void
 210 }
 211
 212 ; FUNC-LABEL: {{^}}s_and_inline_imm_neg_0.5_i64
 213 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, -0.5
 214 define void @s_and_inline_imm_neg_0.5_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 215   %and = and i64 %a, 13826050856027422720
 216   store i64 %and, i64 addrspace(1)* %out, align 8
 217   ret void
 218 }
 219
 220 ; FUNC-LABEL: {{^}}s_and_inline_imm_2.0_i64
 221 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 2.0
 222 define void @s_and_inline_imm_2.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 223   %and = and i64 %a, 4611686018427387904
 224   store i64 %and, i64 addrspace(1)* %out, align 8
 225   ret void
 226 }
 227
 228 ; FUNC-LABEL: {{^}}s_and_inline_imm_neg_2.0_i64
 229 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, -2.0
 230 define void @s_and_inline_imm_neg_2.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 231   %and = and i64 %a, 13835058055282163712
 232   store i64 %and, i64 addrspace(1)* %out, align 8
 233   ret void
 234 }
 235
 236 ; FUNC-LABEL: {{^}}s_and_inline_imm_4.0_i64
 237 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 4.0
 238 define void @s_and_inline_imm_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 239   %and = and i64 %a, 4616189618054758400
 240   store i64 %and, i64 addrspace(1)* %out, align 8
 241   ret void
 242 }
 243
 244 ; FUNC-LABEL: {{^}}s_and_inline_imm_neg_4.0_i64
 245 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, -4.0
 246 define void @s_and_inline_imm_neg_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 247   %and = and i64 %a, 13839561654909534208
 248   store i64 %and, i64 addrspace(1)* %out, align 8
 249   ret void
 250 }
 251
 252
 253 ; Test with the 64-bit integer bitpattern for a 32-bit float in the
 254 ; low 32-bits, which is not a valid 64-bit inline immmediate.
 255
 256 ; FUNC-LABEL: {{^}}s_and_inline_imm_f32_4.0_i64
 257 ; SI-DAG: s_mov_b32 s[[K_LO:[0-9]+]], 4.0
 258 ; SI-DAG: s_mov_b32 s[[K_HI:[0-9]+]], 0{{$}}
 259 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, s{{\[}}[[K_LO]]:[[K_HI]]{{\]}}
 260 define void @s_and_inline_imm_f32_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 261   %and = and i64 %a, 1082130432
 262   store i64 %and, i64 addrspace(1)* %out, align 8
 263   ret void
 264 }
 265
 266 ; FIXME: Copy of -1 register
 267 ; FUNC-LABEL: {{^}}s_and_inline_imm_f32_neg_4.0_i64
 268 ; SI-DAG: s_mov_b32 s[[K_LO:[0-9]+]], -4.0
 269 ; SI-DAG: s_mov_b32 s[[K_HI:[0-9]+]], -1{{$}}
 270 ; SI-DAG: s_mov_b32 s[[K_HI_COPY:[0-9]+]], s[[K_HI]]
 271 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, s{{\[}}[[K_LO]]:[[K_HI_COPY]]{{\]}}
 272 define void @s_and_inline_imm_f32_neg_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 273   %and = and i64 %a, -1065353216
 274   store i64 %and, i64 addrspace(1)* %out, align 8
 275   ret void
 276 }
 277
 278 ; Shift into upper 32-bits
 279 ; FUNC-LABEL: {{^}}s_and_inline_high_imm_f32_4.0_i64
 280 ; SI-DAG: s_mov_b32 s[[K_HI:[0-9]+]], 4.0
 281 ; SI-DAG: s_mov_b32 s[[K_LO:[0-9]+]], 0{{$}}
 282 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, s{{\[}}[[K_LO]]:[[K_HI]]{{\]}}
 283 define void @s_and_inline_high_imm_f32_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 284   %and = and i64 %a, 4647714815446351872
 285   store i64 %and, i64 addrspace(1)* %out, align 8
 286   ret void
 287 }
 288
 289 ; FUNC-LABEL: {{^}}s_and_inline_high_imm_f32_neg_4.0_i64
 290 ; SI-DAG: s_mov_b32 s[[K_HI:[0-9]+]], -4.0
 291 ; SI-DAG: s_mov_b32 s[[K_LO:[0-9]+]], 0{{$}}
 292 ; SI: s_and_b64 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, s{{\[}}[[K_LO]]:[[K_HI]]{{\]}}
 293 define void @s_and_inline_high_imm_f32_neg_4.0_i64(i64 addrspace(1)* %out, i64 addrspace(1)* %aptr, i64 %a) {
 294   %and = and i64 %a, 13871086852301127680
 295   store i64 %and, i64 addrspace(1)* %out, align 8
 296   ret void
 297 }