From 6882a04fb36642862b11efe514251d32070c3d65 Mon Sep 17 00:00:00 2001 From: Konstantin Tokarev Date: Thu, 25 Aug 2016 19:20:41 +0300 Subject: Imported QtWebKit TP3 (git b57bc6801f1876c3220d5a4bfea33d620d477443) Change-Id: I3b1d8a2808782c9f34d50240000e20cb38d3680f Reviewed-by: Konstantin Tokarev --- Source/JavaScriptCore/b3/B3MathExtras.cpp | 127 ++++++++++++++++++++++++++++++ 1 file changed, 127 insertions(+) create mode 100644 Source/JavaScriptCore/b3/B3MathExtras.cpp (limited to 'Source/JavaScriptCore/b3/B3MathExtras.cpp') diff --git a/Source/JavaScriptCore/b3/B3MathExtras.cpp b/Source/JavaScriptCore/b3/B3MathExtras.cpp new file mode 100644 index 000000000..65e3276d0 --- /dev/null +++ b/Source/JavaScriptCore/b3/B3MathExtras.cpp @@ -0,0 +1,127 @@ +/* + * Copyright (C) 2015 Apple Inc. All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY + * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR + * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, + * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, + * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR + * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY + * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include "config.h" +#include "B3MathExtras.h" + +#if ENABLE(B3_JIT) + +#include "B3BasicBlockInlines.h" +#include "B3CCallValue.h" +#include "B3Const32Value.h" +#include "B3ConstDoubleValue.h" +#include "B3ConstPtrValue.h" +#include "B3ControlValue.h" +#include "B3UpsilonValue.h" +#include "B3ValueInlines.h" + +namespace JSC { namespace B3 { + +std::pair powDoubleInt32(Procedure& procedure, BasicBlock* start, Origin origin, Value* x, Value* y) +{ + BasicBlock* functionCallCase = procedure.addBlock(); + BasicBlock* loopPreHeaderCase = procedure.addBlock(); + BasicBlock* loopTestForEvenCase = procedure.addBlock(); + BasicBlock* loopOdd = procedure.addBlock(); + BasicBlock* loopEvenOdd = procedure.addBlock(); + BasicBlock* continuation = procedure.addBlock(); + + Value* shouldGoSlowPath = start->appendNew(procedure, Above, origin, + y, + start->appendNew(procedure, origin, 1000)); + start->appendNew( + procedure, Branch, origin, + shouldGoSlowPath, + FrequentedBlock(functionCallCase), FrequentedBlock(loopPreHeaderCase)); + + // Function call. + Value* yAsDouble = functionCallCase->appendNew(procedure, IToD, origin, y); + double (*powDouble)(double, double) = pow; + Value* powResult = functionCallCase->appendNew( + procedure, Double, origin, + functionCallCase->appendNew(procedure, origin, bitwise_cast(powDouble)), + x, yAsDouble); + UpsilonValue* powResultUpsilon = functionCallCase->appendNew(procedure, origin, powResult); + functionCallCase->appendNew(procedure, Jump, origin, FrequentedBlock(continuation)); + + // Loop pre-header. + Value* initialResult = loopPreHeaderCase->appendNew(procedure, origin, 1.); + UpsilonValue* initialLoopValue = loopPreHeaderCase->appendNew(procedure, origin, initialResult); + UpsilonValue* initialResultValue = loopPreHeaderCase->appendNew(procedure, origin, initialResult); + UpsilonValue* initialSquaredInput = loopPreHeaderCase->appendNew(procedure, origin, x); + UpsilonValue* initialLoopCounter = loopPreHeaderCase->appendNew(procedure, origin, y); + loopPreHeaderCase->appendNew(procedure, Jump, origin, FrequentedBlock(loopTestForEvenCase)); + + // Test if what is left of the counter is even. + Value* inLoopCounter = loopTestForEvenCase->appendNew(procedure, Phi, Int32, origin); + Value* inLoopSquaredInput = loopTestForEvenCase->appendNew(procedure, Phi, Double, origin); + Value* lastCounterBit = loopTestForEvenCase->appendNew(procedure, BitAnd, origin, + inLoopCounter, + loopTestForEvenCase->appendNew(procedure, origin, 1)); + loopTestForEvenCase->appendNew( + procedure, Branch, origin, + lastCounterBit, + FrequentedBlock(loopOdd), FrequentedBlock(loopEvenOdd)); + + // Counter is odd. + Value* inLoopResult = loopOdd->appendNew(procedure, Phi, Double, origin); + Value* updatedResult = loopOdd->appendNew(procedure, Mul, origin, inLoopResult, inLoopSquaredInput); + UpsilonValue* updatedLoopResultUpsilon = loopOdd->appendNew(procedure, origin, updatedResult); + initialLoopValue->setPhi(inLoopResult); + updatedLoopResultUpsilon->setPhi(inLoopResult); + UpsilonValue* updatedLoopResult = loopOdd->appendNew(procedure, origin, updatedResult); + + loopOdd->appendNew(procedure, Jump, origin, FrequentedBlock(loopEvenOdd)); + + // Even value and following the Odd. + Value* squaredInput = loopEvenOdd->appendNew(procedure, Mul, origin, inLoopSquaredInput, inLoopSquaredInput); + UpsilonValue* squaredInputUpsilon = loopEvenOdd->appendNew(procedure, origin, squaredInput); + initialSquaredInput->setPhi(inLoopSquaredInput); + squaredInputUpsilon->setPhi(inLoopSquaredInput); + + Value* updatedCounter = loopEvenOdd->appendNew(procedure, ZShr, origin, + inLoopCounter, + loopEvenOdd->appendNew(procedure, origin, 1)); + UpsilonValue* updatedCounterUpsilon = loopEvenOdd->appendNew(procedure, origin, updatedCounter); + initialLoopCounter->setPhi(inLoopCounter); + updatedCounterUpsilon->setPhi(inLoopCounter); + + loopEvenOdd->appendNew( + procedure, Branch, origin, + updatedCounter, + FrequentedBlock(loopTestForEvenCase), FrequentedBlock(continuation)); + + // Inline loop. + Value* finalResultPhi = continuation->appendNew(procedure, Phi, Double, origin); + powResultUpsilon->setPhi(finalResultPhi); + initialResultValue->setPhi(finalResultPhi); + updatedLoopResult->setPhi(finalResultPhi); + return std::make_pair(continuation, finalResultPhi); +} + +} } // namespace JSC::B3 + +#endif // ENABLE(B3_JIT) + -- cgit v1.2.1