opendtrace / documentation

Documentation relating to OpenDTrace including an overall specification.
BSD 2-Clause "Simplified" License
22 stars 11 forks source link

PUSHTV fix #15

Closed dstolfa closed 7 years ago

dstolfa commented 7 years ago

The implementation of PUSHTV just assumes that we pass in r0, which is fixed as 0 as the other arguments in order to format the instruction properly, however, we never actually write the instruction in that form explicitly.

This pull request writes out the instruction correctly and fixes an error in the pseudocode where size wasn't written.