1; Test vector byte masks, v4i32 version. 2; 3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s 4 5; Test an all-zeros vector. 6define <4 x i32> @f1() { 7; CHECK-LABEL: f1: 8; CHECK: vgbm %v24, 0 9; CHECK: br %r14 10 ret <4 x i32> zeroinitializer 11} 12 13; Test an all-ones vector. 14define <4 x i32> @f2() { 15; CHECK-LABEL: f2: 16; CHECK: vgbm %v24, 65535 17; CHECK: br %r14 18 ret <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1> 19} 20 21; Test a mixed vector (mask 0x8c76). 22define <4 x i32> @f3() { 23; CHECK-LABEL: f3: 24; CHECK: vgbm %v24, 35958 25; CHECK: br %r14 26 ret <4 x i32> <i32 4278190080, i32 4294901760, i32 16777215, i32 16776960> 27} 28 29; Test that undefs are treated as zero (mask 0x8076). 30define <4 x i32> @f4() { 31; CHECK-LABEL: f4: 32; CHECK: vgbm %v24, 32886 33; CHECK: br %r14 34 ret <4 x i32> <i32 4278190080, i32 undef, i32 16777215, i32 16776960> 35} 36 37; Test that we don't use VGBM if one of the bytes is not 0 or 0xff. 38define <4 x i32> @f5() { 39; CHECK-LABEL: f5: 40; CHECK-NOT: vgbm 41; CHECK: br %r14 42 ret <4 x i32> <i32 4278190080, i32 1, i32 16777215, i32 16776960> 43} 44 45; Test an all-zeros v2i32 that gets promoted to v4i32. 46define <2 x i32> @f6() { 47; CHECK-LABEL: f6: 48; CHECK: vgbm %v24, 0 49; CHECK: br %r14 50 ret <2 x i32> zeroinitializer 51} 52 53; Test a mixed v2i32 that gets promoted to v4i32 (mask 0xae00). 54define <2 x i32> @f7() { 55; CHECK-LABEL: f7: 56; CHECK: vgbm %v24, 44544 57; CHECK: br %r14 58 ret <2 x i32> <i32 4278255360, i32 -256> 59} 60