Does this project have a trace function?

[lost2015]

Hi,

this is a great project which can help me to understand the arm architecture, but when I try to bring up some application on this model, it seems has no trace function which can record all executed instructions and values in related registers or memory, like tarmac trace.
is there any similar function in it and how to enable it?
and does the sail project also support arm v9-A and arm v8-M model?

thanks
Gu

[bacam]

There's a little tracing available using the --verbosity 0x1 option. It's implemented in the model itself (in elfmain.sail) - we don't currently have any automatically generated tracing. If you'd like more feedback I suggest adding similar print statements to the parts that you're interested in. For example, the R_set function where the general purpose registers are updated.

We expect to produce models for more recent v8a/v9a architectures but I don't have a time frame for them. There aren't any plans for v8m at the moment.

[PeterSewell]

One can also hook into gdb - @Alasdair ?

…

On Sun, 5 Sept 2021 at 15:10, Brian Campbell ***@***.***> wrote: There's a little tracing available using the --verbosity 0x1 option. It's implemented in the model itself (in elfmain.sail) - we don't currently have any automatically generated tracing. If you'd like more feedback I suggest adding similar print statements to the parts that you're interested in. For example, the R_set function where the general purpose registers are updated. We expect to produce models for more recent v8a/v9a architectures but I don't have a time frame for them. There aren't any plans for v8m at the moment. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#12 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABFMZZURJV7ELTW26SA3KLDUAN26HANCNFSM5DB3XMVA> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.