RFR: 8360389: Support printing from C2 compiled code [v4]

Benoît Maillard bmaillard at openjdk.org
Mon Aug 25 11:25:30 UTC 2025


> This PR adds support for printf-style debugging from C2 compiled code. This is implemented as a runtime call to a C++ method that prints the values of the nodes passed as arguments. The runtime C++ method is implemented with the help of variadic templates, as it is expected to support various combinations of argument types.
> 
> ## Usage
> 
> Suppose we have this piece of Java code, that simply computes an arithmetic operation, and
> that we compile `square` with C2.
> 
> class Square {
>     static int square(int a) {
>         return a * a;
>     }
> 
>     public static void main(String[] args) {
>         square(9);
>     }
> }
> 
> 
> We would like to inspect the node that contains the value returned in this method.
> We can add a call to `Compile::make_debug_print` and pass a message, the IGVN instance, as well as the node(s) that we would like to inspect.
> 
> ```c++
> void Compile::return_values(JVMState* jvms) {
>   GraphKit kit(jvms);
>   Node* ret = new ReturnNode(TypeFunc::Parms,
>                              kit.control(),
>                              kit.i_o(),
>                              kit.reset_memory(),
>                              kit.frameptr(),
>                              kit.returnadr());
>   // Add zero or 1 return values
>   int ret_size = tf()->range()->cnt() - TypeFunc::Parms;
> 
>   
>   Node* return_value;
>   if (ret_size > 0) {
>     kit.inc_sp(-ret_size);  // pop the return value(s)
>     kit.sync_jvms();
>     return_value = kit.argument(0);
>     ret->add_req(return_value);
> 
>     // <-------------------- Simply insert this
>     C->make_debug_print<jint>("return: ", initial_gvn(), return_value);
>   }
>   
>   // bind it to root
>   root()->add_req(ret);
>   record_for_igvn(ret);
>   initial_gvn()->transform(ret);
> }
> 
> 
> We can then call run our code with `-XX:CompileCommand="compileonly,Square::square`
> and we get the following output:
> 
> 
> return:
> int 81
> 
> 
> This case is of course trivial, but more useful examples are shown later.
> 
> ## Implementation
> 
> The debugging capability is implemented as a runtime call to a C++ printing method. For this, `Compile::make_debug_print` inserts a `CallLeafNode` into the graph and rewires control flow as needed.
> 
> The actual printing is handled by the `SharedRuntime::debug_print` method, written with a variadic template to support various argument type combinations. A pointer to this runtime method is obtained at compile time and is passed to the `CallLeafNode` constructor.
> 
> The first argument to the runtime printing method is the printing message, a static string encoded as a `...

Benoît Maillard has updated the pull request incrementally with one additional commit since the last revision:

  Add #ifdef COMPILER2 for runtime methods

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/26475/files
  - new: https://git.openjdk.org/jdk/pull/26475/files/e855caec..83dcf6cd

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=26475&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=26475&range=02-03

  Stats: 2 lines in 1 file changed: 2 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/26475.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/26475/head:pull/26475

PR: https://git.openjdk.org/jdk/pull/26475


More information about the hotspot-dev mailing list