summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-09-19Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-19Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-19Improve emission of address operands (gas syntax).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Simplify.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Simplify.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Avoid most string concatenations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-18Simplify.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17RxD 32-bit registers.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17More direct emission of instructions.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Fix discrepency with trunk's emit.mlp.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Drop instruction suffix for some unary x87 instructions; switch from 'force' ↵Alain Frisch
to 'check' terminology; define a proper type for 32-bit x86 registers. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Do not keep the prehistoric gas bug on fsub/fsubrp/fdiv/fdivrp in the DSL. ↵Alain Frisch
Manage it purely in Intel_gas. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cleanup. The align directive in the AST is normalized to the usual ↵Alain Frisch
semantics. The different treatment for OSX is located in Intel_gas. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Cleanup addressing.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Simplify ConstLabel (remove reloc_table, never used, not supported with ↵Alain Frisch
MASM), remove ConstFloat (not used). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-17Do not refer explictly to the Mem constructor in amd64/emit.mlp.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-16Towards more explicit types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-16Always be explicit about fxch's argument.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-16Comment.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-16Make datatype more explicit.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Simplify.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Get rid of instruction name for error message (can be retrieved from ↵Alain Frisch
stacktrace if needed). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Cleanup unary float operators.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11minor update of comment in gc.mliMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11PR#6554: race condition in caml_get_raw_backtraceMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11Get rid of useless second argument to some instructions.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Improve load_symbol_addrAlain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Continue simplification.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-10Starting to simplify/clenaup emit.mlp.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02