Hi, On 2018-09-25 12:50:34 -0700, Andres Freund wrote: > On 2018-09-25 01:47:49 -0700, Andres Freund wrote: > > Planning Time: 0.152 ms > > JIT: > > Functions: 4 > > Options: Inlining true, Optimization true, Expressions true, Deforming > > true > > Timing: Generation 0.955 ms, Inlining 157.422 ms, Optimization 11.751 ms, > > Emission 11.454 ms, Total 181.582 ms > > Execution Time: 184.197 ms > > With parallelism on, this is the aggregated cost of doing JIT > compilation. I wonder if, in VERBOSE mode, we should separately display > the cost of JIT for the leader. Comments?
I've pushed the change without that bit - it's just a few additional lines if we want to change that. Greetings, Andres Freund
