SPRUI04F july 2015 – april 2023
Indexed addressing, *+base[index], is a good example of an addressing mode where you typically do not know anything about the relative sequence of the memory accesses, except they sometimes access the same location. To correctly model this case, you need to note the dependence relation in both directions, and you need to use both directives.
.mdep ld1, st1 .mdep st1, ld1