147 lines · plain
1; RUN: opt -S -disable-output -passes="print<demanded-bits>" < %s 2>&1 | FileCheck %s2 3; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_basic':4; CHECK-DAG: DemandedBits: 0xff00 for %x = or <2 x i32> %a, zeroinitializer5; CHECK-DAG: DemandedBits: 0xff00 for %y = or <2 x i32> %b, zeroinitializer6; CHECK-DAG: DemandedBits: 0xff00 for %z = or <2 x i32> %x, %y7; CHECK-DAG: DemandedBits: 0xff for %u = lshr <2 x i32> %z, splat (i32 8)8; CHECK-DAG: DemandedBits: 0xff for %r = trunc <2 x i32> %u to <2 x i8>9define <2 x i8> @test_basic(<2 x i32> %a, <2 x i32> %b) {10 %x = or <2 x i32> %a, zeroinitializer11 %y = or <2 x i32> %b, zeroinitializer12 %z = or <2 x i32> %x, %y13 %u = lshr <2 x i32> %z, <i32 8, i32 8>14 %r = trunc <2 x i32> %u to <2 x i8>15 ret <2 x i8> %r16}17 18; Vector-specific instructions19 20; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_extractelement':21; CHECK-DAG: DemandedBits: 0xff for %x = or <2 x i32> %a, zeroinitializer22; CHECK-DAG: DemandedBits: 0xf0 for %z = extractelement <2 x i32> %x, i32 123; CHECK-DAG: DemandedBits: 0xf for %y = extractelement <2 x i32> %x, i32 024; CHECK-DAG: DemandedBits: 0xffffffff for %u = and i32 %y, 1525; CHECK-DAG: DemandedBits: 0xffffffff for %v = and i32 %z, 24026; CHECK-DAG: DemandedBits: 0xffffffff for %r = or i32 %u, %v27define i32 @test_extractelement(<2 x i32> %a) {28 %x = or <2 x i32> %a, zeroinitializer29 %y = extractelement <2 x i32> %x, i32 030 %z = extractelement <2 x i32> %x, i32 131 %u = and i32 %y, 1532 %v = and i32 %z, 24033 %r = or i32 %u, %v34 ret i32 %r35}36 37; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_insertelement':38; CHECK-DAG: DemandedBits: 0xff for %x = or i32 %a, 039; CHECK-DAG: DemandedBits: 0xff for %y = or i32 %b, 040; CHECK-DAG: DemandedBits: 0xff for %z = insertelement <2 x i32> undef, i32 %x, i32 041; CHECK-DAG: DemandedBits: 0xff for %u = insertelement <2 x i32> %z, i32 %y, i32 142; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %u, <i32 255, i32 127>43define <2 x i32> @test_insertelement(i32 %a, i32 %b) {44 %x = or i32 %a, 045 %y = or i32 %b, 046 %z = insertelement <2 x i32> undef, i32 %x, i32 047 %u = insertelement <2 x i32> %z, i32 %y, i32 148 %r = and <2 x i32> %u, <i32 255, i32 127>49 ret <2 x i32> %r50}51 52; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_shufflevector':53; CHECK-DAG: DemandedBits: 0xff for %x = or <2 x i32> %a, zeroinitializer54; CHECK-DAG: DemandedBits: 0xff for %y = or <2 x i32> %b, zeroinitializer55; CHECK-DAG: DemandedBits: 0xff for %z = shufflevector <2 x i32> %x, <2 x i32> %y, <3 x i32> <i32 0, i32 3, i32 1>56; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <3 x i32> %z, <i32 255, i32 127, i32 0>57define <3 x i32> @test_shufflevector(<2 x i32> %a, <2 x i32> %b) {58 %x = or <2 x i32> %a, zeroinitializer59 %y = or <2 x i32> %b, zeroinitializer60 %z = shufflevector <2 x i32> %x, <2 x i32> %y, <3 x i32> <i32 0, i32 3, i32 1>61 %r = and <3 x i32> %z, <i32 255, i32 127, i32 0>62 ret <3 x i32> %r63}64 65; Shifts with splat shift amounts66 67; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_shl':68; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer69; CHECK-DAG: DemandedBits: 0xf0 for %y = shl <2 x i32> %x, splat (i32 4)70; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)71define <2 x i32> @test_shl(<2 x i32> %a) {72 %x = or <2 x i32> %a, zeroinitializer73 %y = shl <2 x i32> %x, <i32 4, i32 4>74 %r = and <2 x i32> %y, <i32 240, i32 240>75 ret <2 x i32> %r76}77 78; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_ashr':79; CHECK-DAG: DemandedBits: 0xf00 for %x = or <2 x i32> %a, zeroinitializer80; CHECK-DAG: DemandedBits: 0xf0 for %y = ashr <2 x i32> %x, splat (i32 4)81; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)82define <2 x i32> @test_ashr(<2 x i32> %a) {83 %x = or <2 x i32> %a, zeroinitializer84 %y = ashr <2 x i32> %x, <i32 4, i32 4>85 %r = and <2 x i32> %y, <i32 240, i32 240>86 ret <2 x i32> %r87}88 89; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_lshr':90; CHECK-DAG: DemandedBits: 0xf00 for %x = or <2 x i32> %a, zeroinitializer91; CHECK-DAG: DemandedBits: 0xf0 for %y = lshr <2 x i32> %x, splat (i32 4)92; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)93define <2 x i32> @test_lshr(<2 x i32> %a) {94 %x = or <2 x i32> %a, zeroinitializer95 %y = lshr <2 x i32> %x, <i32 4, i32 4>96 %r = and <2 x i32> %y, <i32 240, i32 240>97 ret <2 x i32> %r98}99 100declare <2 x i32> @llvm.fshl.i32(<2 x i32>, <2 x i32>, <2 x i32>)101declare <2 x i32> @llvm.fshr.i32(<2 x i32>, <2 x i32>, <2 x i32>)102 103; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_fshl':104; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer105; CHECK-DAG: DemandedBits: 0xf0000000 for %y = or <2 x i32> %b, zeroinitializer106; CHECK-DAG: DemandedBits: 0xff for %z = call <2 x i32> @llvm.fshl.v2i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> splat (i32 4))107; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %z, splat (i32 255)108define <2 x i32> @test_fshl(<2 x i32> %a, <2 x i32> %b) {109 %x = or <2 x i32> %a, zeroinitializer110 %y = or <2 x i32> %b, zeroinitializer111 %z = call <2 x i32> @llvm.fshl.i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> <i32 4, i32 4>)112 %r = and <2 x i32> %z, <i32 255, i32 255>113 ret <2 x i32> %r114}115 116; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_fshr':117; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer118; CHECK-DAG: DemandedBits: 0xf0000000 for %y = or <2 x i32> %b, zeroinitializer119; CHECK-DAG: DemandedBits: 0xff for %z = call <2 x i32> @llvm.fshr.v2i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> splat (i32 28))120; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %z, splat (i32 255)121define <2 x i32> @test_fshr(<2 x i32> %a, <2 x i32> %b) {122 %x = or <2 x i32> %a, zeroinitializer123 %y = or <2 x i32> %b, zeroinitializer124 %z = call <2 x i32> @llvm.fshr.i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> <i32 28, i32 28>)125 %r = and <2 x i32> %z, <i32 255, i32 255>126 ret <2 x i32> %r127}128 129; FP / Int conversion. These have different input / output types.130 131; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_uitofp':132; CHECK-DAG: DemandedBits: 0xffffffff for %x = or <2 x i32> %a, zeroinitializer133define <2 x float> @test_uitofp(<2 x i32> %a) {134 %x = or <2 x i32> %a, zeroinitializer135 %r = uitofp <2 x i32> %x to <2 x float>136 ret <2 x float> %r137}138 139; CHECK-LABEL: Printing analysis 'Demanded Bits Analysis' for function 'test_fptoui':140; CHECK-DAG: DemandedBits: 0xffffffff for %y = fptoui <2 x float> %x to <2 x i32>141define <2 x i32> @test_fptoui(<2 x float> %a) {142 %x = fadd <2 x float> %a, <float 1.0, float 1.0>143 %y = fptoui <2 x float> %x to <2 x i32>144 %r = and <2 x i32> %y, <i32 255, i32 255>145 ret <2 x i32> %y146}147