769    IRTemp hi64 = newTemp(Ity_I64);  in breakV128to4xF64()  local
782    assign( hi64, unop(Iop_V128HIto64, t128) );  in breakV128to4xF64()
787                        unop( Iop_64HIto32, mkexpr( hi64 ) ) ) ) );  in breakV128to4xF64()
790                  unop( Iop_ReinterpI32asF32, unop( Iop_64to32, mkexpr( hi64 ) ) ) ) );  in breakV128to4xF64()
807    IRTemp hi64 = newTemp(Ity_I64);  in breakV128to4x64S()  local
820    assign( hi64, unop(Iop_V128HIto64, t128) );  in breakV128to4x64S()
822    assign( *t3, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(hi64))) );  in breakV128to4x64S()
823    assign( *t2, unop(Iop_32Sto64, unop(Iop_64to32,   mkexpr(hi64))) );  in breakV128to4x64S()
834    IRTemp hi64 = newTemp(Ity_I64);  in breakV128to4x64U()  local
847    assign( hi64, unop(Iop_V128HIto64, t128) );  in breakV128to4x64U()
849    assign( *t3, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(hi64))) );  in breakV128to4x64U()
850    assign( *t2, unop(Iop_32Uto64, unop(Iop_64to32,   mkexpr(hi64))) );  in breakV128to4x64U()
860    IRTemp hi64 = newTemp(Ity_I64);  in breakV128to4x32()  local
873    assign( hi64, unop(Iop_V128HIto64, t128) );  in breakV128to4x32()
875    assign( *t3, unop(Iop_64HIto32, mkexpr(hi64)) );  in breakV128to4x32()
876    assign( *t2, unop(Iop_64to32,   mkexpr(hi64)) );  in breakV128to4x32()
12838          IRTemp hi64 = newTemp(Ity_I64);  in dis_vx_conv()  local
12847          assign( hi64, unop(Iop_V128HIto64, mkexpr(tempResult)) );  in dis_vx_conv()
12849          assign( res3, unop(Iop_64HIto32, mkexpr(hi64)) );  in dis_vx_conv()
12850          assign( res2, unop(Iop_64to32,   mkexpr(hi64)) );  in dis_vx_conv()
15230             IRTemp hi64 = newTemp(Ity_I64);  in dis_vxs_misc()  local
15232             assign( hi64, unop( Iop_V128HIto64, mkexpr(vB) ) );  in dis_vxs_misc()
15235                                    binop( Iop_And64, mkexpr(hi64),  in dis_vxs_misc()
15723       IRTemp hi64 = newTemp( Ity_I64 );  in dis_vx_store()  local
15730       assign( hi64, unop( Iop_V128HIto64, mkexpr( vS ) ) );  in dis_vx_store()
15732       store( mkexpr( EA ), unop( Iop_64HIto32, mkexpr( hi64 ) ) );  in dis_vx_store()
15736       store( irx_addr, unop( Iop_64to32, mkexpr( hi64 ) ) );  in dis_vx_store()