storep

realizing  flow stream  flow block  writer phase   operation   in the pointers value domain  

native on: none

store to memory

---

storep(base b, off o, s i, scale s, p v)

operands: like NoResult [xx]:

---

storep(base b, off o, p v)

operands: like NoResult [xx]:

---

storep(p b, off o, s i, scale s, p v)

operands: like NoResult [xx]:

---

storep(p b, off o, p v)

operands: like NoResult [xx]:

---

storep(p b, p v, memAttr m)

operands: like NoResult [xx]: