| ; Test vector byte masks, v2i64 version. | |
| ; | |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s | |
| ; Test an all-zeros vector. | |
| define <2 x i64> @f1() { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK: vgbm %v24, 0 | |
| ; CHECK: br %r14 | |
| ret <2 x i64> zeroinitializer | |
| } | |
| ; Test an all-ones vector. | |
| define <2 x i64> @f2() { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK: vgbm %v24, 65535 | |
| ; CHECK: br %r14 | |
| ret <2 x i64> <i64 -1, i64 -1> | |
| } | |
| ; Test a mixed vector (mask 0x8c76). | |
| define <2 x i64> @f3() { | |
| ; CHECK-LABEL: f3: | |
| ; CHECK: vgbm %v24, 35958 | |
| ; CHECK: br %r14 | |
| ret <2 x i64> <i64 18374686483966525440, i64 72057589759737600> | |
| } | |
| ; Test that undefs are treated as zero (mask 0x8c00). | |
| define <2 x i64> @f4() { | |
| ; CHECK-LABEL: f4: | |
| ; CHECK: vgbm %v24, 35840 | |
| ; CHECK: br %r14 | |
| ret <2 x i64> <i64 18374686483966525440, i64 undef> | |
| } | |
| ; Test that we don't use VGBM if one of the bytes is not 0 or 0xff. | |
| define <2 x i64> @f5() { | |
| ; CHECK-LABEL: f5: | |
| ; CHECK-NOT: vgbm | |
| ; CHECK: br %r14 | |
| ret <2 x i64> <i64 18374686483966525441, i64 72057589759737600> | |
| } |