From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 Received: (qmail 2289 invoked from network); 17 Apr 2020 00:34:56 -0000 Received-SPF: pass (mother.openwall.net: domain of lists.openwall.com designates 195.42.179.200 as permitted sender) receiver=inbox.vuxu.org; client-ip=195.42.179.200 envelope-from= Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with UTF8ESMTPZ; 17 Apr 2020 00:34:56 -0000 Received: (qmail 1626 invoked by uid 550); 17 Apr 2020 00:34:54 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 1606 invoked from network); 17 Apr 2020 00:34:54 -0000 Date: Thu, 16 Apr 2020 20:34:42 -0400 From: Rich Felker To: Segher Boessenkool Cc: Florian Weimer , musl@lists.openwall.com, libc-alpha@sourceware.org, linuxppc-dev@lists.ozlabs.org, Nicholas Piggin , libc-dev@lists.llvm.org Message-ID: <20200417003442.GD11469@brightrain.aerifal.cx> References: <1586931450.ub4c8cq8dj.astroid@bobo.none> <20200415225539.GL11469@brightrain.aerifal.cx> <87k12gf32r.fsf@mid.deneb.enyo.de> <20200416153509.GT11469@brightrain.aerifal.cx> <87sgh3e613.fsf@mid.deneb.enyo.de> <20200416165257.GY11469@brightrain.aerifal.cx> <87ftd3e1vg.fsf@mid.deneb.enyo.de> <20200416230235.GG26902@gate.crashing.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200416230235.GG26902@gate.crashing.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [musl] Powerpc Linux 'scv' system call ABI proposal take 2 On Thu, Apr 16, 2020 at 06:02:35PM -0500, Segher Boessenkool wrote: > On Thu, Apr 16, 2020 at 08:12:19PM +0200, Florian Weimer wrote: > > > I think my choice would be just making the inline syscall be a single > > > call insn to an asm source file that out-of-lines the loading of TOC > > > pointer and call through it or branch based on hwcap so that it's not > > > repeated all over the place. > > > > I don't know how problematic control flow out of an inline asm is on > > POWER. But this is basically the -moutline-atomics approach. > > Control flow out of inline asm (other than with "asm goto") is not > allowed at all, just like on any other target (and will not work in > practice, either -- just like on any other target). But the suggestion > was to use actual assembler code, not inline asm? Calling it control flow out of inline asm is something of a misnomer. The enclosing state is not discarded or altered; the asm statement exits normally, reaching the next instruction in the enclosing block/function as soon as the call from the asm statement returns, with all register/clobber constraints satisfied. Control flow out of inline asm would be more like longjmp, and it can be valid -- for instance, you can implement coroutines this way (assuming you switch stack correctly) or do longjmp this way (jumping to the location saved by setjmp). But it's not what'd be happening here. Rich