Skip to content

[Support] Add KnownBits::computeForSubBorrow #65893

@RKSimon

Description

@RKSimon

Add the sibling to KnownBits::computeForAddCarry:

  • Actual KnownBits implementation is a wrapper to the internal computeForAddCarry, similar to KnownBits::computeForAddCarry, with minor bit twiddling/swapping.
  • Add a SubBorrowExhaustive unit test to KnownBitsTest.cpp
  • Hook up the USUBO/SSUBO/USUBO_CARRY/SSUBO_CARRY/SUBC cases in SelectionDAG::computeKnownBits to make use of it (similar to the ADD variants already do), with suitable testing.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions