33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; Test high-part vector multiplication on z173;4; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z17 | FileCheck %s5 6; Test a v2i64 unsigned high-part multiplication.7define <2 x i64> @f1(<2 x i64> %val1, <2 x i64> %val2) {8; CHECK-LABEL: f1:9; CHECK: # %bb.0:10; CHECK-NEXT: vmlhg %v24, %v24, %v2611; CHECK-NEXT: br %r1412 %zext1 = zext <2 x i64> %val1 to <2 x i128>13 %zext2 = zext <2 x i64> %val2 to <2 x i128>14 %mulx = mul <2 x i128> %zext1, %zext215 %highx = lshr <2 x i128> %mulx, splat(i128 64)16 %high = trunc <2 x i128> %highx to <2 x i64>17 ret <2 x i64> %high18}19 20; Test a v2i64 signed high-part multiplication.21define <2 x i64> @f2(<2 x i64> %val1, <2 x i64> %val2) {22; CHECK-LABEL: f2:23; CHECK: # %bb.0:24; CHECK-NEXT: vmhg %v24, %v24, %v2625; CHECK-NEXT: br %r1426 %sext1 = sext <2 x i64> %val1 to <2 x i128>27 %sext2 = sext <2 x i64> %val2 to <2 x i128>28 %mulx = mul <2 x i128> %sext1, %sext229 %highx = lshr <2 x i128> %mulx, splat(i128 64)30 %high = trunc <2 x i128> %highx to <2 x i64>31 ret <2 x i64> %high32}33