LLVMCodeBuilder: Implement sqrt operator

Author: adazem009

src/dev/engine/internal/icodebuilder.h

@@ -42,6 +42,7 @@ class ICodeBuilder
         virtual void createAbs() = 0;
         virtual void createFloor() = 0;
         virtual void createCeil() = 0;
+        virtual void createSqrt() = 0;
 
         virtual void beginIfStatement() = 0;
         virtual void beginElseBranch() = 0;

src/dev/engine/internal/llvmcodebuilder.cpp

@@ -238,6 +238,18 @@ std::shared_ptr<ExecutableCode> LLVMCodeBuilder::finalize()
                 break;
             }
 
+            case Step::Type::Sqrt: {
+                assert(step.args.size() == 1);
+                const auto &arg = step.args[0];
+                // sqrt(x) + 0.0
+                // This avoids negative zero
+                llvm::Constant *zero = llvm::ConstantFP::get(m_ctx, llvm::APFloat(0.0));
+                llvm::Function *sqrtFunc = llvm::Intrinsic::getDeclaration(m_module.get(), llvm::Intrinsic::sqrt, m_builder.getDoubleTy());
+                llvm::Value *num = removeNaN(castValue(arg.second, arg.first));
+                step.functionReturnReg->value = m_builder.CreateFAdd(m_builder.CreateCall(sqrtFunc, num), zero);
+                break;
+            }
+
             case Step::Type::Yield:
                 if (!m_warp) {
                     freeHeap();
@@ -631,6 +643,11 @@ void LLVMCodeBuilder::createCeil()
     createOp(Step::Type::Ceil, Compiler::StaticType::Number, Compiler::StaticType::Number, 1);
 }
 
+void LLVMCodeBuilder::createSqrt()
+{
+    createOp(Step::Type::Sqrt, Compiler::StaticType::Number, Compiler::StaticType::Number, 1);
+}
+
 void LLVMCodeBuilder::beginIfStatement()
 {
     Step step(Step::Type::BeginIf);

src/dev/engine/internal/llvmcodebuilder.h

@@ -44,6 +44,7 @@ class LLVMCodeBuilder : public ICodeBuilder
         void createAbs() override;
         void createFloor() override;
         void createCeil() override;
+        void createSqrt() override;
 
         void beginIfStatement() override;
         void beginElseBranch() override;
@@ -92,6 +93,7 @@ class LLVMCodeBuilder : public ICodeBuilder
                     Abs,
                     Floor,
                     Ceil,
+                    Sqrt,
                     Yield,
                     BeginIf,
                     BeginElse,

test/dev/llvm/llvmcodebuilder_test.cpp

@@ -1279,6 +1279,49 @@ TEST_F(LLVMCodeBuilderTest, Ceil)
     addOpTest(nan, 0);
 }
 
+TEST_F(LLVMCodeBuilderTest, Sqrt)
+{
+    std::string expected;
+
+    auto addOpTest = [this, &expected](Value v1, double expectedResult) {
+        createBuilder(true);
+
+        m_builder->addConstValue(v1);
+        m_builder->createSqrt();
+        m_builder->addFunctionCall("test_print_number", Compiler::StaticType::Void, { Compiler::StaticType::Number });
+
+        m_builder->addConstValue(v1);
+        m_builder->addFunctionCall("test_const_number", Compiler::StaticType::Number, { Compiler::StaticType::Number });
+        m_builder->createSqrt();
+        m_builder->addFunctionCall("test_print_number", Compiler::StaticType::Void, { Compiler::StaticType::Number });
+
+        std::stringstream stream;
+        stream << expectedResult;
+        std::string str = stream.str() + '\n';
+        std::string expected = str + str;
+
+        auto code = m_builder->finalize();
+        auto ctx = code->createExecutionContext(&m_target);
+
+        testing::internal::CaptureStdout();
+        code->run(ctx.get());
+        const std::string quotes1 = v1.isString() ? "\"" : "";
+        ASSERT_THAT(testing::internal::GetCapturedStdout(), Eq(expected)) << quotes1 << v1.toString() << quotes1;
+    };
+
+    static const double inf = std::numeric_limits<double>::infinity();
+    static const double nan = std::numeric_limits<double>::quiet_NaN();
+
+    addOpTest(16.0, 4.0);
+    addOpTest(0.04, 0.2);
+    addOpTest(0.0, 0.0);
+    addOpTest(-0.0, 0.0);
+    addOpTest(-4.0, -nan); // negative NaN shouldn't be a problem
+    addOpTest(inf, inf);
+    addOpTest(-inf, -nan);
+    addOpTest(nan, 0);
+}
+
 TEST_F(LLVMCodeBuilderTest, Yield)
 {
     auto build = [this]() {

test/mocks/codebuildermock.h

@@ -32,6 +32,7 @@ class CodeBuilderMock : public ICodeBuilder
         MOCK_METHOD(void, createAbs, (), (override));
         MOCK_METHOD(void, createFloor, (), (override));
         MOCK_METHOD(void, createCeil, (), (override));
+        MOCK_METHOD(void, createSqrt, (), (override));
 
         MOCK_METHOD(void, beginIfStatement, (), (override));
         MOCK_METHOD(void, beginElseBranch, (), (override));