Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / CodeGen / NVPTX / pow2_mask_cmp.ll
blobbf44c4687bb2a82c452be143da436ccac668e5f7
1 ; RUN: llc -march=nvptx64 -verify-machineinstrs < %s | FileCheck %s
2 ; RUN: %if ptxas %{ llc -march=nvptx64 -verify-machineinstrs < %s | %ptxas-verify %}
4 ; Tests the following pattern:
5 ; (X & 8) != 0 --> (X & 8) >> 3
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.
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