136 lines · plain
1; RUN: opt -S -disable-output -passes="print<demanded-bits>" < %s 2>&1 | FileCheck %s2 3; CHECK-DAG: DemandedBits: 0xff00 for %x = or <2 x i32> %a, zeroinitializer4; CHECK-DAG: DemandedBits: 0xff00 for %y = or <2 x i32> %b, zeroinitializer5; CHECK-DAG: DemandedBits: 0xff00 for %z = or <2 x i32> %x, %y6; CHECK-DAG: DemandedBits: 0xff for %u = lshr <2 x i32> %z, splat (i32 8)7; CHECK-DAG: DemandedBits: 0xff for %r = trunc <2 x i32> %u to <2 x i8>8define <2 x i8> @test_basic(<2 x i32> %a, <2 x i32> %b) {9 %x = or <2 x i32> %a, zeroinitializer10 %y = or <2 x i32> %b, zeroinitializer11 %z = or <2 x i32> %x, %y12 %u = lshr <2 x i32> %z, <i32 8, i32 8>13 %r = trunc <2 x i32> %u to <2 x i8>14 ret <2 x i8> %r15}16 17; Vector-specific instructions18 19; CHECK-DAG: DemandedBits: 0xff for %x = or <2 x i32> %a, zeroinitializer20; CHECK-DAG: DemandedBits: 0xf0 for %z = extractelement <2 x i32> %x, i32 121; CHECK-DAG: DemandedBits: 0xf for %y = extractelement <2 x i32> %x, i32 022; CHECK-DAG: DemandedBits: 0xffffffff for %u = and i32 %y, 1523; CHECK-DAG: DemandedBits: 0xffffffff for %v = and i32 %z, 24024; CHECK-DAG: DemandedBits: 0xffffffff for %r = or i32 %u, %v25define i32 @test_extractelement(<2 x i32> %a) {26 %x = or <2 x i32> %a, zeroinitializer27 %y = extractelement <2 x i32> %x, i32 028 %z = extractelement <2 x i32> %x, i32 129 %u = and i32 %y, 1530 %v = and i32 %z, 24031 %r = or i32 %u, %v32 ret i32 %r33}34 35; CHECK-DAG: DemandedBits: 0xff for %x = or i32 %a, 036; CHECK-DAG: DemandedBits: 0xff for %y = or i32 %b, 037; CHECK-DAG: DemandedBits: 0xff for %z = insertelement <2 x i32> poison, i32 %x, i32 038; CHECK-DAG: DemandedBits: 0xff for %u = insertelement <2 x i32> %z, i32 %y, i32 139; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %u, <i32 255, i32 127>40define <2 x i32> @test_insertelement(i32 %a, i32 %b) {41 %x = or i32 %a, 042 %y = or i32 %b, 043 %z = insertelement <2 x i32> poison, i32 %x, i32 044 %u = insertelement <2 x i32> %z, i32 %y, i32 145 %r = and <2 x i32> %u, <i32 255, i32 127>46 ret <2 x i32> %r47}48 49; CHECK-DAG: DemandedBits: 0xff for %x = or <2 x i32> %a, zeroinitializer50; CHECK-DAG: DemandedBits: 0xff for %y = or <2 x i32> %b, zeroinitializer51; CHECK-DAG: DemandedBits: 0xff for %z = shufflevector <2 x i32> %x, <2 x i32> %y, <3 x i32> <i32 0, i32 3, i32 1>52; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <3 x i32> %z, <i32 255, i32 127, i32 0>53define <3 x i32> @test_shufflevector(<2 x i32> %a, <2 x i32> %b) {54 %x = or <2 x i32> %a, zeroinitializer55 %y = or <2 x i32> %b, zeroinitializer56 %z = shufflevector <2 x i32> %x, <2 x i32> %y, <3 x i32> <i32 0, i32 3, i32 1>57 %r = and <3 x i32> %z, <i32 255, i32 127, i32 0>58 ret <3 x i32> %r59}60 61; Shifts with splat shift amounts62 63; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer64; CHECK-DAG: DemandedBits: 0xf0 for %y = shl <2 x i32> %x, splat (i32 4)65; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)66define <2 x i32> @test_shl(<2 x i32> %a) {67 %x = or <2 x i32> %a, zeroinitializer68 %y = shl <2 x i32> %x, <i32 4, i32 4>69 %r = and <2 x i32> %y, <i32 240, i32 240>70 ret <2 x i32> %r71}72 73; CHECK-DAG: DemandedBits: 0xf00 for %x = or <2 x i32> %a, zeroinitializer74; CHECK-DAG: DemandedBits: 0xf0 for %y = ashr <2 x i32> %x, splat (i32 4)75; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)76define <2 x i32> @test_ashr(<2 x i32> %a) {77 %x = or <2 x i32> %a, zeroinitializer78 %y = ashr <2 x i32> %x, <i32 4, i32 4>79 %r = and <2 x i32> %y, <i32 240, i32 240>80 ret <2 x i32> %r81}82 83; CHECK-DAG: DemandedBits: 0xf00 for %x = or <2 x i32> %a, zeroinitializer84; CHECK-DAG: DemandedBits: 0xf0 for %y = lshr <2 x i32> %x, splat (i32 4)85; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %y, splat (i32 240)86define <2 x i32> @test_lshr(<2 x i32> %a) {87 %x = or <2 x i32> %a, zeroinitializer88 %y = lshr <2 x i32> %x, <i32 4, i32 4>89 %r = and <2 x i32> %y, <i32 240, i32 240>90 ret <2 x i32> %r91}92 93declare <2 x i32> @llvm.fshl.i32(<2 x i32>, <2 x i32>, <2 x i32>)94declare <2 x i32> @llvm.fshr.i32(<2 x i32>, <2 x i32>, <2 x i32>)95 96; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer97; CHECK-DAG: DemandedBits: 0xf0000000 for %y = or <2 x i32> %b, zeroinitializer98; 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))99; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %z, splat (i32 255)100define <2 x i32> @test_fshl(<2 x i32> %a, <2 x i32> %b) {101 %x = or <2 x i32> %a, zeroinitializer102 %y = or <2 x i32> %b, zeroinitializer103 %z = call <2 x i32> @llvm.fshl.i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> <i32 4, i32 4>)104 %r = and <2 x i32> %z, <i32 255, i32 255>105 ret <2 x i32> %r106}107 108; CHECK-DAG: DemandedBits: 0xf for %x = or <2 x i32> %a, zeroinitializer109; CHECK-DAG: DemandedBits: 0xf0000000 for %y = or <2 x i32> %b, zeroinitializer110; 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))111; CHECK-DAG: DemandedBits: 0xffffffff for %r = and <2 x i32> %z, splat (i32 255)112define <2 x i32> @test_fshr(<2 x i32> %a, <2 x i32> %b) {113 %x = or <2 x i32> %a, zeroinitializer114 %y = or <2 x i32> %b, zeroinitializer115 %z = call <2 x i32> @llvm.fshr.i32(<2 x i32> %x, <2 x i32> %y, <2 x i32> <i32 28, i32 28>)116 %r = and <2 x i32> %z, <i32 255, i32 255>117 ret <2 x i32> %r118}119 120; FP / Int conversion. These have different input / output types.121 122; CHECK-DAG: DemandedBits: 0xffffffff for %x = or <2 x i32> %a, zeroinitializer123define <2 x float> @test_uitofp(<2 x i32> %a) {124 %x = or <2 x i32> %a, zeroinitializer125 %r = uitofp <2 x i32> %x to <2 x float>126 ret <2 x float> %r127}128 129; CHECK-DAG: DemandedBits: 0xffffffff for %y = fptoui <2 x float> %x to <2 x i32>130define <2 x i32> @test_fptoui(<2 x float> %a) {131 %x = fadd <2 x float> %a, <float 1.0, float 1.0>132 %y = fptoui <2 x float> %x to <2 x i32>133 %r = and <2 x i32> %y, <i32 255, i32 255>134 ret <2 x i32> %y135}136