org.graalvm.compiler.core.amd64

Class AMD64ArithmeticLIRGenerator

java.lang.Object

org.graalvm.compiler.lir.gen.ArithmeticLIRGenerator

org.graalvm.compiler.core.amd64.AMD64ArithmeticLIRGenerator

All Implemented Interfaces:

AMD64ArithmeticLIRGeneratorTool, ArithmeticLIRGeneratorTool

public class AMD64ArithmeticLIRGenerator
extends ArithmeticLIRGenerator
implements AMD64ArithmeticLIRGeneratorTool

This class implements the AMD64 specific portion of the LIR generator.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AMD64ArithmeticLIRGenerator.AMD64MathMinMaxFloatOp

Nested classes/interfaces inherited from interface org.graalvm.compiler.lir.gen.ArithmeticLIRGeneratorTool

ArithmeticLIRGeneratorTool.RoundingMode

Constructor Summary

Constructors

Constructor and Description
AMD64ArithmeticLIRGenerator(AllocatableValue nullRegisterValue)

Method Summary

Modifier and Type	Method and Description
Variable	emitAdd(LIRKind resultKind, Value a, Value b, boolean setFlags)
Variable	emitAnd(Value a, Value b)
protected Variable	emitBinary(LIRKind resultKind, AMD64Assembler.VexRVMOp op, Value a, Value b)
Value	emitBinaryMemory(AMD64Assembler.AMD64RMOp op, AMD64BaseAssembler.OperandSize size, AllocatableValue a, AMD64AddressValue location, LIRFrameState state)
Value	emitBinaryMemory(AMD64Assembler.VexRVMOp op, AMD64BaseAssembler.OperandSize size, AllocatableValue a, AMD64AddressValue location, LIRFrameState state)
Variable	emitBitCount(Value value)
Variable	emitBitScanForward(Value value)
Variable	emitBitScanReverse(Value value)
void	emitCompareOp(AMD64Kind cmpKind, AllocatableValue left, Value right)
protected Value	emitConvertMemoryOp(PlatformKind kind, AMD64Assembler.AMD64RMOp op, AMD64BaseAssembler.OperandSize size, AMD64AddressValue address, LIRFrameState state)
Value	emitCountLeadingZeros(Value value)
Value	emitCountTrailingZeros(Value value)
Value	emitDiv(Value a, Value b, LIRFrameState state)
Value	emitFloatConvert(FloatConvert op, Value input)
Variable	emitFusedMultiplyAdd(Value a, Value b, Value c)
Value	emitGetMaskUpToLowestSetBit(Value value)
Variable	emitLoad(LIRKind kind, Value address, LIRFrameState state)
Value	emitLogicalAndNot(Value value1, Value value2)
Value	emitLowestSetIsolatedBit(Value value)
Value	emitMathAbs(Value input)
Value	emitMathCopySign(Value magnitude, Value sign)
Value	emitMathCos(Value input)
Value	emitMathExp(Value input)
Value	emitMathLog(Value input, boolean base10)
Value	emitMathMax(Value x, Value y)
Value	emitMathMin(Value x, Value y)
protected Value	emitMathMinMax(Value a, Value b, AMD64ArithmeticLIRGenerator.AMD64MathMinMaxFloatOp minmaxop) Emits code for a branchless floating-point Math.min/Math.max operation.
Value	emitMathPow(Value x, Value y)
Value	emitMathSignum(Value input)
Value	emitMathSin(Value input)
Value	emitMathSqrt(Value input)
Value	emitMathTan(Value input)
Variable	emitMul(Value a, Value b, boolean setFlags)
Value	emitMulHigh(Value a, Value b)
Value	emitNarrow(Value inputVal, int bits)
Variable	emitNegate(Value inputVal, boolean setFlags)
Variable	emitNot(Value inputVal)
Variable	emitOr(Value a, Value b)
Variable	emitOrderedLoad(LIRKind kind, Value address, LIRFrameState state, MemoryOrderMode memoryOrder)
void	emitOrderedStore(<any> kind, Value address, Value input, LIRFrameState state, MemoryOrderMode memoryOrder)
Value	emitReinterpret(LIRKind to, Value inputVal)
Value	emitRem(Value a, Value b, LIRFrameState state)
Value	emitResetLowestSetBit(Value value)
Variable	emitRol(Value a, Value b)
Variable	emitRor(Value a, Value b)
Value	emitRound(Value value, ArithmeticLIRGeneratorTool.RoundingMode mode)
Value	emitRoundFloatToInteger(Value value)
Variable	emitShiftConst(AMD64Assembler.AMD64Shift op, AMD64BaseAssembler.OperandSize size, Value a, JavaConstant b)
Variable	emitShl(Value a, Value b)
Variable	emitShr(Value a, Value b)
Value[]	emitSignedDivRem(Value a, Value b, LIRFrameState state)
Value	emitSignExtend(Value inputVal, int fromBits, int toBits)
void	emitStore(<any> lirKind, Value address, Value input, LIRFrameState state)
protected void	emitStore(AMD64Kind kind, AMD64AddressValue address, AllocatableValue value, LIRFrameState state)
protected void	emitStoreConst(AMD64Kind kind, AMD64AddressValue address, ConstantValue value, LIRFrameState state)
Variable	emitSub(LIRKind resultKind, Value a, Value b, boolean setFlags)
Variable	emitUDiv(Value a, Value b, LIRFrameState state)
Value	emitUMulHigh(Value a, Value b)
Value[]	emitUnsignedDivRem(Value a, Value b, LIRFrameState state)
Variable	emitURem(Value a, Value b, LIRFrameState state)
Variable	emitUShr(Value a, Value b)
protected Variable	emitVectorBlend(Value zeroValue, Value oneValue, Value mask)
protected AllocatableValue	emitVectorFloatCompare(AllocatableValue a, AllocatableValue b, AMD64Assembler.VexFloatCompareOp.Predicate predicate)
Variable	emitXor(Value a, Value b)
Value	emitXorFP(Value a, Value b)
Value	emitZeroExtend(Value inputVal, int fromBits, int toBits)
protected Value	emitZeroExtendMemory(AMD64Kind memoryKind, int resultBits, AMD64AddressValue address, LIRFrameState state)
protected AMD64LIRGenerator	getAMD64LIRGen()
static AMD64Assembler.AMD64MOp	getMOp(AMD64Assembler.AMD64BinaryArithmetic op, int constant)
AllocatableValue	getNullRegisterValue()
protected boolean	isNumericInteger(PlatformKind kind)
boolean	mustReplaceNullWithNullRegister(Constant nullConstant)
boolean	supportAVX()

Methods inherited from class org.graalvm.compiler.lir.gen.ArithmeticLIRGenerator

asAllocatable, emitAdd, emitSub, getLIRGen, getOptions

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.lir.gen.ArithmeticLIRGeneratorTool

emitAdd, emitSub

Constructor Detail

AMD64ArithmeticLIRGenerator

public AMD64ArithmeticLIRGenerator(AllocatableValue nullRegisterValue)

Method Detail

emitNegate

public Variable emitNegate(Value inputVal,
                           boolean setFlags)

Specified by:

emitNegate in interface ArithmeticLIRGeneratorTool

emitNot

public Variable emitNot(Value inputVal)

Specified by:

emitNot in interface ArithmeticLIRGeneratorTool

getMOp

public static AMD64Assembler.AMD64MOp getMOp(AMD64Assembler.AMD64BinaryArithmetic op,
                                             int constant)

isNumericInteger

protected boolean isNumericInteger(PlatformKind kind)

Specified by:

isNumericInteger in class ArithmeticLIRGenerator

emitAdd

public Variable emitAdd(LIRKind resultKind,
                        Value a,
                        Value b,
                        boolean setFlags)

Specified by:

emitAdd in class ArithmeticLIRGenerator

emitSub

public Variable emitSub(LIRKind resultKind,
                        Value a,
                        Value b,
                        boolean setFlags)

Specified by:

emitSub in class ArithmeticLIRGenerator

emitMul

public Variable emitMul(Value a,
                        Value b,
                        boolean setFlags)

Specified by:

emitMul in interface ArithmeticLIRGeneratorTool

emitMulHigh

public Value emitMulHigh(Value a,
                         Value b)

Specified by:

emitMulHigh in interface ArithmeticLIRGeneratorTool

emitUMulHigh

public Value emitUMulHigh(Value a,
                          Value b)

Specified by:

emitUMulHigh in interface ArithmeticLIRGeneratorTool

emitBinaryMemory

public Value emitBinaryMemory(AMD64Assembler.VexRVMOp op,
                              AMD64BaseAssembler.OperandSize size,
                              AllocatableValue a,
                              AMD64AddressValue location,
                              LIRFrameState state)

emitBinaryMemory

public Value emitBinaryMemory(AMD64Assembler.AMD64RMOp op,
                              AMD64BaseAssembler.OperandSize size,
                              AllocatableValue a,
                              AMD64AddressValue location,
                              LIRFrameState state)

emitConvertMemoryOp

protected Value emitConvertMemoryOp(PlatformKind kind,
                                    AMD64Assembler.AMD64RMOp op,
                                    AMD64BaseAssembler.OperandSize size,
                                    AMD64AddressValue address,
                                    LIRFrameState state)

emitZeroExtendMemory

protected Value emitZeroExtendMemory(AMD64Kind memoryKind,
                                     int resultBits,
                                     AMD64AddressValue address,
                                     LIRFrameState state)

emitSignedDivRem

public Value[] emitSignedDivRem(Value a,
                                Value b,
                                LIRFrameState state)

emitUnsignedDivRem

public Value[] emitUnsignedDivRem(Value a,
                                  Value b,
                                  LIRFrameState state)

emitDiv

public Value emitDiv(Value a,
                     Value b,
                     LIRFrameState state)

Specified by:

emitDiv in interface ArithmeticLIRGeneratorTool

emitRem

public Value emitRem(Value a,
                     Value b,
                     LIRFrameState state)

Specified by:

emitRem in interface ArithmeticLIRGeneratorTool

emitUDiv

public Variable emitUDiv(Value a,
                         Value b,
                         LIRFrameState state)

Specified by:

emitUDiv in interface ArithmeticLIRGeneratorTool

emitURem

public Variable emitURem(Value a,
                         Value b,
                         LIRFrameState state)

Specified by:

emitURem in interface ArithmeticLIRGeneratorTool

emitAnd

public Variable emitAnd(Value a,
                        Value b)

Specified by:

emitAnd in interface ArithmeticLIRGeneratorTool

emitOr

public Variable emitOr(Value a,
                       Value b)

Specified by:

emitOr in interface ArithmeticLIRGeneratorTool

emitXor

public Variable emitXor(Value a,
                        Value b)

Specified by:

emitXor in interface ArithmeticLIRGeneratorTool

emitXorFP

public Value emitXorFP(Value a,
                       Value b)

Specified by:

emitXorFP in interface ArithmeticLIRGeneratorTool

emitShiftConst

public Variable emitShiftConst(AMD64Assembler.AMD64Shift op,
                               AMD64BaseAssembler.OperandSize size,
                               Value a,
                               JavaConstant b)

emitShl

public Variable emitShl(Value a,
                        Value b)

Specified by:

emitShl in interface ArithmeticLIRGeneratorTool

emitShr

public Variable emitShr(Value a,
                        Value b)

Specified by:

emitShr in interface ArithmeticLIRGeneratorTool

emitUShr

public Variable emitUShr(Value a,
                         Value b)

Specified by:

emitUShr in interface ArithmeticLIRGeneratorTool

emitRol

public Variable emitRol(Value a,
                        Value b)

emitRor

public Variable emitRor(Value a,
                        Value b)

Overrides:

emitRor in class ArithmeticLIRGenerator

emitReinterpret

public Value emitReinterpret(LIRKind to,
                             Value inputVal)

Specified by:

emitReinterpret in interface ArithmeticLIRGeneratorTool

emitFloatConvert

public Value emitFloatConvert(FloatConvert op,
                              Value input)

Specified by:

emitFloatConvert in interface ArithmeticLIRGeneratorTool

emitNarrow

public Value emitNarrow(Value inputVal,
                        int bits)

Specified by:

emitNarrow in interface ArithmeticLIRGeneratorTool

emitSignExtend

public Value emitSignExtend(Value inputVal,
                            int fromBits,
                            int toBits)

Specified by:

emitSignExtend in interface ArithmeticLIRGeneratorTool

emitZeroExtend

public Value emitZeroExtend(Value inputVal,
                            int fromBits,
                            int toBits)

Specified by:

emitZeroExtend in interface ArithmeticLIRGeneratorTool

emitBitCount

public Variable emitBitCount(Value value)

Specified by:

emitBitCount in interface ArithmeticLIRGeneratorTool

emitBitScanForward

public Variable emitBitScanForward(Value value)

Specified by:

emitBitScanForward in interface ArithmeticLIRGeneratorTool

emitBitScanReverse

public Variable emitBitScanReverse(Value value)

Specified by:

emitBitScanReverse in interface ArithmeticLIRGeneratorTool

emitFusedMultiplyAdd

public Variable emitFusedMultiplyAdd(Value a,
                                     Value b,
                                     Value c)

Specified by:

emitFusedMultiplyAdd in interface ArithmeticLIRGeneratorTool

emitCountLeadingZeros

public Value emitCountLeadingZeros(Value value)

Specified by:

emitCountLeadingZeros in interface ArithmeticLIRGeneratorTool

emitCountTrailingZeros

public Value emitCountTrailingZeros(Value value)

Specified by:

emitCountTrailingZeros in interface ArithmeticLIRGeneratorTool

emitLogicalAndNot

public Value emitLogicalAndNot(Value value1,
                               Value value2)

Specified by:

emitLogicalAndNot in interface AMD64ArithmeticLIRGeneratorTool

emitLowestSetIsolatedBit

public Value emitLowestSetIsolatedBit(Value value)

Specified by:

emitLowestSetIsolatedBit in interface AMD64ArithmeticLIRGeneratorTool

emitGetMaskUpToLowestSetBit

public Value emitGetMaskUpToLowestSetBit(Value value)

Specified by:

emitGetMaskUpToLowestSetBit in interface AMD64ArithmeticLIRGeneratorTool

emitResetLowestSetBit

public Value emitResetLowestSetBit(Value value)

Specified by:

emitResetLowestSetBit in interface AMD64ArithmeticLIRGeneratorTool

emitMathAbs

public Value emitMathAbs(Value input)

Specified by:

emitMathAbs in interface ArithmeticLIRGeneratorTool

emitMathSqrt

public Value emitMathSqrt(Value input)

Specified by:

emitMathSqrt in interface ArithmeticLIRGeneratorTool

emitMathLog

public Value emitMathLog(Value input,
                         boolean base10)

Specified by:

emitMathLog in interface ArithmeticLIRGeneratorTool

emitMathCos

public Value emitMathCos(Value input)

Specified by:

emitMathCos in interface ArithmeticLIRGeneratorTool

emitMathSin

public Value emitMathSin(Value input)

Specified by:

emitMathSin in interface ArithmeticLIRGeneratorTool

emitMathTan

public Value emitMathTan(Value input)

Specified by:

emitMathTan in interface ArithmeticLIRGeneratorTool

emitMathExp

public Value emitMathExp(Value input)

Specified by:

emitMathExp in interface ArithmeticLIRGeneratorTool

emitMathPow

public Value emitMathPow(Value x,
                         Value y)

Specified by:

emitMathPow in interface ArithmeticLIRGeneratorTool

emitMathSignum

public Value emitMathSignum(Value input)

Specified by:

emitMathSignum in interface ArithmeticLIRGeneratorTool

emitMathCopySign

public Value emitMathCopySign(Value magnitude,
                              Value sign)

Specified by:

emitMathCopySign in interface ArithmeticLIRGeneratorTool

getAMD64LIRGen

protected AMD64LIRGenerator getAMD64LIRGen()

emitLoad

public Variable emitLoad(LIRKind kind,
                         Value address,
                         LIRFrameState state)

Specified by:

emitLoad in interface ArithmeticLIRGeneratorTool

emitOrderedLoad

public Variable emitOrderedLoad(LIRKind kind,
                                Value address,
                                LIRFrameState state,
                                MemoryOrderMode memoryOrder)

Specified by:

emitOrderedLoad in interface ArithmeticLIRGeneratorTool

emitOrderedStore

public void emitOrderedStore(<any> kind,
                             Value address,
                             Value input,
                             LIRFrameState state,
                             MemoryOrderMode memoryOrder)

Specified by:

emitOrderedStore in interface ArithmeticLIRGeneratorTool

emitStoreConst

protected void emitStoreConst(AMD64Kind kind,
                              AMD64AddressValue address,
                              ConstantValue value,
                              LIRFrameState state)

emitStore

protected void emitStore(AMD64Kind kind,
                         AMD64AddressValue address,
                         AllocatableValue value,
                         LIRFrameState state)

Specified by:

emitStore in interface ArithmeticLIRGeneratorTool

emitStore

public void emitStore(<any> lirKind,
                      Value address,
                      Value input,
                      LIRFrameState state)

Specified by:

emitStore in interface ArithmeticLIRGeneratorTool

mustReplaceNullWithNullRegister

public boolean mustReplaceNullWithNullRegister(Constant nullConstant)

getNullRegisterValue

public AllocatableValue getNullRegisterValue()

emitCompareOp

public void emitCompareOp(AMD64Kind cmpKind,
                          AllocatableValue left,
                          Value right)

Specified by:

emitCompareOp in interface AMD64ArithmeticLIRGeneratorTool

emitRound

public Value emitRound(Value value,
                       ArithmeticLIRGeneratorTool.RoundingMode mode)

Specified by:

emitRound in interface ArithmeticLIRGeneratorTool

emitRoundFloatToInteger

public Value emitRoundFloatToInteger(Value value)

Specified by:

emitRoundFloatToInteger in interface ArithmeticLIRGeneratorTool

supportAVX

public boolean supportAVX()

emitBinary

protected Variable emitBinary(LIRKind resultKind,
                              AMD64Assembler.VexRVMOp op,
                              Value a,
                              Value b)

emitVectorBlend

protected Variable emitVectorBlend(Value zeroValue,
                                   Value oneValue,
                                   Value mask)

emitMathMax

public Value emitMathMax(Value x,
                         Value y)

Specified by:

emitMathMax in interface ArithmeticLIRGeneratorTool

emitMathMin

public Value emitMathMin(Value x,
                         Value y)

Specified by:

emitMathMin in interface ArithmeticLIRGeneratorTool

emitMathMinMax

protected Value emitMathMinMax(Value a,
                               Value b,
                               AMD64ArithmeticLIRGenerator.AMD64MathMinMaxFloatOp minmaxop)

Emits code for a branchless floating-point Math.min/Math.max operation. Requires AVX. Supports (scalarReg, scalarReg) and (scalarReg, scalarConst) operands.

See Also:

Math.max(double, double), Math.max(float, float), Math.min(double, double), Math.min(float, float)

emitVectorFloatCompare

protected AllocatableValue emitVectorFloatCompare(AllocatableValue a,
                                                  AllocatableValue b,
                                                  AMD64Assembler.VexFloatCompareOp.Predicate predicate)