summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-09-30Uniformize.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Get rid of warning attribute.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Inline inner DSL module.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Get rid of End directive (hard-code in masm backend).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30ascii -> bytesAlain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30llabel -> labelAlain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Adapt 32-bit backend as well.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Move directive emitters into a sub-module (64-bit).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Merge DSL32 and DSL64.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Getting rid of instruction suffixes. Finish, merge INS, INS32, INS64, get ↵Alain Frisch
rid of duplicates. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Getting rid of instruction suffixes: step 3, using pure Intel mnemonics for ↵Alain Frisch
the 32-bit backend. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Sort.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Getting rid of instruction suffixes: step 2, using pure Intel mnemonics for ↵Alain Frisch
the 64-bit backend. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Getting rid of instruction suffixes: step 1, get rid of internal checks.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Bootstrap.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Get rif of multiple exceptions with the same name in the same module.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Do not resolve Tpackage path with find_type (to be checked).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Print inlined record type with a bang.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Reduce diff with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30No need to track extension path in record_representation, infer it from the ↵Alain Frisch
result type of the label. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Re-enable rebinding of extension constructors with inlined records.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Support for inlined records in extension constructors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-30Towards sugar-less encoding of constructor types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Towards getting rid of the internal syntactic sugar.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Yet another branch for inlined records, trying to get rid of the internal ↵Alain Frisch
syntactic sugar. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Immediate are not explicitly typed in Intel_ast. Use the unsuffixed form ↵Alain Frisch
e.g. for 'push imm'. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Avoid duplication in register names.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-29Get rid of RIP register, introduce a specific operand for rip-based addressing.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26PR#4099: Bug in Makefile.nt: won't stop on errorDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Get rid of type-qualifed constructor paths for extensible types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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-26Disallow multiple declaration of extension constructors with the same name ↵Alain Frisch
in the same module. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Merge with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Fix merge problem.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26testsuite: add empty file to prevent svn merge from adding incompatible ↵Damien Doligez
tests automatically git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15345 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-16 15:38:44 +0000