0=: различия между версиями
AtH (обсуждение | вклад) |
AtH (обсуждение | вклад) |
||
Строка 58: | Строка 58: | ||
886 STT: 1 +/− PKM03 KGOTO9 ; [SP] := −1; NEXT | 886 STT: 1 +/− PKM03 KGOTO9 ; [SP] := −1; NEXT | ||
</pre> | </pre> | ||
Реализации из SP-Forth 4.20: | |||
<pre> | <pre> | ||
CODE 0= ( x -- flag ) \ 94 | CODE 0= ( x -- flag ) \ 94 | ||
Строка 65: | Строка 65: | ||
SBB EAX, EAX | SBB EAX, EAX | ||
RET | RET | ||
END-CODE | |||
</pre> | |||
<pre> | |||
\ \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ | |||
\ Operations | |||
\ \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ | |||
CODE F0= \ * | |||
LEA EBP, -4 [EBP] | |||
MOV [EBP], EAX | |||
XOR EBX, EBX | |||
FTST | |||
FFREE ST | |||
FINCSTP | |||
FSTSW EAX | |||
SAHF | |||
JNZ SHORT @@1 | |||
MOV EBX, # -1 | |||
@@1: MOV EAX, EBX | |||
RET | |||
END-CODE | END-CODE | ||
</pre> | </pre> |
Текущая версия от 17:26, 10 ноября 2017
0= (нулю равно) — стандартное слово Каллисто. Проверить на равенство нулю.
0= ( x -- f ) Проверка на равенство нулю.
Сравнивает x с нулём и засылает в стек флаг «истинно» (f=−1), если x равен нулю и флаг «ложно» (f=0), если x отличен от нуля.
Ввод слова 0=[править]
В режиме NUM последовательно нажмите три клавиши 0 F ШГ←
0= и F0= в стандарте ANS Forth[править]
6.1.0270 0= "zero-equals" CORE ( x -- flag ) flag - true, если и только если x - равно нулю.
12.6.1.1450 F0= "f-zero-equals" FLOATING ( -- flag ) ( F: r -- ) or ( r -- flag ) flag - true, если и только если r - равно нулю.
История[править]
В 1968 году Чак Мур работал в Mohasco Industries, Inc (Amsterdam NY, англ.). Первая версия интерпретатора, получившая название FORTH, заработала на миникомпьютере IBM 1130 с графическим дисплеем 2250 (16-битный процессор с ОЗУ 8К, дисководом, клавиатурой, принтером и ридером/панчером перфокарт). Первый FORTH знал слово 0=
В Форте-79 слово NOT было определено, как синоним 0=
Если программы переносятся с Форта-79 или fig-Форта на Каллисто, их слово NOT должно заменяться на 0=
0= в предыдущем стандарте Forth-83 (англ.)[править]
0= w -- flag 83 "zero-equals" flag is true if w is zero.
0= в стандарте Forth-79 (англ.)[править]
0= n -- flag 180 "zero-equals" True if n is zero.
0= в fig-FORTH Release 1 glossary, май 1979 (англ.)[править]
0= n --- f L0 Leave a true flag is the number is equal to zero, otherwise leave a false flag.
Реализация[править]
Если на стеке лежит логическое значение (флаг), слово 0= меняет его противоположное. Флаг «истинно» (x=−1 и любое ненулевое значение) превращается во флаг «ложно» (f=0). Флаг «ложно» (x=0) превратится во флаг «истинно» (f=−1). Этим объясняется широкая практика использования 0= для логического отрицания. Фактически это слово NOT, и во многих Фортах оно имеет такое второе название.
Слово 0= возвращает −1 в качестве флага «истинно», что позволяет использовать результат f в логических операция AND, OR, XOR и NOT. Разумеется, при этом другие аргументы этих операций тоже должны использовать −1 в качестве флага «истинно». Все слова Каллисто, возвращающие флаги, используют в качестве флага «истинно» −1.
В отличии от каллистянского NOT, слово 0= превращает во флаг «ложь» не только −1, но и любое ненулевое значение. Применив 0= дважды, можно «нормализовать» флаг, превратив любое ненулевое значение в −1.
866 ; ∗∗ Стандартные слова ∗∗ 867 ; ∗∗ Условные операторы ∗∗ 868 ; 869 ;#ZeroEqual 870 ; 0= ( x −− f ) Проверить на равенство нулю. 871 ; Слово 0= часто используется, как логическое отрицание NOT. Заменяет 0 на −1 и наоборот. 872 LZEQU: .DB 2 873 .TEXT "0=" ; ( x −− флаг ) 874 .DW LIPRG 875 ZEQU: .DW JZEQU 876 JZEQU: PKRM03 PX!=0 STT 877 STF: Cx PKM03 KGOTO9 ; [SP] := 0; NEXT … 886 STT: 1 +/− PKM03 KGOTO9 ; [SP] := −1; NEXT
Реализации из SP-Forth 4.20:
CODE 0= ( x -- flag ) \ 94 \ flag "истина" тогда и только тогда, когда x равно нулю. SUB EAX, # 1 SBB EAX, EAX RET END-CODE
\ \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ \ Operations \ \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ CODE F0= \ * LEA EBP, -4 [EBP] MOV [EBP], EAX XOR EBX, EBX FTST FFREE ST FINCSTP FSTSW EAX SAHF JNZ SHORT @@1 MOV EBX, # -1 @@1: MOV EAX, EBX RET END-CODE
Советская реализация[править]
Слово 0= в ФОРТ-ЕС было примитивом. Вот его описание и определение:
0= W->F F "ИСТИНА", ЕСЛИ N РАВНО НУЛЮ 13 Экран номер 13 ( 31.03.86 AND OR XOR NOT 0= 0< ) CODE O= ( W->F) RW1 RW1 SR, RW2 PULL, RW2 RW2 LTR, PUTRW1 BNZ, RW1 0 BCTR, PUTRW1 B, END-CODE
В FORTH ИТЭФ слово 0= тоже было примитивом, вот его определение:
; ** Стандартные слова ** ; ** Условные операторы ** HEAD 202Q,'0',275Q,ZEQU ; 0= POP AX CMP AX, 0 JE TRUE FALSE: SUB AX, AX PUT: PUSH AX NEXT TRUE: MOV AX, 1 JMP PUT
Ссылки[править]
- Исходный текст слова 0= в Каллисто Классик 1.0
- См. слова NOT, =, 0< и 0>
- См. также символ =
- Слова 0= (zero-equals) и F0= (f-zero-equals) в стандарте ANS Forth (англ.)
- Слова 0= (zero-equals) и F0= (f-zero-equals) в черновике Forth 200x (англ.)
- КОМПЬЮТЕР "ПРИНИМАЕТ РЕШЕНИЯ" в книге Л.Броуди «Начальный курс программирования на языке Форт»
- Decisions, Decisions… в книге Leo Brodie Starting Forth (англ.)
Это заготовка статьи. Вы можете помочь проекту, дополнив её. |