"gcc -S sqlite3.c" will give me the result of the C code compilation. The fact it is in form of "assembly code" changes nothing - it still is HLL code.

The humans write assembly language in different way, because they are not limited by the HLL rules, only by the hardware resources.