Re: [PATCH 13/27] New file: gcc/jit/jit-recording.c

2014-11-04 Thread Jeff Law
On 11/04/14 09:24, David Malcolm wrote: So presumably no multi-way branches yet? Might be better to build the API in such a way that it handles multi-way branches from the get-go rather than retrofitting later. Your call. This is an internal API. If the external API needs to support building

Re: [PATCH 13/27] New file: gcc/jit/jit-recording.c

2014-11-04 Thread David Malcolm
On Mon, 2014-11-03 at 15:03 -0700, Jeff Law wrote: > On 10/31/14 11:02, David Malcolm wrote: > > Implementation of the gcc::jit::recording internal API, so that > > libgccjit.c can record the calls that are made to the public API, for > > later playback by the dummy frontend. > > > > gcc/jit/ > >

Re: [PATCH 13/27] New file: gcc/jit/jit-recording.c

2014-11-03 Thread Jeff Law
On 10/31/14 11:02, David Malcolm wrote: Implementation of the gcc::jit::recording internal API, so that libgccjit.c can record the calls that are made to the public API, for later playback by the dummy frontend. gcc/jit/ * jit-recording.c: New. Cursory review since it's the JIT implement

[PATCH 13/27] New file: gcc/jit/jit-recording.c

2014-10-31 Thread David Malcolm
Implementation of the gcc::jit::recording internal API, so that libgccjit.c can record the calls that are made to the public API, for later playback by the dummy frontend. gcc/jit/ * jit-recording.c: New. --- gcc/jit/jit-recording.c | 3434 +++