internal/kernel/kernel.tex

328 \index{put instruction}
329 \index{get instruction}
340         located on the shared heap. The instruction just loads a pointer
413 \item[PP] program (code) pointer, points to next abstract machine instruction.
580 \index{get instruction}
594 \index{get instruction}
627 \index{get instruction}
648 \index{read instruction}
677 preceding get/write/read_structure/list instruction has constructed the
680 \index{write instruction}
760 \index{matching instruction}
799 \index{put instruction}
832 \index{push instruction}
871 \index{puts instruction}
903 \index{try instruction}
957 Compared to a basic WAM, {\eclipse} employs a list_switch instruction
962 where the small fixed-size table is part of the instruction.
966 \index{switch instruction}
983 \index{call instruction}
984 \index{ret instruction}
985 \index{jmp instruction}
1009 A number of common instruction combinations are supported as well:
1010 \index{chain instruction}
1011 \index{exit instruction}
1033 \index{branch instruction}
1049 \index{allocate instruction}
1050 \index{deallocate instruction}
1051 \index{initialize instruction}
1052 \index{space instruction}
1071 \index{cut instruction}
1072 \index{savecut instruction}
1093 \index{res instruction}
1094 \index{gc_test instruction}
1113 \index{external instruction}
1116 invoked via the escape instruction, passing arguments via the
1119 \index{escape instruction}
1139 \index{metacall instruction}
1153 calling instructions.  The exit port generating instruction is part of
1156 \index{debug instruction}
1169 \index{catch instruction}
1170 \index{throw instruction}
1171 \index{fastcall instruction}
1172 \index{handler_call instruction}
1173 \index{undefined instruction}
1174 \index{continue_after instruction}
1175 \index{suspension_call instruction}
1176 \index{wake instruction}
1177 \index{nop instruction}
1178 \index{exit_emulator instruction}
1222 \index{put instruction}
1224 \item transferring control by either a {\bf Call} instruction or
1225 a {\bf Jmp/Chain} instruction. Call instructions push a return address\index{return address}
1227 instruction of the called predicate's code.
1236 A Call instruction requires that the caller has allocated an
1238 The last word of the Call instruction is an environment
1244 \caption{Call instruction, return address and environment size}
1260 the neckcut\index{neckcut}  instruction to detect whether the procedure has created
1263 the savecut instruction to detect which choicepoint address to save.
1288 \index{try instruction}
1294 \index{retry instruction}
1295 \index{trust instruction}
1297 to the alternative clause or disjunctive branch (the trust instruction
1585 The central piece is the Metacall/Metajmp instruction.
1612 and passed to the instruction.
1614 The Metacall/Metajmp instruction first does the necessary dereferencing
1658 We have written the Metacall/Metajmp instruction as call/4.
1688 \index{get instruction}
1723    If a read-instruction discovers a variable in the input, it
1759 \index{put instruction}
1775 They are implemented via the following handcoded abstract instruction
1779         Catch                           // special instruction
1789         Throw                           // special instruction
2010 \item The scheduling loop implemented by the builtin wake/0 (Wake instruction),
2011         \index{wake instruction}
2035 a Call, Chain or Jmp instruction): PP points to start of procedure, return
2039 \item Res: At an explicit Res (resume) instruction: return address on top
2073 version) that reads one instruction code from the location the program
2075 code that implements the instruction.
2084             <code for instruction>
2088             <code for instruction>
2094             <undefined instruction>
2141 table. We consider the abstract machine instruction MoveAML:
2162         <code for instruction>              <code for instruction>
2171 In the non-threaded case this is simply the instruction number,
2173 code that implements the instruction.
2176 from one instruction to the next consists just in an indirect jump.
2193 type of instruction.