Changeset 7906

Timestamp:

Dec 13, 2007, 11:59:13 AM (17 years ago)

Author:

R. Matthew Emerson

Message:

Add cmovc/cmovnc/cmovz/cmovnz/jc/jnc opcodes (which are the same thing
as cmovb/cmovae/cmove/cmovne/jb/jnb, but more perspicuous in some
circumstances).

File:

• branches/ia32/compiler/X86/x86-asm.lisp (modified) (6 diffs)

branches/ia32/compiler/X86/x86-asm.lisp

@@ -998 +998 @@
      #x0f42 #o000 #x00 #x66)
 
+   (def-x86-opcode (cmovcq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
+     #x0f42 #o300 #x48)
+   (def-x86-opcode (cmovcq :cpu64) ((:anymem :insert-memory) (:reg64 :insert-modrm-reg))
+     #x0f42 #o000 #x48)
+   (def-x86-opcode cmovcl ((:reg32 :insert-modrm-rm) (:reg32 :insert-modrm-reg))
+     #x0f42 #o300 #x00)
+   (def-x86-opcode cmovcl ((:anymem :insert-memory) (:reg32 :insert-modrm-reg))
+     #x0f42 #o000 #x00)
+   (def-x86-opcode cmovcw ((:reg16 :insert-modrm-rm) (:reg16 :insert-modrm-reg))
+     #x0f42 #o300 #x00 #x66)
+   (def-x86-opcode cmovcw ((:anymem :insert-memory) (:reg16 :insert-modrm-reg))
+     #x0f42 #o000 #x00 #x66)
+
    (def-x86-opcode (cmovaeq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
      #x0f43 #o300 #x48)
@@ -1011 +1024 @@
      #x0f43 #o000 #x00 #x66)
 
+   (def-x86-opcode (cmovncq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
+     #x0f43 #o300 #x48)
+   (def-x86-opcode (cmovncq :cpu64) ((:anymem :insert-memory) (:reg64 :insert-modrm-reg))
+     #x0f43 #o000 #x48)
+   (def-x86-opcode cmovncl ((:reg32 :insert-modrm-rm) (:reg32 :insert-modrm-reg))
+     #x0f43 #o300 #x00)
+   (def-x86-opcode cmovncl ((:anymem :insert-memory) (:reg32 :insert-modrm-reg))
+     #x0f43 #o000 #x00)
+   (def-x86-opcode cmovncw ((:reg16 :insert-modrm-rm) (:reg16 :insert-modrm-reg))
+     #x0f43 #o300 #x00 #x66)
+   (def-x86-opcode cmovncw ((:anymem :insert-memory) (:reg16 :insert-modrm-reg))
+     #x0f43 #o000 #x00 #x66)
+
    (def-x86-opcode (cmoveq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
      #x0f44 #o300 #x48)
@@ -1024 +1050 @@
      #x0f44 #o000 #x00 #x66)
 
+   (def-x86-opcode (cmovzq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
+     #x0f44 #o300 #x48)
+   (def-x86-opcode (cmovzq :cpu64) ((:anymem :insert-memory) (:reg64 :insert-modrm-reg))
+     #x0f44 #o000 #x48)
+   (def-x86-opcode cmovzl ((:reg32 :insert-modrm-rm) (:reg32 :insert-modrm-reg))
+     #x0f44 #o300 #x00)
+   (def-x86-opcode cmovzl ((:anymem :insert-memory) (:reg32 :insert-modrm-reg))
+     #x0f44 #o000 #x00)
+   (def-x86-opcode cmovzw ((:reg16 :insert-modrm-rm) (:reg16 :insert-modrm-reg))
+     #x0f44 #o300 #x00 #x66)
+   (def-x86-opcode cmovzw ((:anymem :insert-memory) (:reg16 :insert-modrm-reg))
+     #x0f44 #o000 #x00 #x66)
+
    (def-x86-opcode (cmovneq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
      #x0f45 #o300 #x48)
@@ -1035 +1074 @@
      #x0f45 #o300 #x00 #x66)
    (def-x86-opcode cmovnew ((:anymem :insert-memory) (:reg16 :insert-modrm-reg))
+     #x0f45 #o000 #x00 #x66)
+
+   (def-x86-opcode (cmovnzq :cpu64) ((:reg64 :insert-modrm-rm) (:reg64 :insert-modrm-reg))
+     #x0f45 #o300 #x48)
+   (def-x86-opcode (cmovnzq :cpu64) ((:anymem :insert-memory) (:reg64 :insert-modrm-reg))
+     #x0f45 #o000 #x48)
+   (def-x86-opcode cmovnzl ((:reg32 :insert-modrm-rm) (:reg32 :insert-modrm-reg))
+     #x0f45 #o300 #x00)
+   (def-x86-opcode cmovnzl ((:anymem :insert-memory) (:reg32 :insert-modrm-reg))
+     #x0f45 #o000 #x00)
+   (def-x86-opcode cmovnzw ((:reg16 :insert-modrm-rm) (:reg16 :insert-modrm-reg))
+     #x0f45 #o300 #x00 #x66)
+   (def-x86-opcode cmovnzw ((:anymem :insert-memory) (:reg16 :insert-modrm-reg))
      #x0f45 #o000 #x00 #x66)
 
@@ -1541 +1593 @@
    (def-x86-opcode (jb.pn :jump) ((:label :insert-label))
      #x72 nil nil #x2e)
+   (def-x86-opcode (jc :jump) ((:label :insert-label))
+     #x72 nil nil)
+   (def-x86-opcode (jc.pt :jump) ((:label :insert-label))
+     #x72 nil nil #x3e)
+   (def-x86-opcode (jc.pn :jump) ((:label :insert-label))
+     #x72 nil nil #x2e)
    (def-x86-opcode (jae :jump) ((:label :insert-label))
      #x73 nil nil)
@@ -1546 +1604 @@
      #x73 nil nil #x3e)
    (def-x86-opcode (jae.pn :jump) ((:label :insert-label))
+     #x73 nil nil #x2e)
+   (def-x86-opcode (jnc :jump) ((:label :insert-label))
+     #x73 nil nil)
+   (def-x86-opcode (jnc.pt :jump) ((:label :insert-label))
+     #x73 nil nil #x3e)
+   (def-x86-opcode (jnc.pn :jump) ((:label :insert-label))
      #x73 nil nil #x2e)
    (def-x86-opcode (je :jump) ((:label :insert-label))