jlb6740 edited PR #13916.
jlb6740 commented on PR #13916:
Thanks @jlb6740 for seeing this through -- looks fine as far as I understand things (I by no means claim to be an expert in x86-64 instruction encoding, but I'll trust the XED-based fuzzing).
One trivial request: could you change the title of this PR to something more descriptive than "apx add ndd"? I'm happy to merge once that's done. Thanks!
Thanks! Was out, but back now and have updated the title.
jlb6740 requested cfallin for a review on PR #13916.
cfallin added PR #13916 x64: add APX NDD form of 64-bit add to the merge queue.
:check: cfallin merged PR #13916.
cfallin removed PR #13916 x64: add APX NDD form of 64-bit add from the merge queue.
Last updated: Sep 20 2026 at 18:08 UTC