fixed values, and added comments to make it clear how the shifting should work
added trunc() calls so comparisons with 0 and all-1s-value would work as intended.  This passes the shl_signed.ll test.