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.