Add more tests for r179925 to verify correct handling of signext/zeroext; strengthen...