Skip to content

Added derivation for floordiv/floormod in terms of truncdiv/trundmod

c392b3e
Select commit
Loading
Failed to load commit list.
Merged

[Arith] Use ConstIntBound to remove negative numerator when lowering #13724

Added derivation for floordiv/floormod in terms of truncdiv/trundmod
c392b3e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs