135 lines · plain
1; Test vector logical shift right with scalar shift amount.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s4 5; Test a v16i8 shift by a variable.6define <16 x i8> @f1(<16 x i8> %dummy, <16 x i8> %val1, i32 %shift) {7; CHECK-LABEL: f1:8; CHECK: vesrlb %v24, %v26, 0(%r2)9; CHECK: br %r1410 %truncshift = trunc i32 %shift to i811 %shiftvec = insertelement <16 x i8> undef, i8 %truncshift, i32 012 %val2 = shufflevector <16 x i8> %shiftvec, <16 x i8> undef,13 <16 x i32> zeroinitializer14 %ret = lshr <16 x i8> %val1, %val215 ret <16 x i8> %ret16}17 18; Test a v16i8 shift by the lowest useful constant.19define <16 x i8> @f2(<16 x i8> %dummy, <16 x i8> %val) {20; CHECK-LABEL: f2:21; CHECK: vesrlb %v24, %v26, 122; CHECK: br %r1423 %ret = lshr <16 x i8> %val, <i8 1, i8 1, i8 1, i8 1,24 i8 1, i8 1, i8 1, i8 1,25 i8 1, i8 1, i8 1, i8 1,26 i8 1, i8 1, i8 1, i8 1>27 ret <16 x i8> %ret28}29 30; Test a v16i8 shift by the highest useful constant.31define <16 x i8> @f3(<16 x i8> %dummy, <16 x i8> %val) {32; CHECK-LABEL: f3:33; CHECK: vesrlb %v24, %v26, 734; CHECK: br %r1435 %ret = lshr <16 x i8> %val, <i8 7, i8 7, i8 7, i8 7,36 i8 7, i8 7, i8 7, i8 7,37 i8 7, i8 7, i8 7, i8 7,38 i8 7, i8 7, i8 7, i8 7>39 ret <16 x i8> %ret40}41 42; Test a v8i16 shift by a variable.43define <8 x i16> @f4(<8 x i16> %dummy, <8 x i16> %val1, i32 %shift) {44; CHECK-LABEL: f4:45; CHECK: vesrlh %v24, %v26, 0(%r2)46; CHECK: br %r1447 %truncshift = trunc i32 %shift to i1648 %shiftvec = insertelement <8 x i16> undef, i16 %truncshift, i32 049 %val2 = shufflevector <8 x i16> %shiftvec, <8 x i16> undef,50 <8 x i32> zeroinitializer51 %ret = lshr <8 x i16> %val1, %val252 ret <8 x i16> %ret53}54 55; Test a v8i16 shift by the lowest useful constant.56define <8 x i16> @f5(<8 x i16> %dummy, <8 x i16> %val) {57; CHECK-LABEL: f5:58; CHECK: vesrlh %v24, %v26, 159; CHECK: br %r1460 %ret = lshr <8 x i16> %val, <i16 1, i16 1, i16 1, i16 1,61 i16 1, i16 1, i16 1, i16 1>62 ret <8 x i16> %ret63}64 65; Test a v8i16 shift by the highest useful constant.66define <8 x i16> @f6(<8 x i16> %dummy, <8 x i16> %val) {67; CHECK-LABEL: f6:68; CHECK: vesrlh %v24, %v26, 1569; CHECK: br %r1470 %ret = lshr <8 x i16> %val, <i16 15, i16 15, i16 15, i16 15,71 i16 15, i16 15, i16 15, i16 15>72 ret <8 x i16> %ret73}74 75; Test a v4i32 shift by a variable.76define <4 x i32> @f7(<4 x i32> %dummy, <4 x i32> %val1, i32 %shift) {77; CHECK-LABEL: f7:78; CHECK: vesrlf %v24, %v26, 0(%r2)79; CHECK: br %r1480 %shiftvec = insertelement <4 x i32> undef, i32 %shift, i32 081 %val2 = shufflevector <4 x i32> %shiftvec, <4 x i32> undef,82 <4 x i32> zeroinitializer83 %ret = lshr <4 x i32> %val1, %val284 ret <4 x i32> %ret85}86 87; Test a v4i32 shift by the lowest useful constant.88define <4 x i32> @f8(<4 x i32> %dummy, <4 x i32> %val) {89; CHECK-LABEL: f8:90; CHECK: vesrlf %v24, %v26, 191; CHECK: br %r1492 %ret = lshr <4 x i32> %val, <i32 1, i32 1, i32 1, i32 1>93 ret <4 x i32> %ret94}95 96; Test a v4i32 shift by the highest useful constant.97define <4 x i32> @f9(<4 x i32> %dummy, <4 x i32> %val) {98; CHECK-LABEL: f9:99; CHECK: vesrlf %v24, %v26, 31100; CHECK: br %r14101 %ret = lshr <4 x i32> %val, <i32 31, i32 31, i32 31, i32 31>102 ret <4 x i32> %ret103}104 105; Test a v2i64 shift by a variable.106define <2 x i64> @f10(<2 x i64> %dummy, <2 x i64> %val1, i32 %shift) {107; CHECK-LABEL: f10:108; CHECK: vesrlg %v24, %v26, 0(%r2)109; CHECK: br %r14110 %extshift = sext i32 %shift to i64111 %shiftvec = insertelement <2 x i64> undef, i64 %extshift, i32 0112 %val2 = shufflevector <2 x i64> %shiftvec, <2 x i64> undef,113 <2 x i32> zeroinitializer114 %ret = lshr <2 x i64> %val1, %val2115 ret <2 x i64> %ret116}117 118; Test a v2i64 shift by the lowest useful constant.119define <2 x i64> @f11(<2 x i64> %dummy, <2 x i64> %val) {120; CHECK-LABEL: f11:121; CHECK: vesrlg %v24, %v26, 1122; CHECK: br %r14123 %ret = lshr <2 x i64> %val, <i64 1, i64 1>124 ret <2 x i64> %ret125}126 127; Test a v2i64 shift by the highest useful constant.128define <2 x i64> @f12(<2 x i64> %dummy, <2 x i64> %val) {129; CHECK-LABEL: f12:130; CHECK: vesrlg %v24, %v26, 63131; CHECK: br %r14132 %ret = lshr <2 x i64> %val, <i64 63, i64 63>133 ret <2 x i64> %ret134}135