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. 6 define <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. 14 define <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). 22 define <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). 30 define <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. 38 define <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. 46 define <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). 54 define <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
