summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
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-25Changelog for #6374.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-25Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-25Make it clear that type-qualified constructors are only allowed in bang types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-25Allow qualified reference to constructors (at least in bang-types). A ↵Alain Frisch
regular variant type supports qualified constructors of the form: M.t.X. An extensible variant type supports qualified constructors of the form: M.t.N.X. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15332 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-24Changelog.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24#6577: fix performance of %C format.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24#6577: fix performance of %S format.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-24#6577: fix performance of %L, %l, %n formats.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23Refer to the inlined record type as !M.Foo for a constructor M.Foo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-23#5904: improve support for ppx in the toplevel by allowing ppx processors to ↵Alain Frisch
keep information across calls (through the use of persistent cookies). Also change Ast_mapper.register so that the function that creates the mapper from arguments is executed once the context has been restored. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15314 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