Path: ...!local-3.nntp.ord.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!nntp.supernews.com!news.supernews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 14 Nov 2024 09:23:23 +0000
Sender: Andrew Haley <aph@zarquon.pink>
From: aph@littlepinkcloud.invalid
Subject: Re: Arm ldaxr / stxr loop question
Newsgroups: comp.arch
References: <vfono1$14l9r$1@dont-email.me> <vgm4vj$3d2as$1@dont-email.me> <vgm5cb$3d2as$3@dont-email.me> <YfxXO.384093$EEm7.56154@fx16.iad> <vh4530$2mar5$1@dont-email.me>
User-Agent: tin/1.9.2-20070201 ("Dalaruan") (UNIX) (Linux/4.18.0-553.5.1.el8_10.x86_64 (x86_64))
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <-rKdnTO4LdoWXKj6nZ2dnZfqnPWdnZ2d@supernews.com>
Date: Thu, 14 Nov 2024 09:23:23 +0000
Lines: 33
X-Trace: sv3-OwR0X5j5nWqW5YS4a02qzNQ2vRv1nbbXJqILRK4RVJoqrEqYaj0sYogQPHOes8Lk95XUbxaP+Jt8QMe!isdmxABMklCU7hxnpwrpNEXfzWLBu76+DYrixY9cAD5V4rKSgMtBQASm6sBzSIUG/DcqwRhLDoIr!4HBMjIGc
X-Complaints-To: www.supernews.com/docs/abuse.html
X-DMCA-Complaints-To: www.supernews.com/docs/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 2556

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.