Path: csiph.com!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Mon, 23 Dec 2024 14:05:55 -0800
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <867c7qdph8.fsf@linuxsc.com>
References: <vjlh19$8j4k$1@dont-email.me> <vjn9g5$n0vl$1@raubtier-asyl.eternal-september.org> <vjnhsq$oh1f$1@dont-email.me> <vjnq5s$pubt$1@dont-email.me> <vjpn29$17jub$1@dont-email.me> <86ikrdg6yq.fsf@linuxsc.com> <vk78it$77aa$1@dont-email.me> <vk8a0e$l8sq$1@paganini.bofh.team> <vk9q1p$oucu$1@dont-email.me> <20241223002048.00004d3c@yahoo.com> <UwfaP.15429$62H.7203@fx36.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Mon, 23 Dec 2024 23:05:56 +0100 (CET)
Injection-Info: dont-email.me; posting-host="175d13363d069c69169282e3d646d5d4"; logging-data="1483943"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18sqlQURP+s0Y0VmHVcdGytpIv6n7C+ufQ="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:Cma0GsaXQPosHTI924/U1rru3SA= sha1:lx27VM56hn5efoRaRFH/J8j2TMg=
Xref: csiph.com comp.lang.c:389806

scott@slp53.sl.home (Scott Lurndal) writes:

> Michael S <already5chosen@yahoo.com> writes:
>
>> On Sun, 22 Dec 2024 20:41:44 +0100
>> Janis Papanagnou <janis_papanagnou+ng@hotmail.com> wrote:
>>
>
>>>
>>> Whether you have the test in an 'if', or in a ternary '?:', or
>>> use it through a bool-int coercion as integer index to an indexed
>>> function[-pointer] table;  it's a conditional branch based on the
>>> ("Test Set") predicate i<n.  You showed in your example how to get
>>> rid of the 'if' symbol, but you could - as expected - not get rid
>>> of the actual test that is the substance of a conditional branch.
>>>
>>> I think that is what is to expect by the theory and the essence of
>>> the point I tried to make.
>>
>> You make no sense.  I am starting to suspect that the reason for it
>> is ignorance rather than mere stubbornness.
>>
>> https://godbolt.org/z/EKo5rrYce
>> Show me conditional branch in the right pane.
>
>  The 'C' in 'CSET' is short for conditional.  Because
> the branch is folded into the compare doesn't mean it
> isn't there.

It's a moot point because relational operators and equality
operators can be synthesized out of bitwise and arithmetic
operators.