anchor.diff:    R =
       case Opnd of
         #x86_mem{} -> true;
  -      #x86_temp{} -> 
  +      #x86_temp{type=double} ->
   	Reg = hipe_x86:temp_reg(Opnd),
   	case hipe_x86:temp_is_allocatable(Opnd) of
   	  true -> 
  
positive.code: %%% Fix an fmove op.
  do_fmove(I, TempMap) ->
    #fmove{src=Src,dst=Dst} = I,
    case is_mem_opnd(Dst, TempMap) and is_mem_opnd(Src, TempMap) of
      true ->
        Tmp = clone(Src),
        {[#fmove{src=Src, dst=Tmp},I#fmove{src=Tmp,dst=Dst}],
         true};
      false ->
        {[I], false}
    end.
  
  %%% Check if an operand denotes a memory cell (mem or pseudo).
  
  
negative.code:       #x86_mem{} -> hipe_x86:mem_type(Dst);
        #x86_temp{} -> hipe_x86:temp_type(Dst)
      end,
    spill_temp(Type).
  
  spill_temp(Type) ->
    hipe_x86:mk_new_temp(Type).
  
  %%% Make a certain reg into a clone of Dst
  