Just a hunch, LLVM uses Static-Single-Assignment, which is just that, saving every single variable change.