On 05/06/2017 04:14 AM, Aurelien Jarno wrote:
+ tcg_gen_extrl_i64_i32(cpu_fregs[reg + 1], t); + tcg_gen_extrh_i64_i32(cpu_fregs[reg], t);
This is tcg_gen_extr_i64_i32(cpu_fregs[reg + 1], cpu_fregs[reg], t); Otherwise, Reviewed-by: Richard Henderson <r...@twiddle.net> r~
