标签：溢出 必须 double 情况 rgb swap 因此 strong order
| SP@ | （- addr） | 参数堆栈指针 |
| SP! | ( n - ） | 把参数堆栈指针设置成规定的数值 |
| RP@ | （- addr） | 返回堆栈指针 |
| RP！ | （n - ） | 把返回堆栈指针置为规定的数值 |
|
: QUIT FORTH 的主要循环。接收来自终端的输入并解释执行，如果成功则显示“ok”.
SP0 @ ' TIB ! 置终端输入缓存区在参数堆栈上方。
BLK OFF 令 BLK 为0，处理来自终端的输入。
[COMPILE] [ 令 STATE 为0，使系统处于解释状态。
BEGIN 进入 FORTH 主要循环。
RP0 @ RP! STATUS 初始化返回堆栈指针。送出一个回车换行。
QUERY 催促使用者从终端输入下一行并将输入行传送到 TIB 中。
RUN 处理所接收的行。
STATE @ NOT 如果 STATE 为0，系统处于执行状态。
IF ." OK" THEN 显示出信息"ok"。
AGAIN ; 无穷循环：一行处理完毕后要求得到下一行。
: RUN ( - ) 改进了的解释程序，运行分行输入一个冒号定义。 STATE @ IF 若 STATE 不为0。系统必须处于编译状态。
] 调用编译程序。
STATE @ NOT 编译完一源行后再次检查 STATE 之值。
IF INTERPRET THEN 若系统已脱离了编译状态，那么就执行该行的剩余部分，否则退出。
ELSE INTERPRET STATE 为0，执行命令
THEN ;
RUN 的过程就是： IF 编译 ELSE 执行 THEN ; |
| : INTERPRET ( - ) forth 解释程序循环：分离出输入流中的词，如果它在词典中有定义，则执行之。否则将其转换为一个数字并放置到参数栈上。 BEGIN ?STACK 检查堆栈有无上溢或下溢 DEFINED 取出输入流中的下一个词，返回它的 cfa 及一个标志 IF EXECUTE 如果该词已被定义，则执行 ELSE NUMBER 否则转换成为一个数字 DOUBLE? 它是一个双精度数吗？ NOT IF DROP THEN 不是就丢弃它的高 16 位，仅保留低 16 位 THEN FALSE 在堆栈上为 DONE? 留下一个 FALSE；解释程序死循环，一直在运行 DONE? 到了行的末端了？ UNTIL ; 如果已到行结束处，退出循环；否则再次循环去处理下一词。 |
| : ?STACK ( - ) 检查参数堆栈是否上溢或下溢，若溢出则控制返回终端。 SP@ 取出现行堆栈指针的值 SP0 @ 取出栈底的位置 SWAP U< 检查是否下溢 ABORT" STACK Underflow" 若下溢则执行 ABORT" SP@ PAD PAD 之值同时也是参数栈顶的上限 U< 检查是否上溢 ABORT" Stack Overflow" ; 若上溢则也执行 ABORT" |
标签：溢出 必须 double 情况 rgb swap 因此 strong order
原文地址：https://www.cnblogs.com/meihao1203/p/10223446.html
