He mentioned in spots GCC 9.1 was used, albeit still missing parameters. This is odd to test considering how old it is and how the .1 release is not the last bugfix release for the 9 series.

Edit: I see the 9.1 reference is itself referencing related work, and not a source for his assembly outputs.