Hacker News Reader

In the first code snippet, they havr add $2, %rax but the function actually adds 1 to its argument.

This is correct; OCaml integers are tagged with their LSB being 1 to indicate they're not a pointer. This means that the integer n is stored as 2n+1, and adding 1 requires modifying the stored value by 2.

Reply on news.ycombinator.com