Strange code generation on alpha

[hjl at lucon dot org (H.J. Lu)]

Here is the part of a jump2 rtl dump on alpha:

(insn:QI 72 382 73 (set (mem:DI (plus:DI (reg:DI 30 $30)
                (const_int 120)))
        (reg:SI 1 $1)) 244 {movdf+1} (nil)
    (expr_list:REG_DEAD (reg:SI 1 $1)
        (nil)))

The matching md is

(define_expand "movdf"
  [(set (match_operand:DF 0 "nonimmediate_operand" "")
	(match_operand:DF 1 "general_operand" ""))]
  ""
  "
{
  if (GET_CODE (operands[0]) == MEM
      && ! reg_or_fp0_operand (operands[1], DFmode))
    operands[1] = force_reg (DFmode, operands[1]);
}")

(define_insn ""
  [(set (match_operand:SI 0 "nonimmediate_operand" "=r,r,r,r,r,r,m,f,f,f,m")
	(match_operand:SI 1 "input_operand" "r,J,I,K,L,m,rJ,f,J,m,fG"))]
  "! TARGET_WINDOWS_NT && ! TARGET_OPEN_VMS
   && (register_operand (operands[0], SImode)
       || reg_or_0_operand (operands[1], SImode))"
  "@
   bis %1,%1,%0
   bis $31,$31,%0
   bis $31,%1,%0
   lda %0,%1
   ldah %0,%h1
   ldl %0,%1
   stl %r1,%0
   cpys %1,%1,%0
   cpys $f31,$f31,%0
   lds %0,%1
   sts %R1,%0"
  [(set_attr "type" "ilog,ilog,ilog,iadd,iadd,ld,st,fcpys,fcpys,ld,st")])

It generates:

	        stl $1,120($30)

But it leavs the upper part of the 64 bit integer unchanged. That
code is not correct.


H.J.