Skip to content
Commit 5d3930bb authored by Simon Pilgrim's avatar Simon Pilgrim
Browse files

[DAG] visitTRUNCATE - attempt to truncate USUBSAT 

Fold trunc(usubsat(zext(x),y)) -> usubsat(x,trunc(umin(y,satlimit)))
parent 62f5c46e
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