From 238de69e72a5e3d02e46572285cf761b5661fe0c Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Thu, 16 May 2019 04:08:39 +0000 Subject: [PATCH] GlobalISel: Add G_FCOPYSIGN git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@360850 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Support/TargetOpcodes.def | 6 ++++++ include/llvm/Target/GenericOpcodes.td | 6 ++++++ lib/CodeGen/GlobalISel/IRTranslator.cpp | 2 ++ .../CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll | 12 ++++++++++++ .../AArch64/GlobalISel/legalizer-info-validation.mir | 3 +++ 5 files changed, 29 insertions(+) diff --git a/include/llvm/Support/TargetOpcodes.def b/include/llvm/Support/TargetOpcodes.def index cce59c37308..4b64756dd92 100644 --- a/include/llvm/Support/TargetOpcodes.def +++ b/include/llvm/Support/TargetOpcodes.def @@ -481,6 +481,12 @@ HANDLE_TARGET_OPCODE(G_UITOFP) /// Generic FP absolute value. HANDLE_TARGET_OPCODE(G_FABS) +/// FCOPYSIGN(X, Y) - Return the value of X with the sign of Y. NOTE: This does +/// not require that X and Y have the same type, just that they are both +/// floating point. X and the result must have the same type. FCOPYSIGN(f32, +/// f64) is allowed. +HANDLE_TARGET_OPCODE(G_FCOPYSIGN) + /// Generic FP canonicalize value. HANDLE_TARGET_OPCODE(G_FCANONICALIZE) diff --git a/include/llvm/Target/GenericOpcodes.td b/include/llvm/Target/GenericOpcodes.td index 1900870d6da..07669d2492f 100644 --- a/include/llvm/Target/GenericOpcodes.td +++ b/include/llvm/Target/GenericOpcodes.td @@ -455,6 +455,12 @@ def G_FABS : GenericInstruction { let hasSideEffects = 0; } +def G_FCOPYSIGN : GenericInstruction { + let OutOperandList = (outs type0:$dst); + let InOperandList = (ins type0:$src0, type1:$src1); + let hasSideEffects = 0; +} + def G_FCANONICALIZE : GenericInstruction { let OutOperandList = (outs type0:$dst); let InOperandList = (ins type0:$src); diff --git a/lib/CodeGen/GlobalISel/IRTranslator.cpp b/lib/CodeGen/GlobalISel/IRTranslator.cpp index 939a9a92cc0..4ac720181ed 100644 --- a/lib/CodeGen/GlobalISel/IRTranslator.cpp +++ b/lib/CodeGen/GlobalISel/IRTranslator.cpp @@ -782,6 +782,8 @@ unsigned IRTranslator::getSimpleIntrinsicOpcode(Intrinsic::ID ID) { return TargetOpcode::G_FEXP2; case Intrinsic::fabs: return TargetOpcode::G_FABS; + case Intrinsic::copysign: + return TargetOpcode::G_FCOPYSIGN; case Intrinsic::canonicalize: return TargetOpcode::G_FCANONICALIZE; case Intrinsic::floor: diff --git a/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll b/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll index 83b5e082104..e7d1e0f5665 100644 --- a/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll +++ b/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll @@ -1418,6 +1418,18 @@ define float @test_fabs_intrin(float %a) { ret float %res } +declare float @llvm.copysign.f32(float, float) +define float @test_fcopysign_intrin(float %a, float %b) { +; CHECK-LABEL: name: test_fcopysign_intrin +; CHECK: [[A:%[0-9]+]]:_(s32) = COPY $s0 +; CHECK: [[B:%[0-9]+]]:_(s32) = COPY $s1 +; CHECK: [[RES:%[0-9]+]]:_(s32) = nnan ninf nsz arcp contract afn reassoc G_FCOPYSIGN [[A]], [[B]] +; CHECK: $s0 = COPY [[RES]] + + %res = call nnan ninf nsz arcp contract afn reassoc float @llvm.copysign.f32(float %a, float %b) + ret float %res +} + declare float @llvm.canonicalize.f32(float) define float @test_fcanonicalize_intrin(float %a) { ; CHECK-LABEL: name: test_fcanonicalize_intrin diff --git a/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir b/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir index ce6743a1c7f..088b0c00c08 100644 --- a/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir +++ b/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir @@ -294,6 +294,9 @@ # DEBUG-NEXT: G_FABS (opcode {{[0-9]+}}): 1 type index # DEBUG: .. type index coverage check SKIPPED: user-defined predicate detected # +# DEBUG-NEXT: G_FCOPYSIGN (opcode {{[0-9]+}}): 2 type indices +# DEBUG: .. type index coverage check SKIPPED: no rules defined +# # DEBUG-NEXT: G_FCANONICALIZE (opcode {{[0-9]+}}): 1 type index # DEBUG: .. type index coverage check SKIPPED: no rules defined # -- 2.50.1