On Mon Jul 7 16:22:14 2025 +0000, Yuxuan Shui wrote:
you mean "%rbp = 0xdeadbeef" then check for that?
Yes. But there are more things to do, if you look at different tests. I was going to look in details how that can be done in line with other tests before suggesting any changes. This is just a question at this point.