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.