DynamoRIO / DynamoRIO/dynamorio

offline trace does not accurately sequence predicated memrefs

Open
#2,015 0 comments 0 reactions 0 assignees View on GitHub
Component-DrMemtrace Component-DRTool OpSys-ARM Priority-Low
Dominant language
C
Stars
3.2k
Forks
629
Avg merge
2d 15h
Merged PRs (30d)
31

Description

Split from #1729 as something we will not bother to solve in the near future.

With multiple predicated memrefs in a bb, the offline trace's compressed single per-bb PC entry won't identify which memref corresponds to which load or store. Thus the ifetch and memref entries inside the bb may be in a different order.

To fully handle this we'd probably want to insert a PC entry before each predicated memref. We'd put this under an option for those who care about such accuracy and are willing to pay the extra overhead.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.