On 05/09/2017 06:09 PM, Richard Henderson wrote:
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);
nicer :)
Otherwise, Reviewed-by: Richard Henderson <r...@twiddle.net> r~
