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