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

good first issuehttps://github.com/llvm/llvm-project/contributellvm:support

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions