321 lines
9.1 KiB
LLVM
321 lines
9.1 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -verify-machineinstrs -mcpu=pwr8 -mattr=+vsx \
|
|
; RUN: -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s
|
|
|
|
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mattr=-power9-vector \
|
|
; RUN: -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s
|
|
|
|
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mattr=+vsx \
|
|
; RUN: -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s \
|
|
; RUN: --check-prefix=CHECK-P9 --implicit-check-not xxswapd
|
|
|
|
define <2 x double> @test00(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test00:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test00:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 0, i32 0>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test01(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test01:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: xxswapd 34, 0
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test01:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 34, 0(3)
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 0, i32 1>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test02(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test02:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxmrgld 34, 1, 0
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test02:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxmrgld 34, 1, 0
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 0, i32 2>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test03(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test03:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxpermdi 34, 1, 0, 1
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test03:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxpermdi 34, 1, 0, 1
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 0, i32 3>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test10(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test10:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 34, 0, 3
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test10:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxvd2x 34, 0, 3
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 1, i32 0>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test11(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test11:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: addi 3, 3, 8
|
|
; CHECK-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test11:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: addi 3, 3, 8
|
|
; CHECK-P9-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 1, i32 1>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test12(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test12:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxpermdi 34, 1, 0, 2
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test12:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxpermdi 34, 1, 0, 2
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 1, i32 2>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test13(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test13:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxmrghd 34, 1, 0
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test13:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxmrghd 34, 1, 0
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 1, i32 3>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test20(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test20:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxmrgld 34, 0, 1
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test20:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxmrgld 34, 0, 1
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 2, i32 0>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test21(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test21:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxpermdi 34, 0, 1, 1
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test21:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxpermdi 34, 0, 1, 1
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 2, i32 1>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test22(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test22:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvdsx 34, 0, 4
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test22:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxvdsx 34, 0, 4
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 2, i32 2>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test23(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test23:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 4
|
|
; CHECK-NEXT: xxswapd 34, 0
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test23:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 34, 0(4)
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 2, i32 3>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test30(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test30:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxpermdi 34, 0, 1, 2
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test30:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxpermdi 34, 0, 1, 2
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 3, i32 0>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test31(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test31:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 0, 0, 3
|
|
; CHECK-NEXT: lxvd2x 1, 0, 4
|
|
; CHECK-NEXT: xxswapd 0, 0
|
|
; CHECK-NEXT: xxswapd 1, 1
|
|
; CHECK-NEXT: xxmrghd 34, 0, 1
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test31:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxv 0, 0(3)
|
|
; CHECK-P9-NEXT: lxv 1, 0(4)
|
|
; CHECK-P9-NEXT: xxmrghd 34, 0, 1
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 3, i32 1>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test32(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test32:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: lxvd2x 34, 0, 4
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test32:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: lxvd2x 34, 0, 4
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 3, i32 2>
|
|
ret <2 x double> %v3
|
|
}
|
|
|
|
define <2 x double> @test33(ptr %p1, ptr %p2) {
|
|
; CHECK-LABEL: test33:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: addi 3, 4, 8
|
|
; CHECK-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-P9-LABEL: test33:
|
|
; CHECK-P9: # %bb.0:
|
|
; CHECK-P9-NEXT: addi 3, 4, 8
|
|
; CHECK-P9-NEXT: lxvdsx 34, 0, 3
|
|
; CHECK-P9-NEXT: blr
|
|
%v1 = load <2 x double>, ptr %p1
|
|
%v2 = load <2 x double>, ptr %p2
|
|
%v3 = shufflevector <2 x double> %v1, <2 x double> %v2, <2 x i32> < i32 3, i32 3>
|
|
ret <2 x double> %v3
|
|
}
|