When I read the code in manually_replay_vkFlushMappedMemoryRanges, I didn't see how comptiable mode is handled. In my understanding, if a buffer/image's boundOffset is adjusted in vkBindBuffer/ImageMemory, saying, from offsetOld to offsetNew, then in vkFlushMappedBufferRanges, if the memoryRange.offset read from trace file is offsetOld, I think it should be adjusted to offsetNew; Otherwise the data is mapped to another buffer/image, right? But I didn't see such code, did I miss something?
When I read the code in manually_replay_vkFlushMappedMemoryRanges, I didn't see how comptiable mode is handled. In my understanding, if a buffer/image's boundOffset is adjusted in vkBindBuffer/ImageMemory, saying, from offsetOld to offsetNew, then in vkFlushMappedBufferRanges, if the memoryRange.offset read from trace file is offsetOld, I think it should be adjusted to offsetNew; Otherwise the data is mapped to another buffer/image, right? But I didn't see such code, did I miss something?