Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Sat, 21 Dec 2024 21:31:24 +0100
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <vk78it$77aa$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 21 Dec 2024 21:31:26 +0100 (CET)
Injection-Info: dont-email.me; posting-host="e3cab91e10df7dd9580b4a175ccf3919";
	logging-data="236874"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19vcvkBLHF1mtJwPJAWTXEr"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:KdKe3qb7j/iDebyfqaT51zddpsQ=
X-Enigmail-Draft-Status: N1110
In-Reply-To: <86ikrdg6yq.fsf@linuxsc.com>
Bytes: 2335

On 21.12.2024 02:28, Tim Rentsch wrote:
> Janis Papanagnou <janis_papanagnou+ng@hotmail.com> writes:
> 
>> On 16.12.2024 00:53, BGB wrote:
>>
>>> [...]
>>>
>>> Pretty much all higher level control flow can be expressed via goto.
>>
>> A 'goto' may be used but it isn't strictly *necessary*. What *is*
>> necessary, though, that is an 'if' (some conditional branch), and
>> either 'goto' or recursive functions.
> 
> Conditional branches, including 'if', '?:', etc., are not strictly
> necessary either.

No? - Can you give an example of your statement?

(Unless you just wanted to say that in some HLL abstraction like
'printf("Hello world!\n")' there's no [visible] conditional branch.
Likewise in a 'ClearAccumulator' machine instruction, or the like.)

The comparisons and predicates are one key function (not any specific
branch construct, whether on HLL level, assembler level, or with the
(elementary but most powerful) Turing Machine). Comparisons inherently
result in predicates which is what controls program execution).

So your statement asks for some explanation at least.

Janis