We could alias a int32 ArgumentReg with a int64 ArgumentReg if they are the same reg. Then they would get incorrectly treated the same. For int32 argument values, we need to use Trunc(ArgumentReg).