llvm/test/CodeGen/NVPTX/pow2_mask_cmp.ll

   1 ; RUN: llc -march=nvptx64 -verify-machineinstrs < %s | FileCheck %s
   2 ; RUN: %if ptxas %{ llc -march=nvptx64 -verify-machineinstrs < %s | %ptxas-verify %}
   3
   4 ; Tests the following pattern:
   5 ; (X & 8) != 0 --> (X & 8) >> 3
   6
   7 ; This produces incorrect code in general when boolean false is
   8 ; represented as a negative one. There is however a special
   9 ; case when the type has a bitsize of 1, for which the false
  10 ; value will be identical regardless of the boolean representation.
  11 ; Check that the optimization triggers in this case.
  12
  13 ; CHECK-LABEL: @pow2_mask_cmp
  14 ; CHECK: bfe.u32 {{%r[0-9]+}}, {{%r[0-9]+}}, 3, 1
  15 define i32 @pow2_mask_cmp(i32 %x) {
  16   %a = and i32 %x, 8
  17   %cmp = icmp ne i32 %a, 0
  18   %r = zext i1 %cmp to i32
  19   ret i32 %r
  20 }