No, it's because its decompiling from _start downwards. From main downwards it's actually very straightforward. You can also see that GCC did strength reducti

No, it's because its decompiling from _start downwards. From main downwards it's actually very straightforward. You can also see that GCC did strength reduction of printf("thing\n") to puts("thing").