We have designed the memory model (#29), but unfortunately it is not sufficient just to have R/W memory semantics. As part of that work we also had to design how pointers would behave, as pointer operations (arithmetic, chasing, and so on) are very important to LLVM-compiled code.
This task deals with implementing the pointer operations properly.
Description
We have designed the memory model (#29), but unfortunately it is not sufficient just to have R/W memory semantics. As part of that work we also had to design how pointers would behave, as pointer operations (arithmetic, chasing, and so on) are very important to LLVM-compiled code.
This task deals with implementing the pointer operations properly.