diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-17 09:10:43 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-17 09:10:43 +0200 |
| commit | f2ec263023649e596c5076df32c2d328bc9393d2 (patch) | |
| tree | 5dd86caab46e552bd2e62bf9c4fb1a7504a44db4 /results/scraper/fex/3516 | |
| parent | 63d2e9d409831aa8582787234cae4741847504b7 (diff) | |
| download | qemu-analysis-main.tar.gz qemu-analysis-main.zip | |
Diffstat (limited to 'results/scraper/fex/3516')
| -rw-r--r-- | results/scraper/fex/3516 | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/results/scraper/fex/3516 b/results/scraper/fex/3516 new file mode 100644 index 000000000..53a305d85 --- /dev/null +++ b/results/scraper/fex/3516 @@ -0,0 +1,31 @@ +Deal with branchy instructions +We'd like to move towards an IR with purely local liveness. This requires reworking the dispatcher for any opcode that translates to multiple blocks. This ticket tracks the audit of all such opcodes. + +These opcodes need logic changes: + +- [x] daa (#3514 ) +- [x] das (#3514 ) +- [x] aaa (#3514 ) +- [x] aad (#3514 ) +- [x] rep cmps (#3542) +- [x] rep lods (#3542) +- [x] rep scas (#3542) +- [x] cmpxchg pair (#3522 ) +- [x] shift left (#3548) +- [x] shift right (#3548) +- [x] signed shift left (#3548) +- [x] rotate right (#3539) +- [x] rotate left (#3539 ) +- [x] rcr (#3536) +- [x] rcr smaller (#3536) +- [x] rcl (#3536) +- [x] rcl smaller (#3536) +- [x] XSave (#3528 ) +- [x] XRstor (#3528 ) +- [x] self modifying code (#3550) + +These I've audited to be ok + +* int +* jumps +* undefined \ No newline at end of file |