I/if

Ключевое слово I/if

I <условие>
   ...

I <условие>
   ...
E
   ...

I <условие1>
   ...
E I <условие2>
   ...

I <условие1>
   ...
E I <условие2>
   ...
E
   ...

Два ключевых слова

else

if

идущие подряд трактуются специальным образом в 11l, благодаря чему отпадает необходимость в специальном/отдельном ключевом слове (как

elif

в Python или elsif
в Ruby).

Также

if

else

можно использовать в выражениях в качестве альтернативы тернарному оператору

?:

из языка Си:

sign = I x < 0 {-1} E I x > 0 {1} E 0 // 11l

sign =  x < 0 ? -1  :  x > 0 ? 1 : 0; // C

Ключевые подслова I/if

I.unlikely <условие>
   ...

используется, чтобы указать компилятору, что условие в подавляющем большинстве случаев не будет выполнено.

Это влияет на генерацию машинного кода следующим образом:

Тело оператора
```
I
```
/
```
if
```
переносится в отдельную ("холодную") область сегмента кода или в конец функции после всего "горячего" кода.
Если тело оператора
```
I
```
/
```
if
```
состоит из одного вызова функции, тогда этот вызов не встраивается.
Пример:
```
T String
   ...
   F append_char(c)
      I.unlikely .len == .capacity
         .reserve_(.len + 1)
      .data[.len++] = c
```
Место в стеке под локальные переменные внутри тела оператора
```
I
```
/
```
if
```
выделяется не в ‘начале функции’/‘момент входа в функцию’, а в начале самого тела оператора
```
I
```
/
```
if
```
.
Пример:
```
F f()
   [Byte, max_len' 16] barr
   I.unlikely ...
      [Byte, max_len' 1024] big_arr
      ...
```
При входе [при начале выполнения] в функцию
```
f
```
на стеке будет выделено 16 байт [а не 1040]. Место под
```
big_arr
```
[1024 байта] выделится только при выполнении условия после
```
I.unlikely
```
. И освободится сразу после завершения тела этого оператора.

I.likely <условие>
   ...

используется, чтобы указать компилятору, что условие в подавляющем большинстве случаев будет выполнено.

Влияет на генерацию машинного кода только при наличии ветки

else

, код в которой получает пометку "unlikely".