Question

  bne $2,$0,$L4  # 27 *branch_equalitydi  [length = 8]
  lw  $4,$LC0  # 29 *movsf_softfloat/2  [length = 24]
  move  $5,$0  # 30 *movsf_softfloat/1  [length = 4]
  jal __divsf3   # 31 call_value_internal/2 [length = 8]

我所理解的是它的以下模式：

opcode $dest, $src1, $src2 # insn_uid * md-pattern/XX  [length = XX]

我不明白的是模式中的XX部分。有人可以对此有所了解吗？

Answer 1

使用来源，卢克！ gcc源代码中的相关部分是：

  if (insn_data[num].n_alternatives > 1)
    fprintf (asm_out_file, "/%d", which_alternative + 1);

指令模板可以为各种情况提供多种选择，这个数字告诉您使用了哪一种。我们来看看movsf_softfloat的定义：

(define_insn "*movsf_softfloat"
  [(set (match_operand:SF 0 "nonimmediate_operand" "=d,d,m")
        (match_operand:SF 1 "move_operand" "Gd,m,d"))]

如您所见，它提供了3种选择。 lw $4,$LC0是从内存转移到由第二组约束（d和m）描述的寄存器。 move $5,$0是一个注册到注册的移动，由第一个选项（d和Gd）描述。还有第三种选择，即从寄存器到存储器的移动。这也由move_type属性指示，该属性设置为：set_attr "move_type" "move,load,store"。

如何读取由gcc'-dap -S'生成的mips程序集

1 个答案: