On Sat, Oct 14, 2023 at 3:56 AM Andres Freund <and...@anarazel.de> wrote: > On 2023-10-13 16:44:13 +0200, Dmitry Dolgov wrote: > > Here is what I had in mind (only this part in the second patch was changed). > > Makes sense to me. I think we'll likely eventually want to use a custom > pipeline anyway, and I think we should consider using an optimization level > inbetween "not at all" "as hard as possible"...
Thanks Dmitry and Andres. I'm planning to commit these today if there are no further comments.