| ; 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> |
| } |