Mathematica has symbolic and infinite-precision addition, so you can't automatically take advantage of obvious compiled code.

You are missing the term "JIT", which would enable a host of runtime optimizations which include generating calls to some static piece of native code which performs addition.