I don't mean that there is a 1-1 constant relation between C statements and exact assembly, but if you run gcc with -S or run

   objdump -b binary -Matt,x86-64 -D main.bin -m i386 ;

(note: this command places the assembly and C code side next to eachother, I think you have to compile with -g debug flag with gcc)

You can work that the assembly implements the semantics of C's virtual machine model and it is this that I find easier to understand than some algebraic systems. I kind of think of struct->ptrarray[indx]->struct.something corresponds to the calculation of ultimately a single memory address even if there is various shift lefts or adds or ors.

Java has its template interpreter which is interesting to read about and there is copy and patch JIT compilers.