[DAG] visitTRUNCATE - attempt to truncate USUBSAT

Fold trunc(usubsat(zext(x),y)) -> usubsat(x,trunc(umin(y,satlimit)))

GitOrigin-RevId: 5d3930bb8feb2c0c6abc1a6ea73a8fbf00c8bfb9
2 files changed