AArch64 cmplog almost never logs: cmp/cmn/tst, cbz/cbnz, tbz not handled

Đang mở
#417 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
54/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
rust
Lĩnh vực
backend, testing-qa

Hướng nghiên cứu

Start in src/arch/aarch64.rs at the listed ranges and trace how decoded AArch64 instructions are converted into cmplog operands; the report says the findings came from static review and were not reproduced under SIMICS. Check the last_was_cmp, simplify, and RegShift handling against the listed instruction cases. Done means those cases produce useful cmplog entries; verify the behavior under SIMICS.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Where

  • src/arch/aarch64.rs around lines 1019-1022, 1122-1143, 1188-1203

Problem
yaxpeax a64 decodes compares as SUBS/ADDS/ANDS with rd=31, which are not in last_was_cmp. CBZ/CBNZ have one operand and are dropped; TBZ/CCMP reg,#imm produce mismatched widths; CSEL/CSINC log (dest, src1); simplify lacks U8/U16/U64; RegShift is wrapped in Deref (treated as a load). W registers may be looked up under names SIMICS lacks.

Impact
Effectively only ccmp xN, xM produces useful cmplog entries on AArch64.

Suggested fix
Handle SUBS/ADDS/ANDS with rd==31 using operands [1],[2]; push an implicit 0 for CBZ/CBNZ; handle missing widths; drop Deref around RegShift.

Status
Reported by static code review at 79972db; not yet re-verified line by line. Found by reading the code; not reproduced under SIMICS.

Ngôn ngữ chính
Rust
Star
335
Fork
26
Merge trung bình
1 ngày 50 phút
Pull request đã merge (30 ngày)
12

Chuẩn bị môi trường

Mở trong Codespaces

Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của intel/tsffs

Tất cả issue của intel/tsffs

Issue tương tự

Thêm issue về Rust

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.