139 lines · plain
1; Test v2i64 absolute.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s4 5; Test with slt.6define <2 x i64> @f1(<2 x i64> %val) {7; CHECK-LABEL: f1:8; CHECK: vlpg %v24, %v249; CHECK: br %r1410 %cmp = icmp slt <2 x i64> %val, zeroinitializer11 %neg = sub <2 x i64> zeroinitializer, %val12 %ret = select <2 x i1> %cmp, <2 x i64> %neg, <2 x i64> %val13 ret <2 x i64> %ret14}15 16; Test with sle.17define <2 x i64> @f2(<2 x i64> %val) {18; CHECK-LABEL: f2:19; CHECK: vlpg %v24, %v2420; CHECK: br %r1421 %cmp = icmp sle <2 x i64> %val, zeroinitializer22 %neg = sub <2 x i64> zeroinitializer, %val23 %ret = select <2 x i1> %cmp, <2 x i64> %neg, <2 x i64> %val24 ret <2 x i64> %ret25}26 27; Test with sgt.28define <2 x i64> @f3(<2 x i64> %val) {29; CHECK-LABEL: f3:30; CHECK: vlpg %v24, %v2431; CHECK: br %r1432 %cmp = icmp sgt <2 x i64> %val, zeroinitializer33 %neg = sub <2 x i64> zeroinitializer, %val34 %ret = select <2 x i1> %cmp, <2 x i64> %val, <2 x i64> %neg35 ret <2 x i64> %ret36}37 38; Test with sge.39define <2 x i64> @f4(<2 x i64> %val) {40; CHECK-LABEL: f4:41; CHECK: vlpg %v24, %v2442; CHECK: br %r1443 %cmp = icmp sge <2 x i64> %val, zeroinitializer44 %neg = sub <2 x i64> zeroinitializer, %val45 %ret = select <2 x i1> %cmp, <2 x i64> %val, <2 x i64> %neg46 ret <2 x i64> %ret47}48 49; Test that negative absolute uses VLPG too. There is no vector equivalent50; of LOAD NEGATIVE.51define <2 x i64> @f5(<2 x i64> %val) {52; CHECK-LABEL: f5:53; CHECK: vlpg [[REG:%v[0-9]+]], %v2454; CHECK: vlcg %v24, [[REG]]55; CHECK: br %r1456 %cmp = icmp slt <2 x i64> %val, zeroinitializer57 %neg = sub <2 x i64> zeroinitializer, %val58 %abs = select <2 x i1> %cmp, <2 x i64> %neg, <2 x i64> %val59 %ret = sub <2 x i64> zeroinitializer, %abs60 ret <2 x i64> %ret61}62 63; Try another form of negative absolute (slt version).64define <2 x i64> @f6(<2 x i64> %val) {65; CHECK-LABEL: f6:66; CHECK: vlpg [[REG:%v[0-9]+]], %v2467; CHECK: vlcg %v24, [[REG]]68; CHECK: br %r1469 %cmp = icmp slt <2 x i64> %val, zeroinitializer70 %neg = sub <2 x i64> zeroinitializer, %val71 %ret = select <2 x i1> %cmp, <2 x i64> %val, <2 x i64> %neg72 ret <2 x i64> %ret73}74 75; Test with sle.76define <2 x i64> @f7(<2 x i64> %val) {77; CHECK-LABEL: f7:78; CHECK: vlpg [[REG:%v[0-9]+]], %v2479; CHECK: vlcg %v24, [[REG]]80; CHECK: br %r1481 %cmp = icmp sle <2 x i64> %val, zeroinitializer82 %neg = sub <2 x i64> zeroinitializer, %val83 %ret = select <2 x i1> %cmp, <2 x i64> %val, <2 x i64> %neg84 ret <2 x i64> %ret85}86 87; Test with sgt.88define <2 x i64> @f8(<2 x i64> %val) {89; CHECK-LABEL: f8:90; CHECK: vlpg [[REG:%v[0-9]+]], %v2491; CHECK: vlcg %v24, [[REG]]92; CHECK: br %r1493 %cmp = icmp sgt <2 x i64> %val, zeroinitializer94 %neg = sub <2 x i64> zeroinitializer, %val95 %ret = select <2 x i1> %cmp, <2 x i64> %neg, <2 x i64> %val96 ret <2 x i64> %ret97}98 99; Test with sge.100define <2 x i64> @f9(<2 x i64> %val) {101; CHECK-LABEL: f9:102; CHECK: vlpg [[REG:%v[0-9]+]], %v24103; CHECK: vlcg %v24, [[REG]]104; CHECK: br %r14105 %cmp = icmp sge <2 x i64> %val, zeroinitializer106 %neg = sub <2 x i64> zeroinitializer, %val107 %ret = select <2 x i1> %cmp, <2 x i64> %neg, <2 x i64> %val108 ret <2 x i64> %ret109}110 111; Test with an SRA-based boolean vector.112define <2 x i64> @f10(<2 x i64> %val) {113; CHECK-LABEL: f10:114; CHECK: vlpg %v24, %v24115; CHECK: br %r14116 %shr = ashr <2 x i64> %val, <i64 63, i64 63>117 %neg = sub <2 x i64> zeroinitializer, %val118 %and1 = and <2 x i64> %shr, %neg119 %not = xor <2 x i64> %shr, <i64 -1, i64 -1>120 %and2 = and <2 x i64> %not, %val121 %ret = or <2 x i64> %and1, %and2122 ret <2 x i64> %ret123}124 125; ...and again in reverse126define <2 x i64> @f11(<2 x i64> %val) {127; CHECK-LABEL: f11:128; CHECK: vlpg [[REG:%v[0-9]+]], %v24129; CHECK: vlcg %v24, [[REG]]130; CHECK: br %r14131 %shr = ashr <2 x i64> %val, <i64 63, i64 63>132 %and1 = and <2 x i64> %shr, %val133 %not = xor <2 x i64> %shr, <i64 -1, i64 -1>134 %neg = sub <2 x i64> zeroinitializer, %val135 %and2 = and <2 x i64> %not, %neg136 %ret = or <2 x i64> %and1, %and2137 ret <2 x i64> %ret138}139