Re: Arm ldaxr / stxr loop question

Kent Dickey <kegs@provalid.com> wrote:

Even better, let's look at the actual words for Pick Basic Dependency:
 
---
Pick Basic Dependency:
       There is a Pick Basic dependency from an effect E1 to an effect
       E2 if one of the following applies:
       1) One of the following applies:
               a) E1 is an Explicit Memory Read effect
               b) E1 is a Register Read effect
       2) One of the following applies:
               a) There is a Pick dependency through registers and memory
                       from E1 to E2
               b) E1 and E2 are the same effect

I don't understand this. However, here are the actual words:

Pick Basic dependency

    A Pick Basic dependency from a read Register effect or read Memory
    effect R1 to a Register effect or Memory effect E2 exists if one
    of the following applies:

      • There is a Dependency through registers and memory from R1 to E2.
      • There is an Intrinsic Control dependency from R1 to E2.
      • There is a Pick Basic dependency from R1 to an Effect E3 and
        there is a Pick Basic dependency from E3 to E2.

Seems reasonable enough in context, no? It's either a data dependency,
a control dependency, or any transitive combination of them.

Andrew.