anchor.diff:  -endif.
   
   %%% mov{s,z}x
  -resolve_movx_args(Src=#x86_mem{type=Type}, Dst=#x86_temp{}) ->
  -  {temp_to_regArch(Dst),
  -   case Type of
  -     byte ->
  -       mem_to_rm8(Src);
  -     int16 ->
  -       mem_to_rm16(Src);
  -     int32 ->
  -       mem_to_rm32(Src)
  -   end}.
  +resolve_movx_src(Src=#x86_mem{type=Type}) ->
  +  case Type of
  +    byte ->
  +      mem_to_rm8(Src);
  +    int16 ->
  +      mem_to_rm16(Src);
  +    int32 ->
  +      mem_to_rm32(Src)
  +  end.
   
   %%% alu/cmp (_not_ test)
   resolve_alu_args(Src, Dst, Context) ->
  
positive.code: 
  translate_insn(I, Context, Options) ->
    case I of
      #alu{} ->
        Arg = resolve_alu_args(hipe_x86:alu_src(I), hipe_x86:alu_dst(I), Context),
        [{hipe_x86:alu_op(I), Arg, I}];
  
negative.code:     #move64{} ->
        translate_move64(I, Context);
      #movsx{} ->
        Src = resolve_movx_src(hipe_x86:movsx_src(I)),
        [{movsx, {temp_to_regArch(hipe_x86:movsx_dst(I)), Src}, I}];
      #movzx{} ->
        Src = resolve_movx_src(hipe_x86:movzx_src(I)),
        [{movzx, {temp_to_reg32(hipe_x86:movzx_dst(I)), Src}, I}];
      %% pseudo_call: eliminated before assembly
      %% pseudo_jcc: eliminated before assembly
      %% pseudo_tailcall: eliminated before assembly
  