HomeIsabelle/Phabricator
Diffusion Poly/ML bfa7c27c94c0

Implement the bit scan instructions used for log2 in ARM64.
bfa7c27c94c0
Actions

Description

Implement the bit scan instructions used for log2 in ARM64.

Details

Provenance
dcjmAuthored on Nov 7 2023, 5:23 PM
Parents
rPOLYMLb8547de6b62d: Only handle OR and AND specially when both arguments are short. The original…
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize
mlsource/
MLCompiler/
CodeTree/
Arm64Code/

rPOLYMLbfa7c27c94c0

View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ASSEMBLY.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64ICODE.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/ARM64PREASSEMBLY.sig

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64AllocateRegisters.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64Assembly.sml

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64CodetreeToICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICode.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64ICodeToArm64Code.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64IdentifyReferences.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64PreAssembly.ML

Loading...
View Options

mlsource/MLCompiler/CodeTree/Arm64Code/Arm64PushRegisters.ML

Loading...