intel_*: change copyright dates and some cosmetic changes
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
0af5541604
commit
850e295a96
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
@ -13,16 +13,14 @@
|
|||
(** Structured representation of Intel assembly language (32 and 64 bit). *)
|
||||
|
||||
type condition =
|
||||
| O | NO
|
||||
| B
|
||||
| AE
|
||||
| E
|
||||
| NE
|
||||
| BE | A
|
||||
| S | NS
|
||||
| P | NP
|
||||
| L | GE
|
||||
| L | GE (* signed comparisons: less/greater *)
|
||||
| LE | G
|
||||
| B | AE (* unsigned comparisons: below/above *)
|
||||
| BE | A
|
||||
| E | NE (* equal *)
|
||||
| O | NO (* overflow *)
|
||||
| S | NS (* sign *)
|
||||
| P | NP (* parity *)
|
||||
|
||||
type rounding =
|
||||
| RoundUp
|
||||
|
|
|
@ -18,8 +18,9 @@
|
|||
|
||||
Some notes:
|
||||
|
||||
- Unary floating point instructions such as fadd/fmul/fstp/fld/etc come with a single version
|
||||
supporting both the single and double precision instructions. (As with Intel syntax.)
|
||||
- Unary floating point instructions such as fadd/fmul/fstp/fld/etc.
|
||||
come with a single version supporting both the single and double
|
||||
precision instructions. (As with Intel syntax.)
|
||||
|
||||
- A legacy bug in GAS:
|
||||
https://sourceware.org/binutils/docs-2.22/as/i386_002dBugs.html#i386_002dBugs
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
@ -209,11 +209,11 @@ let print_instr b = function
|
|||
|
||||
(* bug:
|
||||
https://sourceware.org/binutils/docs-2.22/as/i386_002dBugs.html#i386_002dBugs
|
||||
|
||||
|
||||
The AT&T syntax has a bug for fsub/fdiv/fsubr/fdivr instructions when
|
||||
the source register is %st and the destination is %st(i). In those
|
||||
case, AT&T use fsub (resp. fsubr) in place of fsubr (resp. fsub),
|
||||
and idem form fdiv/fdivr.
|
||||
and idem for fdiv/fdivr.
|
||||
|
||||
Concretely, AT&T syntax interpretation of:
|
||||
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
@ -13,4 +13,3 @@
|
|||
(** Emit assembly instructions for MASM (Intel syntax). *)
|
||||
|
||||
val generate_asm: out_channel -> Intel_ast.asm_line list -> unit
|
||||
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
|
|
@ -4,7 +4,7 @@
|
|||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
|
|
Loading…
Reference in New Issue