DCE pass removes assigns.
Simplification pass handles redundant truncate/extend & extend/truncate.