Skip to content
Unverified Commit 78bb06b1 authored by Florian Hahn's avatar Florian Hahn
Browse files

[ConstraintElim] Port `mul nuw` for unsigned to `mul nsw` to signed. 

Add handling for `mul nsw` for signed systems based on the logic for
`mul nuw` for unsigned.
parent af6d1385
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment