60 lines · plain
1; Test vector byte masks, v4i32 version.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s4 5; Test an all-zeros vector.6define <4 x i32> @f1() {7; CHECK-LABEL: f1:8; CHECK: vgbm %v24, 09; CHECK: br %r1410 ret <4 x i32> zeroinitializer11}12 13; Test an all-ones vector.14define <4 x i32> @f2() {15; CHECK-LABEL: f2:16; CHECK: vgbm %v24, 6553517; CHECK: br %r1418 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, 3595825; CHECK: br %r1426 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, 3288633; CHECK: br %r1434 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: vgbm41; CHECK: br %r1442 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, 049; CHECK: br %r1450 ret <2 x i32> zeroinitializer51}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, 4454457; CHECK: br %r1458 ret <2 x i32> <i32 4278255360, i32 -256>59}60