neqp

speculable  exu stream  exu block  compute phase   operation   in the pointer value domain  

native on: all

Pointer inequality. The highest 3 bits of pointers are reserved for user purposes like garbage collection, and as such are ignored in pointer comparisons.

---

neqp(p x, p y) → p r0

operands: like Eqlp [pp:p]

Instruction Set, alphabetical, Instruction Set by Category, Instruction Set, sortable, filterable