Fix bug in testMulImm32SignExtend