I am seeing an issue in 64bit host where pointer(from heap) is incremented inside a loop and it seems to be getting loaded in register and getting truncated to 32bit value w