be more careful about sext/zext of i32 to i64, the input element may be modified, so copy it