x86有没有这样的指令？

albcamus

满足这3个条件：

1， 两个操作数， 一个是寄存器， 一个是内存；
2， 指令的结果写到固定的寄存器， 而且不是输入操作数；
3， 该指令的两个操作数，语义上是可以交换的（例如 a＋b和b＋a）

谢谢

cjaizss

乘法有点像,但指令不是两个操作数,乘项的寄存器是固定的

albcamus

i386.md里有这样的指令定义：
(define_insn "addhi3_carry"
  [(set (match_operand:HI 0 "nonimmediate_operand" "=rm,r")
          (plus:HI (plus:HI (match_operand:HI 3 "ix86_carry_flag_operator" "")
                            (match_operand:HI 1 "nonimmediate_operand" "%0,0"))
                   (match_operand:HI 2 "general_operand" "ri,rm")))
   (clobber (reg:CC FLAGS_REG))]
  "ix86_binary_operator_ok (PLUS, HImode, operands)"
  "adc{w}\t{%2, %0|%0, %2}"
  [(set_attr "type" "alu")
   (set_attr "pent_pair" "pu")
   (set_attr "mode" "HI")])

(

我想知道， 在我们写汇编代码时，如何能使gcc使用这个定义？ 现在想做个实验，真是太困难了：

就是让gcc智能的判断， 加法（乘法）等符合交换律的指令， 我不介意结果写到哪里， 但是如果它发现交换两个操作数会更高效，那么就交换一下。

cwqing1973

可能没有，如果同时满足的话，可能没有。

beepbug

过去的CPU指令系统有。如早期的IBM的CPU，很典型的CISC。
MPU出现后，指令中的寻址方式安排形成一个惯例：如果有两个源操作数，则其中一个与目的操作数合二为一。按这种设计，楼主的要求没法满足。

albcamus

那gcc里的addhi3指令， 是在什么场合下使用的？ 我都不知道向谁请教这x86 backend的问题了， 到新闻组问， 回答言简意赅， 看不懂！

beepbug

原帖由 albcamus 于 2009-2-18 10:42 发表
那gcc里的addhi3指令， 是在什么场合下使用的？ 我都不知道向谁请教这x86 backend的问题了， 到新闻组问， 回答言简意赅， 看不懂！

gcc里的addhi3指令？你说的到底是编译器里的伪指令、宏指令，还是CPU的机器指令？

albcamus

原帖由 beepbug 于 2009-2-18 16:05 发表

gcc里的addhi3指令？你说的到底是编译器里的伪指令、宏指令，还是CPU的机器指令？

编译器里的定义。 何种场合下， gcc会用上这个定义？

prolj

(define_insn "addhi3_carry" 我可以确定的这个 rtl 绝对不是 GCC 内部使用的，一定是对应 汇编指令 的一个 rtl ，因为这是 define_insn 而不是 define_expand 。至于意思就不清楚了。这个 carry 不知道有什么意思在里面。
顺便请教lz，知道[(set (match_operand:HI 0 "nonimmediate_operand" "=rm,r") 中的 "=rm,r" 定义在哪里么？ (match_operand:HI 1 "nonimmediate_operand" "%0,0")) 中的"%0,0"又是什么意思？谢谢。

albcamus

原帖由 prolj 于 2009-2-19 12:59 发表 [url=http://linux.chinaunix.net/bbs/redirect.php?goto=findpost&pid=6902400&



(define_insn "addhi3_carry" 我可以确定的这个 rtl 绝对不是 GCC 内部使用的，一定是对应 汇编指令 的一个 rtl ，因为这是 define_insn 而不是 define_expand 。至于意思就不清楚了。这个 carry 不知道有什么意思在里面。
顺便请教lz，知道[(set (match_operand:HI 0 "nonimmediate_operand" "=rm,r") 中的 "=rm,r" 定义在哪里么？ (match_operand:HI 1 "nonimmediate_operand" "%0,0")) 中的"%0,0"又是什么意思？谢谢。

仔细看了一下， 果然是对应adc{w}指令的。 carry指的是把eflags寄存器里的CF标志也加上。

后面的不怎么清楚，猜测“rm“是可以为寄存器也可以为内存地址， 这就是目的operand。 而HI表示byte-addressable 寄存器的[8:15]比特，例如ah、bh寄存器。  gcc为adcl定义的则是addsi， SI指SINGLE INTEGER， 完整的32bit。 这条指令定义中有3个操作数， %0, %1, %2， 其中%0和%1必须是同一个，我是这么猜测的。 FIXME。


PS， 您有时间帮我看看DJ大牛的回答吗？ 我水平太差了，还是没看懂（尤其最后一封mail）：

http://groups.google.com/group/c ... 5015e247271c5?pli=1