Lift Aarch64 load/store acquire/release/etc. min/max operations as intrinsics

Open
#6,599 0 comments 0 reactions 1 assignee View on GitHub

@galenbwill is already working on this.

Since Apr 8, 2025.

Assessment

This issue has not been assessed yet.

Description

Arch: ARM64 Component: Architecture Effort: Low Effort: Medium Impact: Low

Currently LDAR/STLR and friends are lifted as simple loads and stores as of #5926. This issue follows on from that issue to track the unresolved parts, specifically:

The MIN/MAX variants (LDMIN, LDMAX, etc.) remain unlifted, and should be lifted as intrinsics, since lifting them directly requires comparisons and LLIL_IF.

Also leaving this here to note that all of these related instructions should have some kind of representation of their load/store semantics, if and when that ever becomes possible and useful.

Dominant language
C++
Stars
1.3k
Forks
298
Avg merge
5d 5h
Merged PRs (30d)
19

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from Vector35/binaryninja-api

All issues in Vector35/binaryninja-api

Similar issues

More C++ issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.