summaryrefslogtreecommitdiffstats
path: root/asmcomp
AgeCommit message (Collapse)Author
2014-09-26Rename NO -> NONE.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Remove warning attributes.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26More explicit datatype checks.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Adding in mli file for Intel_dsl.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Clarify the fsub/fsubr bug in AT\&T syntax.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Comments, cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Document that X-only directives can only be used with the X-emitter.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Remove aliases for conditions.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Fix constructor name to match exatcly Intel mnemonics.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Fix syntax for comments in gas (not currently used, but useful to mark parts ↵Alain Frisch
of the generated output). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Cosmetic, bringing i386 and amd64 versions of emit.mlp closer to each other.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23displ can be represented as an int.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Optim.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Fix (dlcode is modified later).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Use more format strings.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Textual emitters are responsible for emitting the whole file.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cosmetic.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Flattenize addre further.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Represent the current location explicitly, not through gas encoding (special ↵Alain Frisch
dot symbol). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Get rid of data_size, specialize the Constant directive.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Do not keep data_size with integer constants.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Do not keep explicit datasize with immediate integer operands. Special ↵Alain Frisch
support for movabsq. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Factorize emission of addressing modes for masm.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Fix and cleanup masm emitter.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Represent symbol addresses in a uniform way in the AST. The instruction ↵Alain Frisch
emitter decides the interpret them as absolute or relative addresses. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Simplify.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Split immediate symbol and immediate constant cases.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Turn addr into a record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Simplify addressing.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-22Flattenize Mem operand.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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