From 850e295a962c53c19c72ebeb1817ff28c47fdde0 Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Tue, 25 Nov 2014 17:46:21 +0000 Subject: [PATCH] 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-0dff7051ff02 --- asmcomp/intel_ast.mli | 18 ++++++++---------- asmcomp/intel_dsl.ml | 5 +++-- asmcomp/intel_dsl.mli | 2 +- asmcomp/intel_gas.ml | 6 +++--- asmcomp/intel_gas.mli | 2 +- asmcomp/intel_masm.ml | 2 +- asmcomp/intel_masm.mli | 3 +-- asmcomp/intel_proc.ml | 2 +- asmcomp/intel_proc.mli | 2 +- 9 files changed, 20 insertions(+), 22 deletions(-) diff --git a/asmcomp/intel_ast.mli b/asmcomp/intel_ast.mli index 8a6534959..66dac9681 100644 --- a/asmcomp/intel_ast.mli +++ b/asmcomp/intel_ast.mli @@ -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 diff --git a/asmcomp/intel_dsl.ml b/asmcomp/intel_dsl.ml index 54b79b1a6..e982e53ff 100644 --- a/asmcomp/intel_dsl.ml +++ b/asmcomp/intel_dsl.ml @@ -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 diff --git a/asmcomp/intel_dsl.mli b/asmcomp/intel_dsl.mli index 37ef0e5d0..100f6fc14 100644 --- a/asmcomp/intel_dsl.mli +++ b/asmcomp/intel_dsl.mli @@ -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. *) (* *) diff --git a/asmcomp/intel_gas.ml b/asmcomp/intel_gas.ml index c49e35d4b..77595184f 100644 --- a/asmcomp/intel_gas.ml +++ b/asmcomp/intel_gas.ml @@ -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: diff --git a/asmcomp/intel_gas.mli b/asmcomp/intel_gas.mli index 3fccb9ea1..689baf105 100644 --- a/asmcomp/intel_gas.mli +++ b/asmcomp/intel_gas.mli @@ -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. *) (* *) diff --git a/asmcomp/intel_masm.ml b/asmcomp/intel_masm.ml index 0dfc1de4e..18ec37391 100644 --- a/asmcomp/intel_masm.ml +++ b/asmcomp/intel_masm.ml @@ -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. *) (* *) diff --git a/asmcomp/intel_masm.mli b/asmcomp/intel_masm.mli index c1ab152f5..05c9cc477 100644 --- a/asmcomp/intel_masm.mli +++ b/asmcomp/intel_masm.mli @@ -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 - diff --git a/asmcomp/intel_proc.ml b/asmcomp/intel_proc.ml index ab2538e3d..d1f0af410 100644 --- a/asmcomp/intel_proc.ml +++ b/asmcomp/intel_proc.ml @@ -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. *) (* *) diff --git a/asmcomp/intel_proc.mli b/asmcomp/intel_proc.mli index 546367b50..1056a09a0 100644 --- a/asmcomp/intel_proc.mli +++ b/asmcomp/intel_proc.mli @@ -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. *) (* *)