44 lines · plain
1; Test vector byte masks, v2i64 version.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s4 5; Test an all-zeros vector.6define <2 x i64> @f1() {7; CHECK-LABEL: f1:8; CHECK: vgbm %v24, 09; CHECK: br %r1410 ret <2 x i64> zeroinitializer11}12 13; Test an all-ones vector.14define <2 x i64> @f2() {15; CHECK-LABEL: f2:16; CHECK: vgbm %v24, 6553517; CHECK: br %r1418 ret <2 x i64> <i64 -1, i64 -1>19}20 21; Test a mixed vector (mask 0x8c76).22define <2 x i64> @f3() {23; CHECK-LABEL: f3:24; CHECK: vgbm %v24, 3595825; CHECK: br %r1426 ret <2 x i64> <i64 18374686483966525440, i64 72057589759737600>27}28 29; Test that undefs are treated as zero (mask 0x8c00).30define <2 x i64> @f4() {31; CHECK-LABEL: f4:32; CHECK: vgbm %v24, 3584033; CHECK: br %r1434 ret <2 x i64> <i64 18374686483966525440, i64 undef>35}36 37; Test that we don't use VGBM if one of the bytes is not 0 or 0xff.38define <2 x i64> @f5() {39; CHECK-LABEL: f5:40; CHECK-NOT: vgbm41; CHECK: br %r1442 ret <2 x i64> <i64 18374686483966525441, i64 72057589759737600>43}44