HomeIsabelle/Phabricator
Diffusion Poly/ML 889f7c37bc8f

Fix bug with Word.andb(0w0, x). It was wrongly returning "x" rather than zero.
889f7c37bc8fUnpublished
Actions

Unpublished Commit ยท Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Fix bug with Word.andb(0w0, x). It was wrongly returning "x" rather than zero.

Details

Provenance
dcjmAuthored on Mar 29 2019, 3:01 PM
Parents
rPOLYML195a36f7a587: Fix PolySetCodeConstant for big-endian.
Branches
Unknown
Tags
Unknown

Changes (1)

PathSize
mlsource/
MLCompiler/
CodeTree/

rPOLYML889f7c37bc8f

View Options

mlsource/MLCompiler/CodeTree/CODETREE_SIMPLIFIER.sml

Loading...