legalize bitcast of i64