llvm/test/CodeGen/AMDGPU/andorbitset.ll

   1 ; RUN: llc -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s | FileCheck -check-prefix=SI %s
   2
   3 ; SI-LABEL: {{^}}s_clear_msb:
   4 ; SI: s_bitset0_b32 s{{[0-9]+}}, 31
   5 define amdgpu_kernel void @s_clear_msb(ptr addrspace(1) %out, i32 %in) {
   6   %x = and i32 %in, 2147483647
   7   store i32 %x, ptr addrspace(1) %out
   8   ret void
   9 }
  10
  11 ; SI-LABEL: {{^}}s_set_msb:
  12 ; SI: s_bitset1_b32 s{{[0-9]+}}, 31
  13 define amdgpu_kernel void @s_set_msb(ptr addrspace(1) %out, i32 %in) {
  14   %x = or i32 %in, 2147483648
  15   store i32 %x, ptr addrspace(1) %out
  16   ret void
  17 }
  18
  19 ; SI-LABEL: {{^}}s_clear_lsb:
  20 ; SI: s_and_b32 s{{[0-9]+}}, s{{[0-9]+}}, -2
  21 define amdgpu_kernel void @s_clear_lsb(ptr addrspace(1) %out, i32 %in) {
  22   %x = and i32 %in, 4294967294
  23   store i32 %x, ptr addrspace(1) %out
  24   ret void
  25 }
  26
  27 ; SI-LABEL: {{^}}s_set_lsb:
  28 ; SI: s_or_b32 s{{[0-9]+}}, s{{[0-9]+}}, 1
  29 define amdgpu_kernel void @s_set_lsb(ptr addrspace(1) %out, i32 %in) {
  30   %x = or i32 %in, 1
  31   store i32 %x, ptr addrspace(1) %out
  32   ret void
  33 }
  34
  35 ; SI-LABEL: {{^}}s_clear_midbit:
  36 ; SI: s_bitset0_b32 s{{[0-9]+}}, 8
  37 define amdgpu_kernel void @s_clear_midbit(ptr addrspace(1) %out, i32 %in) {
  38   %x = and i32 %in, 4294967039
  39   store i32 %x, ptr addrspace(1) %out
  40   ret void
  41 }
  42
  43 ; SI-LABEL: {{^}}s_set_midbit:
  44 ; SI: s_bitset1_b32 s{{[0-9]+}}, 8
  45 define amdgpu_kernel void @s_set_midbit(ptr addrspace(1) %out, i32 %in) {
  46   %x = or i32 %in, 256
  47   store i32 %x, ptr addrspace(1) %out
  48   ret void
  49 }
  50
  51 @gv = external addrspace(1) global i32
  52
  53 ; Make sure there's no verifier error with an undef source.
  54 ; SI-LABEL: {{^}}bitset_verifier_error:
  55 ; SI-NOT:   %bb.1:
  56 ; SI:       s_and_b32 s{{[0-9]+}}, s{{[0-9]+}}, 0x7fffffff
  57 define void @bitset_verifier_error() local_unnamed_addr #0 {
  58 bb:
  59   %i = call float @llvm.fabs.f32(float undef) #0
  60   %i1 = bitcast float %i to i32
  61   store i32 %i1, ptr addrspace(1) @gv
  62   br label %bb2
  63
  64 bb2:
  65   %i3 = call float @llvm.fabs.f32(float undef) #0
  66   %i4 = fcmp fast ult float %i3, 0x3FEFF7CEE0000000
  67   br i1 %i4, label %bb5, label %bb6
  68
  69 bb5:
  70   unreachable
  71
  72 bb6:
  73   unreachable
  74 }
  75
  76 declare float @llvm.fabs.f32(float) #0
  77
  78 attributes #0 = { nounwind readnone speculatable willreturn }