I'd like to merge my "dmalcolm/jit" branch into trunk and I wanted to start a discussion here about what that would take (and maybe get some code reviewed). Attached is a (compressed) diff of the branch against trunk (as of r215090 on 2014-09-09, so a little out-of-date). As mentioned before, I'm using Sphinx for documentation (and also checking in autogenerated .texinfo for those who want docs without a sphinx toolchain installed). Prebuilt HTML documentation (via Sphinx) can be seen at: https://dmalcolm.fedorapeople.org/gcc/libgccjit-api-docs/index.html The API docs currently have this caveat: "Note that libgccjit is currently of "Alpha" quality; the APIs are not yet set in stone, and they shouldn’t be used in production yet." Do I need to declare a frozen API before this can go in, or is it acceptable to carry this within the tree as an "experimental" feature? Bootstrapped®rtested on x86_64-unknown-linux-gnu (Fedora 20). No differences found in 16 common .sum files, relative to a control build of r215090. (adding --enable-host-shared when building with "jit" in the set of enabled languages). For some reason "make check" isn't yet running the jit testsuite, and "make check-jit" doesn't yet work. That said, "make check-parallel-jit" does work, with the new jit.sum containing: === jit Summary === # of expected passes 4301 The attached diff contains ChangeLog.jit entries per-directory (some of which contain changes that have already been merged, which leads to some directories that gain a ChangeLog.jit but no other change). Here's an overall ChangeLog relating to the proposed merger: ChangeLog: * ChangeLog.jit: New. * MAINTAINERS (Various Maintainers): Add myself as jit maintainer. contrib/ChangeLog: * ChangeLog.jit: New. * jit-coverage-report.py: New file: a script to print crude code-coverage information for the libgccjit API. gcc/ChangeLog: * ChangeLog.jit: New. * ipa-reference.c (ipa_init): Move static bool init_p from here to... (ipa_init_p): New file-scope variable, so that it can be reset when repeatedly invoking the compiler within one process by... (ipa_reference_c_finalize): New function. * ipa-reference.h (ipa_reference_c_finalize): New. * ipa.c (ipa_c_finalize): New. * main.c (main): Replace invocation of toplev_main with construction of a toplev instance, and call its "main" method. * params.c (global_init_params): Add an assert that params_finished is false. (params_c_finalize): New. * params.h (params_c_finalize): New. * passes.c (execute_ipa_summary_passes): Set "current_pass" before invoking generate_summary. (ipa_write_summaries_2): Assign "pass" to "current_pass" global before calling write_summary hook. (ipa_write_optimization_summaries_1): Likewise when calling write_optimization_summary hook. (ipa_read_summaries_1): Likewise for read_summary hook. (ipa_read_optimization_summaries_1): Likewise for read_optimization_summary hook. * predict.c (predict_c_finalize): New. * stringpool.c (init_stringpool): Clean up if we're called more than once. * symtab.c (symtab_c_finalize): New. * timevar.c (timevar_init): Ignore repeated calls. * timevar.def (TV_JIT_REPLAY): New. (TV_ASSEMBLE): New. (TV_LINK): New. (TV_LOAD): New. * timevar.h (class auto_timevar): New class. * toplev.c: Include "dwarf2out.h", "ipa-reference.h", "gcse.h". (general_init): Reset "input_location" to UNKNOWN_LOCATION. (initialize_rtl): Move static local "initialized_once" into file scope, and rename to... (rtl_initialized): New variable. (do_compile): Remove argument. Move timevar initialization from here to toplev::start_timevars. (toplev::toplev, toplev::~toplev, toplev::start_timevars, toplev::finalize): New functions. (toplev_main): Rename to... (toplev::main): ...this. * toplev.h (class toplev): New class. (toplev_main): Delete in favor of toplev::main. * varpool.c (varpool_c_finalize): New. gcc/java/ChangeLog: * ChangeLog.jit: New. gcc/jit/ChangeLog: * ChangeLog: New. * ChangeLog.jit: New. * Make-lang.in: New. * TODO.rst: New. * config-lang.in: New. * docs/Makefile: New. * docs/_build/texinfo/Makefile: New. * docs/_build/texinfo/libgccjit.texi: New. * docs/conf.py: New. * docs/examples/install-hello-world.c: New. * docs/examples/tut01-square.c: New. * docs/examples/tut02-sum-of-squares.c: New. * docs/examples/tut03-toyvm/Makefile: New. * docs/examples/tut03-toyvm/factorial.toy: New. * docs/examples/tut03-toyvm/fibonacci.toy: New. * docs/examples/tut03-toyvm/toyvm.c: New. * docs/index.rst: New. * docs/internals/index.rst: New. * docs/intro/index.rst: New. * docs/intro/install.rst: New. * docs/intro/tutorial01.rst: New. * docs/intro/tutorial02.rst: New. * docs/intro/tutorial03.rst: New. * docs/topics/contexts.rst: New. * docs/topics/expressions.rst: New. * docs/topics/functions.rst: New. * docs/topics/index.rst: New. * docs/topics/locations.rst: New. * docs/topics/objects.rst: New. * docs/topics/results.rst: New. * docs/topics/types.rst: New. * dummy-frontend.c: New. * internal-api.c: New. * internal-api.h: New. * jit-builtins.c: New. * jit-builtins.h: New. * libgccjit++.h: New. * libgccjit.c: New. * libgccjit.h: New. * libgccjit.map: New. * libgccjit.pc.in: New. * notes.txt: New. gcc/testsuite/ChangeLog: * ChangeLog.jit: New. * jit.dg/all-non-failing-tests.h: New. * jit.dg/harness.h: New. * jit.dg/jit.exp: New. * jit.dg/test-accessing-struct.c: New. * jit.dg/test-accessing-union.c: New. * jit.dg/test-array-as-pointer.c: New. * jit.dg/test-arrays.c: New. * jit.dg/test-calling-external-function.c: New. * jit.dg/test-calling-function-ptr.c: New. * jit.dg/test-combination.c: New. * jit.dg/test-dot-product.c: New. * jit.dg/test-empty.c: New. * jit.dg/test-error-adding-to-terminated-block.c: New. * jit.dg/test-error-array-as-pointer.c: New. * jit.dg/test-error-bad-cast.c: New. * jit.dg/test-error-block-in-wrong-function.c: New. * jit.dg/test-error-call-through-ptr-with-non-function.c: New. * jit.dg/test-error-call-through-ptr-with-non-pointer.c: New. * jit.dg/test-error-call-through-ptr-with-not-enough-args.c: New. * jit.dg/test-error-call-through-ptr-with-too-many-args.c: New. * jit.dg/test-error-call-with-mismatching-args.c: New. * jit.dg/test-error-call-with-not-enough-args.c: New. * jit.dg/test-error-call-with-too-many-args.c: New. * jit.dg/test-error-dereference-field-of-non-pointer.c: New. * jit.dg/test-error-dereference-read-of-non-pointer.c: New. * jit.dg/test-error-index-not-a-numeric-type.c: New. * jit.dg/test-error-mismatching-types-in-assignment.c: New. * jit.dg/test-error-mismatching-types-in-call.c: New. * jit.dg/test-error-missing-return.c: New. * jit.dg/test-error-null-passed-to-api.c: New. * jit.dg/test-error-return-within-void-function.c: New. * jit.dg/test-error-unreachable-block.c: New. * jit.dg/test-error-unterminated-block.c: New. * jit.dg/test-error-value-not-a-numeric-type.c: New. * jit.dg/test-expressions.c: New. * jit.dg/test-factorial.c: New. * jit.dg/test-fibonacci.c: New. * jit.dg/test-functions.c: New. * jit.dg/test-fuzzer.c: New. * jit.dg/test-hello-world.c: New. * jit.dg/test-linked-list.c: New. * jit.dg/test-nested-contexts.c: New. * jit.dg/test-nested-loops.c: New. * jit.dg/test-operator-overloading.cc: New. * jit.dg/test-quadratic.c: New. * jit.dg/test-quadratic.cc: New. * jit.dg/test-reading-struct.c: New. * jit.dg/test-string-literal.c: New. * jit.dg/test-sum-of-squares.c: New. * jit.dg/test-threads.c: New. * jit.dg/test-types.c: New. * jit.dg/test-using-global.c: New. * jit.dg/test-volatile.c: New. libbacktrace/ChangeLog: * ChangeLog.jit: New. libcpp/ChangeLog: * ChangeLog.jit: New. libdecnumber/ChangeLog: * ChangeLog.jit: New. libiberty/ChangeLog: * ChangeLog.jit: New. zlib/ChangeLog: * ChangeLog.jit: New.