From 55146d31392e676315366f3b5de1c2211ec3fb7d 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 llvm-svn: 360850 --- llvm/include/llvm/Support/TargetOpcodes.def | 6 ++++++ llvm/include/llvm/Target/GenericOpcodes.td | 6 ++++++ llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp | 2 ++ llvm/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll | 12 ++++++++++++ .../CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir | 3 +++ 5 files changed, 29 insertions(+) diff --git a/llvm/include/llvm/Support/TargetOpcodes.def b/llvm/include/llvm/Support/TargetOpcodes.def index cce59c3..4b64756 100644 --- a/llvm/include/llvm/Support/TargetOpcodes.def +++ b/llvm/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/llvm/include/llvm/Target/GenericOpcodes.td b/llvm/include/llvm/Target/GenericOpcodes.td index 1900870..07669d2 100644 --- a/llvm/include/llvm/Target/GenericOpcodes.td +++ b/llvm/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/llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp b/llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp index 939a9a9..4ac7201 100644 --- a/llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp +++ b/llvm/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/llvm/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll b/llvm/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll index 83b5e08..e7d1e0f 100644 --- a/llvm/test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll +++ b/llvm/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/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir b/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir index ce6743a..088b0c0 100644 --- a/llvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir +++ b/llvm/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.7.4