mirror of
https://github.com/RPCSX/llvm.git
synced 2025-02-15 02:29:07 +00:00
DAG: Allow legalization of fcanonicalize vector types
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@292814 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Matt Arsenault
parent
f7ac01d0a0
commit
41e0c1e88e
@ -97,6 +97,7 @@ void DAGTypeLegalizer::ScalarizeVectorResult(SDNode *N, unsigned ResNo) {
|
||||
case ISD::TRUNCATE:
|
||||
case ISD::UINT_TO_FP:
|
||||
case ISD::ZERO_EXTEND:
|
||||
case ISD::FCANONICALIZE:
|
||||
R = ScalarizeVecRes_UnaryOp(N);
|
||||
break;
|
||||
|
||||
@ -637,6 +638,7 @@ void DAGTypeLegalizer::SplitVectorResult(SDNode *N, unsigned ResNo) {
|
||||
case ISD::SINT_TO_FP:
|
||||
case ISD::TRUNCATE:
|
||||
case ISD::UINT_TO_FP:
|
||||
case ISD::FCANONICALIZE:
|
||||
SplitVecRes_UnaryOp(N, Lo, Hi);
|
||||
break;
|
||||
|
||||
@ -1466,6 +1468,7 @@ bool DAGTypeLegalizer::SplitVectorOperand(SDNode *N, unsigned OpNo) {
|
||||
case ISD::ZERO_EXTEND:
|
||||
case ISD::ANY_EXTEND:
|
||||
case ISD::FTRUNC:
|
||||
case ISD::FCANONICALIZE:
|
||||
Res = SplitVecOp_UnaryOp(N);
|
||||
break;
|
||||
}
|
||||
|
||||
@ -1,6 +1,8 @@
|
||||
; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s
|
||||
|
||||
declare half @llvm.canonicalize.f16(half) #0
|
||||
declare <2 x half> @llvm.fabs.v2f16(<2 x half>) #0
|
||||
declare <2 x half> @llvm.canonicalize.v2f16(<2 x half>) #0
|
||||
|
||||
; GCN-LABEL: {{^}}v_test_canonicalize_var_f16:
|
||||
; GCN: v_mul_f16_e32 [[REG:v[0-9]+]], 1.0, {{v[0-9]+}}
|
||||
@ -166,6 +168,218 @@ define void @test_fold_canonicalize_snan3_value_f16(half addrspace(1)* %out) #1
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}v_test_canonicalize_var_v2f16:
|
||||
; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, {{v[0-9]+}}
|
||||
; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, {{v[0-9]+}}
|
||||
; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16,
|
||||
define void @v_test_canonicalize_var_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%val = load <2 x half>, <2 x half> addrspace(1)* %out
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; FIXME: Fold modifier
|
||||
; GCN-LABEL: {{^}}v_test_canonicalize_fabs_var_v2f16:
|
||||
; GCN: v_bfe_u32
|
||||
; GCN: v_and_b32_e32 v{{[0-9]+}}, 0x7fff7fff, v{{[0-9]+}}
|
||||
; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, v{{[0-9]+}}
|
||||
; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, v{{[0-9]+}}
|
||||
; GCN: v_or_b32
|
||||
; GCN: buffer_store_dword
|
||||
define void @v_test_canonicalize_fabs_var_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%val = load <2 x half>, <2 x half> addrspace(1)* %out
|
||||
%val.fabs = call <2 x half> @llvm.fabs.v2f16(<2 x half> %val)
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val.fabs)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}v_test_canonicalize_fneg_fabs_var_v2f16:
|
||||
; GCN: v_or_b32_e32 v{{[0-9]+}}, 0x80008000, v{{[0-9]+}}
|
||||
; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, v{{[0-9]+}}
|
||||
; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, v{{[0-9]+}}
|
||||
; GCN: v_or_b32
|
||||
; GCN: buffer_store_dword
|
||||
define void @v_test_canonicalize_fneg_fabs_var_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%val = load <2 x half>, <2 x half> addrspace(1)* %out
|
||||
%val.fabs = call <2 x half> @llvm.fabs.v2f16(<2 x half> %val)
|
||||
%val.fabs.fneg = fsub <2 x half> <half -0.0, half -0.0>, %val.fabs
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val.fabs.fneg)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; FIXME: Fold modifier
|
||||
; GCN-LABEL: {{^}}v_test_canonicalize_fneg_var_v2f16:
|
||||
; GCN: v_xor_b32_e32 [[FNEG:v[0-9]+]], 0x80008000, v{{[0-9]+}}
|
||||
; GCN: v_lshrrev_b32_e32 [[FNEG_HI:v[0-9]+]], 16, [[FNEG]]
|
||||
; GCN: v_mul_f16_e32 [[REG0:v[0-9]+]], 1.0, [[FNEG]]
|
||||
; GCN: v_mul_f16_e32 [[REG1:v[0-9]+]], 1.0, [[FNEG_HI]]
|
||||
; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16,
|
||||
define void @v_test_canonicalize_fneg_var_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%val = load <2 x half>, <2 x half> addrspace(1)* %out
|
||||
%fneg.val = fsub <2 x half> <half -0.0, half -0.0>, %val
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %fneg.val)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}s_test_canonicalize_var_v2f16:
|
||||
; GCN: v_mul_f16_e64 [[REG0:v[0-9]+]], 1.0, {{s[0-9]+}}
|
||||
; GCN: v_mul_f16_e64 [[REG1:v[0-9]+]], 1.0, {{s[0-9]+}}
|
||||
; GCN: v_lshlrev_b32_e32 v{{[0-9]+}}, 16,
|
||||
define void @s_test_canonicalize_var_v2f16(<2 x half> addrspace(1)* %out, i32 zeroext %val.arg) #1 {
|
||||
%val = bitcast i32 %val.arg to <2 x half>
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> %val)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_p0_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_p0_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> zeroinitializer)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_n0_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x80008000{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_n0_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half -0.0, half -0.0>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_p1_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3c003c00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_p1_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 1.0, half 1.0>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_n1_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0xbc00bc00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_n1_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half -1.0, half -1.0>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_literal_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x4c004c00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_literal_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 16.0, half 16.0>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_no_denormals_fold_canonicalize_denormal0_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_no_denormals_fold_canonicalize_denormal0_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH03FF, half 0xH03FF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal0_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x3ff03ff{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_denormals_fold_canonicalize_denormal0_v2f16(<2 x half> addrspace(1)* %out) #3 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH03FF, half 0xH03FF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_no_denormals_fold_canonicalize_denormal1_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_no_denormals_fold_canonicalize_denormal1_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH83FF, half 0xH83FF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_denormals_fold_canonicalize_denormal1_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x83ff83ff{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_denormals_fold_canonicalize_denormal1_v2f16(<2 x half> addrspace(1)* %out) #3 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH83FF, half 0xH83FF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7c007c00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_qnan_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7C00, half 0xH7C00>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg1_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_qnan_value_neg1_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> bitcast (i32 -1 to <2 x half>))
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_qnan_value_neg2_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_qnan_value_neg2_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half bitcast (i16 -2 to half), half bitcast (i16 -2 to half)>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_snan0_value_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_snan0_value_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7C01, half 0xH7C01>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_snan1_value_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_snan1_value_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xH7DFF, half 0xH7DFF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_snan2_value_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_snan2_value_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xHFDFF, half 0xHFDFF>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
; GCN-LABEL: {{^}}test_fold_canonicalize_snan3_value_v2f16:
|
||||
; GCN: v_mov_b32_e32 [[REG:v[0-9]+]], 0x7e007e00{{$}}
|
||||
; GCN: buffer_store_dword [[REG]]
|
||||
define void @test_fold_canonicalize_snan3_value_v2f16(<2 x half> addrspace(1)* %out) #1 {
|
||||
%canonicalized = call <2 x half> @llvm.canonicalize.v2f16(<2 x half> <half 0xHFC01, half 0xHFC01>)
|
||||
store <2 x half> %canonicalized, <2 x half> addrspace(1)* %out
|
||||
ret void
|
||||
}
|
||||
|
||||
attributes #0 = { nounwind readnone }
|
||||
attributes #1 = { nounwind }
|
||||
attributes #2 = { nounwind "target-features"="-fp16-denormals,-fp16-denormals" }
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user