Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1 | /* vi:set ts=8 sts=4 sw=4 noet: |
| 2 | * |
| 3 | * VIM - Vi IMproved by Bram Moolenaar |
| 4 | * |
| 5 | * Do ":help uganda" in Vim to read copying and usage conditions. |
| 6 | * Do ":help credits" in Vim to see a list of people who contributed. |
| 7 | * See README.txt for an overview of the Vim source code. |
| 8 | */ |
| 9 | |
| 10 | /* |
| 11 | * vim9.h: types and globals used for Vim9 script. |
| 12 | */ |
| 13 | |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 14 | #ifdef VMS |
| 15 | # include <float.h> |
| 16 | #endif |
| 17 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 18 | typedef enum { |
| 19 | ISN_EXEC, // execute Ex command line isn_arg.string |
Bram Moolenaar | cfe435d | 2020-04-25 20:02:55 +0200 | [diff] [blame] | 20 | ISN_EXECCONCAT, // execute Ex command from isn_arg.number items on stack |
Bram Moolenaar | 2067733 | 2021-06-06 17:02:53 +0200 | [diff] [blame] | 21 | ISN_EXEC_SPLIT, // execute Ex command from isn_arg.string split at NL |
Bram Moolenaar | e4eed8c | 2021-12-01 15:22:56 +0000 | [diff] [blame] | 22 | ISN_EXECRANGE, // execute EX command that is only a range |
Bram Moolenaar | 3b1373b | 2021-05-17 00:01:42 +0200 | [diff] [blame] | 23 | ISN_LEGACY_EVAL, // evaluate expression isn_arg.string with legacy syntax. |
Bram Moolenaar | 7de6262 | 2021-08-07 15:05:47 +0200 | [diff] [blame] | 24 | ISN_ECHO, // :echo with isn_arg.echo.echo_count items on top of stack |
| 25 | ISN_EXECUTE, // :execute with isn_arg.number items on top of stack |
| 26 | ISN_ECHOMSG, // :echomsg with isn_arg.number items on top of stack |
| 27 | ISN_ECHOCONSOLE, // :echoconsole with isn_arg.number items on top of stack |
| 28 | ISN_ECHOERR, // :echoerr with isn_arg.number items on top of stack |
Bram Moolenaar | 0859787 | 2020-12-10 19:43:40 +0100 | [diff] [blame] | 29 | ISN_RANGE, // compute range from isn_arg.string, push to stack |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 30 | ISN_SUBSTITUTE, // :s command with expression |
Bram Moolenaar | c0ceeeb | 2022-03-30 21:12:27 +0100 | [diff] [blame] | 31 | |
| 32 | ISN_SOURCE, // source autoload script, isn_arg.number is the script ID |
Bram Moolenaar | f18332f | 2021-05-07 17:55:55 +0200 | [diff] [blame] | 33 | ISN_INSTR, // instructions compiled from expression |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 34 | |
| 35 | // get and set variables |
| 36 | ISN_LOAD, // push local variable isn_arg.number |
| 37 | ISN_LOADV, // push v: variable isn_arg.number |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 38 | ISN_LOADG, // push g: variable isn_arg.string |
Bram Moolenaar | 03290b8 | 2020-12-19 16:30:44 +0100 | [diff] [blame] | 39 | ISN_LOADAUTO, // push g: autoload variable isn_arg.string |
Bram Moolenaar | d3aac29 | 2020-04-19 14:32:17 +0200 | [diff] [blame] | 40 | ISN_LOADB, // push b: variable isn_arg.string |
| 41 | ISN_LOADW, // push w: variable isn_arg.string |
| 42 | ISN_LOADT, // push t: variable isn_arg.string |
Bram Moolenaar | 2f8ce0a | 2020-07-19 19:47:35 +0200 | [diff] [blame] | 43 | ISN_LOADGDICT, // push g: dict |
| 44 | ISN_LOADBDICT, // push b: dict |
| 45 | ISN_LOADWDICT, // push w: dict |
| 46 | ISN_LOADTDICT, // push t: dict |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 47 | ISN_LOADS, // push s: variable isn_arg.loadstore |
Bram Moolenaar | c0ceeeb | 2022-03-30 21:12:27 +0100 | [diff] [blame] | 48 | ISN_LOADEXPORT, // push exported variable isn_arg.loadstore |
Bram Moolenaar | ab36052 | 2021-01-10 14:02:28 +0100 | [diff] [blame] | 49 | ISN_LOADOUTER, // push variable from outer scope isn_arg.outer |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 50 | ISN_LOADSCRIPT, // push script-local variable isn_arg.script. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 51 | ISN_LOADOPT, // push option isn_arg.string |
| 52 | ISN_LOADENV, // push environment variable isn_arg.string |
| 53 | ISN_LOADREG, // push register isn_arg.number |
| 54 | |
| 55 | ISN_STORE, // pop into local variable isn_arg.number |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 56 | ISN_STOREV, // pop into v: variable isn_arg.number |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 57 | ISN_STOREG, // pop into global variable isn_arg.string |
Bram Moolenaar | 03290b8 | 2020-12-19 16:30:44 +0100 | [diff] [blame] | 58 | ISN_STOREAUTO, // pop into global autoload variable isn_arg.string |
Bram Moolenaar | d3aac29 | 2020-04-19 14:32:17 +0200 | [diff] [blame] | 59 | ISN_STOREB, // pop into buffer-local variable isn_arg.string |
| 60 | ISN_STOREW, // pop into window-local variable isn_arg.string |
| 61 | ISN_STORET, // pop into tab-local variable isn_arg.string |
Bram Moolenaar | 5deeb3f | 2020-04-05 17:08:17 +0200 | [diff] [blame] | 62 | ISN_STORES, // pop into script variable isn_arg.loadstore |
Bram Moolenaar | c0ceeeb | 2022-03-30 21:12:27 +0100 | [diff] [blame] | 63 | ISN_STOREEXPORT, // pop into exported script variable isn_arg.loadstore |
Bram Moolenaar | ab36052 | 2021-01-10 14:02:28 +0100 | [diff] [blame] | 64 | ISN_STOREOUTER, // pop variable into outer scope isn_arg.outer |
Bram Moolenaar | 5deeb3f | 2020-04-05 17:08:17 +0200 | [diff] [blame] | 65 | ISN_STORESCRIPT, // pop into script variable isn_arg.script |
Bram Moolenaar | dcb53be | 2021-12-09 14:23:43 +0000 | [diff] [blame] | 66 | ISN_STOREOPT, // pop into option isn_arg.storeopt |
| 67 | ISN_STOREFUNCOPT, // pop into option isn_arg.storeopt |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 68 | ISN_STOREENV, // pop into environment variable isn_arg.string |
| 69 | ISN_STOREREG, // pop into register isn_arg.number |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 70 | // ISN_STOREOTHER, // pop into other script variable isn_arg.other. |
| 71 | |
Bram Moolenaar | a471eea | 2020-03-04 22:20:26 +0100 | [diff] [blame] | 72 | ISN_STORENR, // store number into local variable isn_arg.storenr.stnr_idx |
Bram Moolenaar | 4f5e397 | 2020-12-21 17:30:50 +0100 | [diff] [blame] | 73 | ISN_STOREINDEX, // store into list or dictionary, type isn_arg.vartype, |
| 74 | // value/index/variable on stack |
Bram Moolenaar | 6845217 | 2021-04-12 21:21:02 +0200 | [diff] [blame] | 75 | ISN_STORERANGE, // store into blob, |
| 76 | // value/index 1/index 2/variable on stack |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 77 | |
Bram Moolenaar | d72c1bf | 2020-04-19 16:28:59 +0200 | [diff] [blame] | 78 | ISN_UNLET, // unlet variable isn_arg.unlet.ul_name |
Bram Moolenaar | 7bdaea6 | 2020-04-19 18:27:26 +0200 | [diff] [blame] | 79 | ISN_UNLETENV, // unlet environment variable isn_arg.unlet.ul_name |
Bram Moolenaar | 752fc69 | 2021-01-04 21:57:11 +0100 | [diff] [blame] | 80 | ISN_UNLETINDEX, // unlet item of list or dict |
Bram Moolenaar | 5b5ae29 | 2021-02-20 17:04:02 +0100 | [diff] [blame] | 81 | ISN_UNLETRANGE, // unlet items of list |
Bram Moolenaar | d72c1bf | 2020-04-19 16:28:59 +0200 | [diff] [blame] | 82 | |
Bram Moolenaar | aacc966 | 2021-08-13 19:40:51 +0200 | [diff] [blame] | 83 | ISN_LOCKUNLOCK, // :lock and :unlock for local variable member |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 84 | ISN_LOCKCONST, // lock constant value |
| 85 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 86 | // constants |
Bram Moolenaar | 42a480b | 2020-02-29 23:23:47 +0100 | [diff] [blame] | 87 | ISN_PUSHNR, // push number isn_arg.number |
| 88 | ISN_PUSHBOOL, // push bool value isn_arg.number |
| 89 | ISN_PUSHSPEC, // push special value isn_arg.number |
| 90 | ISN_PUSHF, // push float isn_arg.fnumber |
| 91 | ISN_PUSHS, // push string isn_arg.string |
| 92 | ISN_PUSHBLOB, // push blob isn_arg.blob |
| 93 | ISN_PUSHFUNC, // push func isn_arg.string |
Bram Moolenaar | 397a87a | 2022-03-20 21:14:15 +0000 | [diff] [blame] | 94 | ISN_PUSHCHANNEL, // push NULL channel |
| 95 | ISN_PUSHJOB, // push NULL job |
Bram Moolenaar | 42a480b | 2020-02-29 23:23:47 +0100 | [diff] [blame] | 96 | ISN_NEWLIST, // push list from stack items, size is isn_arg.number |
Bram Moolenaar | ec15b1c | 2022-03-27 16:29:53 +0100 | [diff] [blame] | 97 | // -1 for null_list |
Bram Moolenaar | 42a480b | 2020-02-29 23:23:47 +0100 | [diff] [blame] | 98 | ISN_NEWDICT, // push dict from stack items, size is isn_arg.number |
Bram Moolenaar | ec15b1c | 2022-03-27 16:29:53 +0100 | [diff] [blame] | 99 | // -1 for null_dict |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 100 | ISN_NEWPARTIAL, // push NULL partial |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 101 | |
Bram Moolenaar | 06b7722 | 2022-01-25 15:51:56 +0000 | [diff] [blame] | 102 | ISN_AUTOLOAD, // get item from autoload import, function or variable |
| 103 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 104 | // function call |
| 105 | ISN_BCALL, // call builtin function isn_arg.bfunc |
| 106 | ISN_DCALL, // call def function isn_arg.dfunc |
| 107 | ISN_UCALL, // call user function or funcref/partial isn_arg.ufunc |
| 108 | ISN_PCALL, // call partial, use isn_arg.pfunc |
Bram Moolenaar | bd5da37 | 2020-03-31 23:13:10 +0200 | [diff] [blame] | 109 | ISN_PCALL_END, // cleanup after ISN_PCALL with cpf_top set |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 110 | ISN_RETURN, // return, result is on top of stack |
Bram Moolenaar | f57b43c | 2021-06-15 22:13:27 +0200 | [diff] [blame] | 111 | ISN_RETURN_VOID, // Push void, then return |
Bram Moolenaar | bf67ea1 | 2020-05-02 17:52:42 +0200 | [diff] [blame] | 112 | ISN_FUNCREF, // push a function ref to dfunc isn_arg.funcref |
Bram Moolenaar | 38ddf33 | 2020-07-31 22:05:04 +0200 | [diff] [blame] | 113 | ISN_NEWFUNC, // create a global function from a lambda function |
Bram Moolenaar | 6abdcf8 | 2020-11-22 18:15:44 +0100 | [diff] [blame] | 114 | ISN_DEF, // list functions |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 115 | |
| 116 | // expression operations |
| 117 | ISN_JUMP, // jump if condition is matched isn_arg.jump |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 118 | ISN_JUMP_IF_ARG_SET, // jump if argument is already set, uses |
| 119 | // isn_arg.jumparg |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 120 | |
| 121 | // loop |
| 122 | ISN_FOR, // get next item from a list, uses isn_arg.forloop |
| 123 | |
Bram Moolenaar | 0d80710 | 2021-12-21 09:42:09 +0000 | [diff] [blame] | 124 | ISN_TRY, // add entry to ec_trystack, uses isn_arg.tryref |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 125 | ISN_THROW, // pop value of stack, store in v:exception |
| 126 | ISN_PUSHEXC, // push v:exception |
| 127 | ISN_CATCH, // drop v:exception |
Bram Moolenaar | 7e82c5f | 2021-02-21 21:32:45 +0100 | [diff] [blame] | 128 | ISN_FINALLY, // start of :finally block |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 129 | ISN_ENDTRY, // take entry off from ec_trystack |
Bram Moolenaar | 873f824 | 2022-03-10 21:53:44 +0000 | [diff] [blame] | 130 | ISN_TRYCONT, // handle :continue or :break inside a :try statement |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 131 | |
Bram Moolenaar | 418f1df | 2020-08-12 21:34:49 +0200 | [diff] [blame] | 132 | // more expression operations |
Bram Moolenaar | 1dcae59 | 2020-10-19 19:02:42 +0200 | [diff] [blame] | 133 | ISN_ADDLIST, // add two lists |
| 134 | ISN_ADDBLOB, // add two blobs |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 135 | |
Bram Moolenaar | 657137c | 2021-01-09 15:45:23 +0100 | [diff] [blame] | 136 | // operation with two arguments; isn_arg.op.op_type is exprtype_T |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 137 | ISN_OPNR, |
| 138 | ISN_OPFLOAT, |
| 139 | ISN_OPANY, |
| 140 | |
Bram Moolenaar | 657137c | 2021-01-09 15:45:23 +0100 | [diff] [blame] | 141 | // comparative operations; isn_arg.op.op_type is exprtype_T, op_ic used |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 142 | ISN_COMPAREBOOL, |
| 143 | ISN_COMPARESPECIAL, |
Bram Moolenaar | 7a22224 | 2022-03-01 19:23:24 +0000 | [diff] [blame] | 144 | ISN_COMPARENULL, |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 145 | ISN_COMPARENR, |
| 146 | ISN_COMPAREFLOAT, |
| 147 | ISN_COMPARESTRING, |
| 148 | ISN_COMPAREBLOB, |
| 149 | ISN_COMPARELIST, |
| 150 | ISN_COMPAREDICT, |
| 151 | ISN_COMPAREFUNC, |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 152 | ISN_COMPAREANY, |
| 153 | |
| 154 | // expression operations |
| 155 | ISN_CONCAT, |
Bram Moolenaar | bf9d8c3 | 2020-07-19 17:55:44 +0200 | [diff] [blame] | 156 | ISN_STRINDEX, // [expr] string index |
Bram Moolenaar | 11107ba | 2020-08-15 21:10:16 +0200 | [diff] [blame] | 157 | ISN_STRSLICE, // [expr:expr] string slice |
Bram Moolenaar | 1dcae59 | 2020-10-19 19:02:42 +0200 | [diff] [blame] | 158 | ISN_LISTAPPEND, // append to a list, like add() |
Bram Moolenaar | bf9d8c3 | 2020-07-19 17:55:44 +0200 | [diff] [blame] | 159 | ISN_LISTINDEX, // [expr] list index |
Bram Moolenaar | ed59187 | 2020-08-15 22:14:53 +0200 | [diff] [blame] | 160 | ISN_LISTSLICE, // [expr:expr] list slice |
Bram Moolenaar | cfc3023 | 2021-04-11 20:26:34 +0200 | [diff] [blame] | 161 | ISN_BLOBINDEX, // [expr] blob index |
| 162 | ISN_BLOBSLICE, // [expr:expr] blob slice |
Bram Moolenaar | cc673e7 | 2020-08-16 17:33:35 +0200 | [diff] [blame] | 163 | ISN_ANYINDEX, // [expr] runtime index |
| 164 | ISN_ANYSLICE, // [expr:expr] runtime slice |
Bram Moolenaar | 9af7876 | 2020-06-16 11:34:42 +0200 | [diff] [blame] | 165 | ISN_SLICE, // drop isn_arg.number items from start of list |
Bram Moolenaar | 80b0e5e | 2020-10-19 20:45:36 +0200 | [diff] [blame] | 166 | ISN_BLOBAPPEND, // append to a blob, like add() |
Bram Moolenaar | 47a519a | 2020-06-14 23:05:10 +0200 | [diff] [blame] | 167 | ISN_GETITEM, // push list item, isn_arg.number is the index |
Bram Moolenaar | 1cc2a94 | 2020-05-10 19:10:31 +0200 | [diff] [blame] | 168 | ISN_MEMBER, // dict[member] |
| 169 | ISN_STRINGMEMBER, // dict.member using isn_arg.string |
Bram Moolenaar | 5fa9b24 | 2021-06-04 21:00:32 +0200 | [diff] [blame] | 170 | ISN_2BOOL, // falsy/truthy to bool, uses isn_arg.tobool |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 171 | ISN_COND2BOOL, // convert value to bool |
Bram Moolenaar | 5fa9b24 | 2021-06-04 21:00:32 +0200 | [diff] [blame] | 172 | ISN_2STRING, // convert value to string at isn_arg.tostring on stack |
Bram Moolenaar | 418f1df | 2020-08-12 21:34:49 +0200 | [diff] [blame] | 173 | ISN_2STRING_ANY, // like ISN_2STRING but check type |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 174 | ISN_NEGATENR, // apply "-" to number |
| 175 | |
| 176 | ISN_CHECKNR, // check value can be used as a number |
Bram Moolenaar | 628c102 | 2021-01-02 15:49:28 +0100 | [diff] [blame] | 177 | ISN_CHECKTYPE, // check value type is isn_arg.type.ct_type |
Bram Moolenaar | 9af7876 | 2020-06-16 11:34:42 +0200 | [diff] [blame] | 178 | ISN_CHECKLEN, // check list length is isn_arg.checklen.cl_min_len |
Bram Moolenaar | 628c102 | 2021-01-02 15:49:28 +0100 | [diff] [blame] | 179 | ISN_SETTYPE, // set dict type to isn_arg.type.ct_type |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 180 | |
Bram Moolenaar | b1b6f4d | 2021-09-13 18:25:54 +0200 | [diff] [blame] | 181 | ISN_CLEARDICT, // clear dict saved by ISN_MEMBER/ISN_STRINGMEMBER |
| 182 | ISN_USEDICT, // use or clear dict saved by ISN_MEMBER/ISN_STRINGMEMBER |
| 183 | |
Bram Moolenaar | c3516f7 | 2020-09-08 22:45:35 +0200 | [diff] [blame] | 184 | ISN_PUT, // ":put", uses isn_arg.put |
| 185 | |
Bram Moolenaar | 02194d2 | 2020-10-24 23:08:38 +0200 | [diff] [blame] | 186 | ISN_CMDMOD, // set cmdmod |
| 187 | ISN_CMDMOD_REV, // undo ISN_CMDMOD |
Bram Moolenaar | f4c6e1e | 2020-10-23 18:02:32 +0200 | [diff] [blame] | 188 | |
Bram Moolenaar | b204990 | 2021-01-24 12:53:53 +0100 | [diff] [blame] | 189 | ISN_PROF_START, // start a line for profiling |
| 190 | ISN_PROF_END, // end a line for profiling |
| 191 | |
Bram Moolenaar | 8cec927 | 2021-06-23 20:20:53 +0200 | [diff] [blame] | 192 | ISN_DEBUG, // check for debug breakpoint, uses isn_arg.debug |
Bram Moolenaar | e99d422 | 2021-06-13 14:01:26 +0200 | [diff] [blame] | 193 | |
Bram Moolenaar | 792f786 | 2020-11-23 08:31:18 +0100 | [diff] [blame] | 194 | ISN_UNPACK, // unpack list into items, uses isn_arg.unpack |
Bram Moolenaar | 389df25 | 2020-07-09 21:20:47 +0200 | [diff] [blame] | 195 | ISN_SHUFFLE, // move item on stack up or down |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 196 | ISN_DROP, // pop stack and discard value |
| 197 | |
Bram Moolenaar | 2d1c57e | 2021-04-19 20:50:03 +0200 | [diff] [blame] | 198 | ISN_REDIRSTART, // :redir => |
| 199 | ISN_REDIREND, // :redir END, isn_arg.number == 1 for append |
| 200 | |
Bram Moolenaar | 5f7d4c0 | 2021-05-05 21:31:39 +0200 | [diff] [blame] | 201 | ISN_CEXPR_AUCMD, // first part of :cexpr isn_arg.number is cmdidx |
| 202 | ISN_CEXPR_CORE, // second part of :cexpr, uses isn_arg.cexpr |
| 203 | |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 204 | ISN_FINISH // end marker in list of instructions |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 205 | } isntype_T; |
| 206 | |
| 207 | |
| 208 | // arguments to ISN_BCALL |
| 209 | typedef struct { |
| 210 | int cbf_idx; // index in "global_functions" |
| 211 | int cbf_argcount; // number of arguments on top of stack |
| 212 | } cbfunc_T; |
| 213 | |
| 214 | // arguments to ISN_DCALL |
| 215 | typedef struct { |
| 216 | int cdf_idx; // index in "def_functions" for ISN_DCALL |
| 217 | int cdf_argcount; // number of arguments on top of stack |
| 218 | } cdfunc_T; |
| 219 | |
| 220 | // arguments to ISN_PCALL |
| 221 | typedef struct { |
| 222 | int cpf_top; // when TRUE partial is above the arguments |
| 223 | int cpf_argcount; // number of arguments on top of stack |
| 224 | } cpfunc_T; |
| 225 | |
| 226 | // arguments to ISN_UCALL and ISN_XCALL |
| 227 | typedef struct { |
| 228 | char_u *cuf_name; |
| 229 | int cuf_argcount; // number of arguments on top of stack |
| 230 | } cufunc_T; |
| 231 | |
Bram Moolenaar | 035bd1c | 2021-06-21 19:44:11 +0200 | [diff] [blame] | 232 | // arguments to ISN_GETITEM |
| 233 | typedef struct { |
| 234 | varnumber_T gi_index; |
| 235 | int gi_with_op; |
| 236 | } getitem_T; |
| 237 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 238 | typedef enum { |
| 239 | JUMP_ALWAYS, |
Bram Moolenaar | 1a7ee4d | 2021-09-16 16:15:07 +0200 | [diff] [blame] | 240 | JUMP_NEVER, |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 241 | JUMP_IF_FALSE, // pop and jump if false |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 242 | JUMP_AND_KEEP_IF_TRUE, // jump if top of stack is truthy, drop if not |
| 243 | JUMP_AND_KEEP_IF_FALSE, // jump if top of stack is falsy, drop if not |
| 244 | JUMP_IF_COND_TRUE, // jump if top of stack is true, drop if not |
| 245 | JUMP_IF_COND_FALSE, // jump if top of stack is false, drop if not |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 246 | } jumpwhen_T; |
| 247 | |
| 248 | // arguments to ISN_JUMP |
| 249 | typedef struct { |
| 250 | jumpwhen_T jump_when; |
| 251 | int jump_where; // position to jump to |
| 252 | } jump_T; |
| 253 | |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 254 | // arguments to ISN_JUMP_IF_ARG_SET |
| 255 | typedef struct { |
| 256 | int jump_arg_off; // argument index, negative |
| 257 | int jump_where; // position to jump to |
| 258 | } jumparg_T; |
| 259 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 260 | // arguments to ISN_FOR |
| 261 | typedef struct { |
| 262 | int for_idx; // loop variable index |
| 263 | int for_end; // position to jump to after done |
| 264 | } forloop_T; |
| 265 | |
Bram Moolenaar | 7e82c5f | 2021-02-21 21:32:45 +0100 | [diff] [blame] | 266 | // indirect arguments to ISN_TRY |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 267 | typedef struct { |
| 268 | int try_catch; // position to jump to on throw |
Bram Moolenaar | c150c09 | 2021-02-13 15:02:46 +0100 | [diff] [blame] | 269 | int try_finally; // :finally or :endtry position to jump to |
Bram Moolenaar | 7e82c5f | 2021-02-21 21:32:45 +0100 | [diff] [blame] | 270 | int try_endtry; // :endtry position to jump to |
| 271 | } tryref_T; |
| 272 | |
| 273 | // arguments to ISN_TRY |
| 274 | typedef struct { |
| 275 | tryref_T *try_ref; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 276 | } try_T; |
| 277 | |
Bram Moolenaar | c150c09 | 2021-02-13 15:02:46 +0100 | [diff] [blame] | 278 | // arguments to ISN_TRYCONT |
| 279 | typedef struct { |
| 280 | int tct_levels; // number of nested try statements |
| 281 | int tct_where; // position to jump to, WHILE or FOR |
| 282 | } trycont_T; |
| 283 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 284 | // arguments to ISN_ECHO |
| 285 | typedef struct { |
| 286 | int echo_with_white; // :echo instead of :echon |
| 287 | int echo_count; // number of expressions |
| 288 | } echo_T; |
| 289 | |
| 290 | // arguments to ISN_OPNR, ISN_OPFLOAT, etc. |
| 291 | typedef struct { |
Bram Moolenaar | 657137c | 2021-01-09 15:45:23 +0100 | [diff] [blame] | 292 | exprtype_T op_type; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 293 | int op_ic; // TRUE with '#', FALSE with '?', else MAYBE |
| 294 | } opexpr_T; |
| 295 | |
| 296 | // arguments to ISN_CHECKTYPE |
| 297 | typedef struct { |
Bram Moolenaar | 5e65423 | 2020-09-16 15:22:00 +0200 | [diff] [blame] | 298 | type_T *ct_type; |
Bram Moolenaar | b3005ce | 2021-01-22 17:51:06 +0100 | [diff] [blame] | 299 | int8_T ct_off; // offset in stack, -1 is bottom |
| 300 | int8_T ct_arg_idx; // argument index or zero |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 301 | } checktype_T; |
| 302 | |
| 303 | // arguments to ISN_STORENR |
| 304 | typedef struct { |
Bram Moolenaar | a471eea | 2020-03-04 22:20:26 +0100 | [diff] [blame] | 305 | int stnr_idx; |
| 306 | varnumber_T stnr_val; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 307 | } storenr_T; |
| 308 | |
Bram Moolenaar | dcb53be | 2021-12-09 14:23:43 +0000 | [diff] [blame] | 309 | // arguments to ISN_STOREOPT and ISN_STOREFUNCOPT |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 310 | typedef struct { |
| 311 | char_u *so_name; |
| 312 | int so_flags; |
| 313 | } storeopt_T; |
| 314 | |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 315 | // arguments to ISN_LOADS and ISN_STORES |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 316 | typedef struct { |
Bram Moolenaar | 5deeb3f | 2020-04-05 17:08:17 +0200 | [diff] [blame] | 317 | char_u *ls_name; // variable name (with s: for ISN_STORES) |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 318 | int ls_sid; // script ID |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 319 | } loadstore_T; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 320 | |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 321 | // arguments to ISN_LOADSCRIPT and ISN_STORESCRIPT |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 322 | typedef struct { |
Bram Moolenaar | 4aab88d | 2020-12-24 21:56:41 +0100 | [diff] [blame] | 323 | int sref_sid; // script ID |
| 324 | int sref_idx; // index in sn_var_vals |
| 325 | int sref_seq; // sn_script_seq when compiled |
Bram Moolenaar | 07a65d2 | 2020-12-26 20:09:15 +0100 | [diff] [blame] | 326 | type_T *sref_type; // type of the variable when compiled |
Bram Moolenaar | 4aab88d | 2020-12-24 21:56:41 +0100 | [diff] [blame] | 327 | } scriptref_T; |
| 328 | |
| 329 | typedef struct { |
| 330 | scriptref_T *scriptref; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 331 | } script_T; |
| 332 | |
Bram Moolenaar | d72c1bf | 2020-04-19 16:28:59 +0200 | [diff] [blame] | 333 | // arguments to ISN_UNLET |
| 334 | typedef struct { |
| 335 | char_u *ul_name; // variable name with g:, w:, etc. |
| 336 | int ul_forceit; // forceit flag |
| 337 | } unlet_T; |
| 338 | |
Bram Moolenaar | bf67ea1 | 2020-05-02 17:52:42 +0200 | [diff] [blame] | 339 | // arguments to ISN_FUNCREF |
| 340 | typedef struct { |
Bram Moolenaar | 3845352 | 2021-11-28 22:00:12 +0000 | [diff] [blame] | 341 | int fr_dfunc_idx; // function index for :def function |
| 342 | char_u *fr_func_name; // function name for legacy function |
Bram Moolenaar | bf67ea1 | 2020-05-02 17:52:42 +0200 | [diff] [blame] | 343 | } funcref_T; |
| 344 | |
Bram Moolenaar | 38ddf33 | 2020-07-31 22:05:04 +0200 | [diff] [blame] | 345 | // arguments to ISN_NEWFUNC |
| 346 | typedef struct { |
| 347 | char_u *nf_lambda; // name of the lambda already defined |
| 348 | char_u *nf_global; // name of the global function to be created |
| 349 | } newfunc_T; |
| 350 | |
Bram Moolenaar | 9af7876 | 2020-06-16 11:34:42 +0200 | [diff] [blame] | 351 | // arguments to ISN_CHECKLEN |
| 352 | typedef struct { |
| 353 | int cl_min_len; // minimum length |
| 354 | int cl_more_OK; // longer is allowed |
| 355 | } checklen_T; |
| 356 | |
Bram Moolenaar | 389df25 | 2020-07-09 21:20:47 +0200 | [diff] [blame] | 357 | // arguments to ISN_SHUFFLE |
| 358 | typedef struct { |
| 359 | int shfl_item; // item to move (relative to top of stack) |
| 360 | int shfl_up; // places to move upwards |
| 361 | } shuffle_T; |
| 362 | |
Bram Moolenaar | c3516f7 | 2020-09-08 22:45:35 +0200 | [diff] [blame] | 363 | // arguments to ISN_PUT |
| 364 | typedef struct { |
| 365 | int put_regname; // register, can be NUL |
| 366 | linenr_T put_lnum; // line number to put below |
| 367 | } put_T; |
| 368 | |
Bram Moolenaar | 02194d2 | 2020-10-24 23:08:38 +0200 | [diff] [blame] | 369 | // arguments to ISN_CMDMOD |
| 370 | typedef struct { |
| 371 | cmdmod_T *cf_cmdmod; // allocated |
| 372 | } cmod_T; |
| 373 | |
Bram Moolenaar | 792f786 | 2020-11-23 08:31:18 +0100 | [diff] [blame] | 374 | // arguments to ISN_UNPACK |
| 375 | typedef struct { |
| 376 | int unp_count; // number of items to produce |
| 377 | int unp_semicolon; // last item gets list of remainder |
| 378 | } unpack_T; |
| 379 | |
Bram Moolenaar | ab36052 | 2021-01-10 14:02:28 +0100 | [diff] [blame] | 380 | // arguments to ISN_LOADOUTER and ISN_STOREOUTER |
| 381 | typedef struct { |
| 382 | int outer_idx; // index |
| 383 | int outer_depth; // nesting level, stack frames to go up |
Bram Moolenaar | 0186e58 | 2021-01-10 18:33:11 +0100 | [diff] [blame] | 384 | } isn_outer_T; |
Bram Moolenaar | ab36052 | 2021-01-10 14:02:28 +0100 | [diff] [blame] | 385 | |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 386 | // arguments to ISN_SUBSTITUTE |
| 387 | typedef struct { |
| 388 | char_u *subs_cmd; // :s command |
| 389 | isn_T *subs_instr; // sequence of instructions |
| 390 | } subs_T; |
| 391 | |
Bram Moolenaar | 5f7d4c0 | 2021-05-05 21:31:39 +0200 | [diff] [blame] | 392 | // indirect arguments to ISN_TRY |
| 393 | typedef struct { |
| 394 | int cer_cmdidx; |
| 395 | char_u *cer_cmdline; |
| 396 | int cer_forceit; |
| 397 | } cexprref_T; |
| 398 | |
| 399 | // arguments to ISN_CEXPR_CORE |
| 400 | typedef struct { |
| 401 | cexprref_T *cexpr_ref; |
| 402 | } cexpr_T; |
| 403 | |
Bram Moolenaar | 5fa9b24 | 2021-06-04 21:00:32 +0200 | [diff] [blame] | 404 | // arguments to ISN_2STRING and ISN_2STRING_ANY |
| 405 | typedef struct { |
| 406 | int offset; |
| 407 | int tolerant; |
| 408 | } tostring_T; |
| 409 | |
| 410 | // arguments to ISN_2BOOL |
| 411 | typedef struct { |
| 412 | int offset; |
| 413 | int invert; |
| 414 | } tobool_T; |
| 415 | |
Bram Moolenaar | 8cec927 | 2021-06-23 20:20:53 +0200 | [diff] [blame] | 416 | // arguments to ISN_DEBUG |
| 417 | typedef struct { |
| 418 | varnumber_T dbg_var_names_len; // current number of local variables |
| 419 | int dbg_break_lnum; // first line to break after |
| 420 | } debug_T; |
| 421 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 422 | /* |
| 423 | * Instruction |
| 424 | */ |
Bram Moolenaar | 20431c9 | 2020-03-20 18:39:46 +0100 | [diff] [blame] | 425 | struct isn_S { |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 426 | isntype_T isn_type; |
| 427 | int isn_lnum; |
| 428 | union { |
| 429 | char_u *string; |
| 430 | varnumber_T number; |
| 431 | blob_T *blob; |
Bram Moolenaar | 4f5e397 | 2020-12-21 17:30:50 +0100 | [diff] [blame] | 432 | vartype_T vartype; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 433 | #ifdef FEAT_FLOAT |
| 434 | float_T fnumber; |
| 435 | #endif |
Bram Moolenaar | 42a480b | 2020-02-29 23:23:47 +0100 | [diff] [blame] | 436 | channel_T *channel; |
| 437 | job_T *job; |
Bram Moolenaar | 087d2e1 | 2020-03-01 15:36:42 +0100 | [diff] [blame] | 438 | partial_T *partial; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 439 | jump_T jump; |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 440 | jumparg_T jumparg; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 441 | forloop_T forloop; |
Bram Moolenaar | 0d80710 | 2021-12-21 09:42:09 +0000 | [diff] [blame] | 442 | try_T tryref; |
Bram Moolenaar | c150c09 | 2021-02-13 15:02:46 +0100 | [diff] [blame] | 443 | trycont_T trycont; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 444 | cbfunc_T bfunc; |
| 445 | cdfunc_T dfunc; |
| 446 | cpfunc_T pfunc; |
| 447 | cufunc_T ufunc; |
| 448 | echo_T echo; |
| 449 | opexpr_T op; |
| 450 | checktype_T type; |
| 451 | storenr_T storenr; |
| 452 | storeopt_T storeopt; |
Bram Moolenaar | b283a8a | 2020-02-02 22:24:04 +0100 | [diff] [blame] | 453 | loadstore_T loadstore; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 454 | script_T script; |
Bram Moolenaar | d72c1bf | 2020-04-19 16:28:59 +0200 | [diff] [blame] | 455 | unlet_T unlet; |
Bram Moolenaar | bf67ea1 | 2020-05-02 17:52:42 +0200 | [diff] [blame] | 456 | funcref_T funcref; |
Bram Moolenaar | 38ddf33 | 2020-07-31 22:05:04 +0200 | [diff] [blame] | 457 | newfunc_T newfunc; |
Bram Moolenaar | 9af7876 | 2020-06-16 11:34:42 +0200 | [diff] [blame] | 458 | checklen_T checklen; |
Bram Moolenaar | 389df25 | 2020-07-09 21:20:47 +0200 | [diff] [blame] | 459 | shuffle_T shuffle; |
Bram Moolenaar | c3516f7 | 2020-09-08 22:45:35 +0200 | [diff] [blame] | 460 | put_T put; |
Bram Moolenaar | 02194d2 | 2020-10-24 23:08:38 +0200 | [diff] [blame] | 461 | cmod_T cmdmod; |
Bram Moolenaar | 792f786 | 2020-11-23 08:31:18 +0100 | [diff] [blame] | 462 | unpack_T unpack; |
Bram Moolenaar | 0186e58 | 2021-01-10 18:33:11 +0100 | [diff] [blame] | 463 | isn_outer_T outer; |
Bram Moolenaar | 4c13721 | 2021-04-19 16:48:48 +0200 | [diff] [blame] | 464 | subs_T subs; |
Bram Moolenaar | 5f7d4c0 | 2021-05-05 21:31:39 +0200 | [diff] [blame] | 465 | cexpr_T cexpr; |
Bram Moolenaar | f18332f | 2021-05-07 17:55:55 +0200 | [diff] [blame] | 466 | isn_T *instr; |
Bram Moolenaar | 5fa9b24 | 2021-06-04 21:00:32 +0200 | [diff] [blame] | 467 | tostring_T tostring; |
| 468 | tobool_T tobool; |
Bram Moolenaar | 035bd1c | 2021-06-21 19:44:11 +0200 | [diff] [blame] | 469 | getitem_T getitem; |
Bram Moolenaar | 8cec927 | 2021-06-23 20:20:53 +0200 | [diff] [blame] | 470 | debug_T debug; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 471 | } isn_arg; |
Bram Moolenaar | 20431c9 | 2020-03-20 18:39:46 +0100 | [diff] [blame] | 472 | }; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 473 | |
| 474 | /* |
| 475 | * Info about a function defined with :def. Used in "def_functions". |
| 476 | */ |
| 477 | struct dfunc_S { |
| 478 | ufunc_T *df_ufunc; // struct containing most stuff |
Bram Moolenaar | cd45ed0 | 2020-12-22 17:35:54 +0100 | [diff] [blame] | 479 | int df_refcount; // how many ufunc_T point to this dfunc_T |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 480 | int df_idx; // index in def_functions |
| 481 | int df_deleted; // if TRUE function was deleted |
Bram Moolenaar | 4aab88d | 2020-12-24 21:56:41 +0100 | [diff] [blame] | 482 | int df_script_seq; // Value of sctx_T sc_seq when the function |
| 483 | // was compiled. |
Dominique Pelle | 3276f58 | 2021-08-07 12:44:41 +0200 | [diff] [blame] | 484 | char_u *df_name; // name used for error messages |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 485 | |
| 486 | garray_T df_def_args_isn; // default argument instructions |
Bram Moolenaar | b69c6fb | 2021-06-14 20:40:37 +0200 | [diff] [blame] | 487 | garray_T df_var_names; // names of local vars |
Bram Moolenaar | b204990 | 2021-01-24 12:53:53 +0100 | [diff] [blame] | 488 | |
| 489 | // After compiling "df_instr" and/or "df_instr_prof" is not NULL. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 490 | isn_T *df_instr; // function body to be executed |
Bram Moolenaar | b204990 | 2021-01-24 12:53:53 +0100 | [diff] [blame] | 491 | int df_instr_count; // size of "df_instr" |
Dominique Pelle | 3276f58 | 2021-08-07 12:44:41 +0200 | [diff] [blame] | 492 | int df_instr_debug_count; // size of "df_instr_debug" |
| 493 | isn_T *df_instr_debug; // like "df_instr" with debugging |
Bram Moolenaar | f002a41 | 2021-01-24 13:34:18 +0100 | [diff] [blame] | 494 | #ifdef FEAT_PROFILE |
| 495 | isn_T *df_instr_prof; // like "df_instr" with profiling |
| 496 | int df_instr_prof_count; // size of "df_instr_prof" |
| 497 | #endif |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 498 | |
| 499 | int df_varcount; // number of local variables |
Bram Moolenaar | 148ce7a | 2020-09-23 21:57:23 +0200 | [diff] [blame] | 500 | int df_has_closure; // one if a closure was created |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 501 | }; |
| 502 | |
| 503 | // Number of entries used by stack frame for a function call. |
Bram Moolenaar | 5366e1a | 2020-10-01 13:01:34 +0200 | [diff] [blame] | 504 | // - ec_dfunc_idx: function index |
| 505 | // - ec_iidx: instruction index |
Bram Moolenaar | 5930ddc | 2021-04-26 20:32:59 +0200 | [diff] [blame] | 506 | // - ec_instr: instruction list pointer |
Bram Moolenaar | 0186e58 | 2021-01-10 18:33:11 +0100 | [diff] [blame] | 507 | // - ec_outer: stack used for closures |
Bram Moolenaar | 2fecb53 | 2021-03-24 22:00:56 +0100 | [diff] [blame] | 508 | // - funclocal: function-local data |
Bram Moolenaar | 5366e1a | 2020-10-01 13:01:34 +0200 | [diff] [blame] | 509 | // - ec_frame_idx: previous frame index |
Bram Moolenaar | 0186e58 | 2021-01-10 18:33:11 +0100 | [diff] [blame] | 510 | #define STACK_FRAME_FUNC_OFF 0 |
| 511 | #define STACK_FRAME_IIDX_OFF 1 |
Bram Moolenaar | 5930ddc | 2021-04-26 20:32:59 +0200 | [diff] [blame] | 512 | #define STACK_FRAME_INSTR_OFF 2 |
| 513 | #define STACK_FRAME_OUTER_OFF 3 |
| 514 | #define STACK_FRAME_FUNCLOCAL_OFF 4 |
| 515 | #define STACK_FRAME_IDX_OFF 5 |
| 516 | #define STACK_FRAME_SIZE 6 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 517 | |
| 518 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 519 | extern garray_T def_functions; |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 520 | |
Bram Moolenaar | 0859787 | 2020-12-10 19:43:40 +0100 | [diff] [blame] | 521 | // Used for "lnum" when a range is to be taken from the stack. |
kylo252 | 9dac9b1 | 2022-03-27 20:05:17 +0100 | [diff] [blame] | 522 | #define LNUM_VARIABLE_RANGE (-999) |
Bram Moolenaar | 0859787 | 2020-12-10 19:43:40 +0100 | [diff] [blame] | 523 | |
| 524 | // Used for "lnum" when a range is to be taken from the stack and "!" is used. |
kylo252 | 9dac9b1 | 2022-03-27 20:05:17 +0100 | [diff] [blame] | 525 | #define LNUM_VARIABLE_RANGE_ABOVE (-888) |
Bram Moolenaar | e5ea346 | 2021-01-25 21:01:48 +0100 | [diff] [blame] | 526 | |
Bram Moolenaar | 139575d | 2022-03-15 19:29:30 +0000 | [diff] [blame] | 527 | // Keep in sync with get_compile_type() |
Bram Moolenaar | e5ea346 | 2021-01-25 21:01:48 +0100 | [diff] [blame] | 528 | #ifdef FEAT_PROFILE |
Bram Moolenaar | e5ea346 | 2021-01-25 21:01:48 +0100 | [diff] [blame] | 529 | # define INSTRUCTIONS(dfunc) \ |
Bram Moolenaar | 26a4484 | 2021-09-02 18:49:06 +0200 | [diff] [blame] | 530 | (debug_break_level > 0 || may_break_in_function(dfunc->df_ufunc) \ |
Bram Moolenaar | c3a27bb | 2021-06-13 15:16:01 +0200 | [diff] [blame] | 531 | ? (dfunc)->df_instr_debug \ |
| 532 | : ((do_profiling == PROF_YES && (dfunc->df_ufunc)->uf_profiling) \ |
| 533 | ? (dfunc)->df_instr_prof \ |
| 534 | : (dfunc)->df_instr)) |
Bram Moolenaar | e5ea346 | 2021-01-25 21:01:48 +0100 | [diff] [blame] | 535 | #else |
Bram Moolenaar | c3a27bb | 2021-06-13 15:16:01 +0200 | [diff] [blame] | 536 | # define INSTRUCTIONS(dfunc) \ |
kylo252 | 9dac9b1 | 2022-03-27 20:05:17 +0100 | [diff] [blame] | 537 | (debug_break_level > 0 || may_break_in_function((dfunc)->df_ufunc) \ |
Bram Moolenaar | c3a27bb | 2021-06-13 15:16:01 +0200 | [diff] [blame] | 538 | ? (dfunc)->df_instr_debug \ |
| 539 | : (dfunc)->df_instr) |
Bram Moolenaar | e5ea346 | 2021-01-25 21:01:48 +0100 | [diff] [blame] | 540 | #endif |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 541 | |
| 542 | // Structure passed between the compile_expr* functions to keep track of |
| 543 | // constants that have been parsed but for which no code was produced yet. If |
| 544 | // possible expressions on these constants are applied at compile time. If |
| 545 | // that is not possible, the code to push the constants needs to be generated |
| 546 | // before other instructions. |
| 547 | // Using 50 should be more than enough of 5 levels of (). |
| 548 | #define PPSIZE 50 |
| 549 | typedef struct { |
| 550 | typval_T pp_tv[PPSIZE]; // stack of ppconst constants |
| 551 | int pp_used; // active entries in pp_tv[] |
| 552 | int pp_is_const; // all generated code was constants, used for a |
| 553 | // list or dict with constant members |
| 554 | } ppconst_T; |
| 555 | |
| 556 | // values for ctx_skip |
| 557 | typedef enum { |
| 558 | SKIP_NOT, // condition is a constant, produce code |
| 559 | SKIP_YES, // condition is a constant, do NOT produce code |
| 560 | SKIP_UNKNOWN // condition is not a constant, produce code |
| 561 | } skip_T; |
| 562 | |
| 563 | /* |
| 564 | * Chain of jump instructions where the end label needs to be set. |
| 565 | */ |
| 566 | typedef struct endlabel_S endlabel_T; |
| 567 | struct endlabel_S { |
| 568 | endlabel_T *el_next; // chain end_label locations |
| 569 | int el_end_label; // instruction idx where to set end |
| 570 | }; |
| 571 | |
| 572 | /* |
| 573 | * info specific for the scope of :if / elseif / else |
| 574 | */ |
| 575 | typedef struct { |
| 576 | int is_seen_else; |
| 577 | int is_seen_skip_not; // a block was unconditionally executed |
| 578 | int is_had_return; // every block ends in :return |
| 579 | int is_if_label; // instruction idx at IF or ELSEIF |
| 580 | endlabel_T *is_end_label; // instructions to set end label |
| 581 | } ifscope_T; |
| 582 | |
| 583 | /* |
| 584 | * info specific for the scope of :while |
| 585 | */ |
| 586 | typedef struct { |
| 587 | int ws_top_label; // instruction idx at WHILE |
| 588 | endlabel_T *ws_end_label; // instructions to set end |
| 589 | } whilescope_T; |
| 590 | |
| 591 | /* |
| 592 | * info specific for the scope of :for |
| 593 | */ |
| 594 | typedef struct { |
| 595 | int fs_top_label; // instruction idx at FOR |
| 596 | endlabel_T *fs_end_label; // break instructions |
| 597 | } forscope_T; |
| 598 | |
| 599 | /* |
| 600 | * info specific for the scope of :try |
| 601 | */ |
| 602 | typedef struct { |
| 603 | int ts_try_label; // instruction idx at TRY |
| 604 | endlabel_T *ts_end_label; // jump to :finally or :endtry |
| 605 | int ts_catch_label; // instruction idx of last CATCH |
| 606 | int ts_caught_all; // "catch" without argument encountered |
Bram Moolenaar | 53c2961 | 2022-01-12 16:18:18 +0000 | [diff] [blame] | 607 | int ts_has_finally; // "finally" encountered |
| 608 | int ts_no_return; // one of the blocks did not end in return |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 609 | } tryscope_T; |
| 610 | |
| 611 | typedef enum { |
| 612 | NO_SCOPE, |
| 613 | IF_SCOPE, |
| 614 | WHILE_SCOPE, |
| 615 | FOR_SCOPE, |
| 616 | TRY_SCOPE, |
| 617 | BLOCK_SCOPE |
| 618 | } scopetype_T; |
| 619 | |
| 620 | /* |
| 621 | * Info for one scope, pointed to by "ctx_scope". |
| 622 | */ |
| 623 | typedef struct scope_S scope_T; |
| 624 | struct scope_S { |
| 625 | scope_T *se_outer; // scope containing this one |
| 626 | scopetype_T se_type; |
| 627 | int se_local_count; // ctx_locals.ga_len before scope |
| 628 | skip_T se_skip_save; // ctx_skip before the block |
| 629 | union { |
| 630 | ifscope_T se_if; |
| 631 | whilescope_T se_while; |
| 632 | forscope_T se_for; |
| 633 | tryscope_T se_try; |
| 634 | } se_u; |
| 635 | }; |
| 636 | |
| 637 | /* |
| 638 | * Entry for "ctx_locals". Used for arguments and local variables. |
| 639 | */ |
| 640 | typedef struct { |
| 641 | char_u *lv_name; |
| 642 | type_T *lv_type; |
| 643 | int lv_idx; // index of the variable on the stack |
| 644 | int lv_from_outer; // nesting level, using ctx_outer scope |
| 645 | int lv_const; // when TRUE cannot be assigned to |
| 646 | int lv_arg; // when TRUE this is an argument |
| 647 | } lvar_T; |
| 648 | |
| 649 | // Destination for an assignment or ":unlet" with an index. |
| 650 | typedef enum { |
| 651 | dest_local, |
| 652 | dest_option, |
| 653 | dest_func_option, |
| 654 | dest_env, |
| 655 | dest_global, |
| 656 | dest_buffer, |
| 657 | dest_window, |
| 658 | dest_tab, |
| 659 | dest_vimvar, |
| 660 | dest_script, |
| 661 | dest_reg, |
| 662 | dest_expr, |
| 663 | } assign_dest_T; |
| 664 | |
| 665 | // Used by compile_lhs() to store information about the LHS of an assignment |
| 666 | // and one argument of ":unlet" with an index. |
| 667 | typedef struct { |
| 668 | assign_dest_T lhs_dest; // type of destination |
| 669 | |
| 670 | char_u *lhs_name; // allocated name excluding the last |
| 671 | // "[expr]" or ".name". |
| 672 | size_t lhs_varlen; // length of the variable without |
| 673 | // "[expr]" or ".name" |
| 674 | char_u *lhs_whole; // allocated name including the last |
| 675 | // "[expr]" or ".name" for :redir |
| 676 | size_t lhs_varlen_total; // length of the variable including |
| 677 | // any "[expr]" or ".name" |
| 678 | char_u *lhs_dest_end; // end of the destination, including |
| 679 | // "[expr]" or ".name". |
| 680 | char_u *lhs_end; // end including any type |
| 681 | |
| 682 | int lhs_has_index; // has "[expr]" or ".name" |
| 683 | |
| 684 | int lhs_new_local; // create new local variable |
| 685 | int lhs_opt_flags; // for when destination is an option |
| 686 | int lhs_vimvaridx; // for when destination is a v:var |
| 687 | |
| 688 | lvar_T lhs_local_lvar; // used for existing local destination |
| 689 | lvar_T lhs_arg_lvar; // used for argument destination |
| 690 | lvar_T *lhs_lvar; // points to destination lvar |
| 691 | int lhs_scriptvar_sid; |
| 692 | int lhs_scriptvar_idx; |
| 693 | |
| 694 | int lhs_has_type; // type was specified |
| 695 | type_T *lhs_type; |
| 696 | type_T *lhs_member_type; |
| 697 | |
| 698 | int lhs_append; // used by ISN_REDIREND |
| 699 | } lhs_T; |
| 700 | |
| 701 | /* |
Bram Moolenaar | 4b1d963 | 2022-02-13 21:51:08 +0000 | [diff] [blame] | 702 | * Context for compiling lines of a :def function. |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 703 | * Stores info about the local variables and condition stack. |
| 704 | */ |
| 705 | struct cctx_S { |
| 706 | ufunc_T *ctx_ufunc; // current function |
| 707 | int ctx_lnum; // line number in current function |
| 708 | char_u *ctx_line_start; // start of current line or NULL |
| 709 | garray_T ctx_instr; // generated instructions |
| 710 | |
| 711 | int ctx_prev_lnum; // line number below previous command, for |
| 712 | // debugging |
| 713 | |
| 714 | compiletype_T ctx_compile_type; |
| 715 | |
| 716 | garray_T ctx_locals; // currently visible local variables |
| 717 | |
Dominique Pelle | af4a61a | 2021-12-27 17:21:41 +0000 | [diff] [blame] | 718 | int ctx_has_closure; // set to one if a closure was created in |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 719 | // the function |
| 720 | |
Bram Moolenaar | dc7c366 | 2021-12-20 15:04:29 +0000 | [diff] [blame] | 721 | skip_T ctx_skip; |
| 722 | scope_T *ctx_scope; // current scope, NULL at toplevel |
| 723 | int ctx_had_return; // last seen statement was "return" |
| 724 | |
| 725 | cctx_T *ctx_outer; // outer scope for lambda or nested |
| 726 | // function |
| 727 | int ctx_outer_used; // var in ctx_outer was used |
| 728 | |
| 729 | garray_T ctx_type_stack; // type of each item on the stack |
| 730 | garray_T *ctx_type_list; // list of pointers to allocated types |
| 731 | |
| 732 | int ctx_has_cmdmod; // ISN_CMDMOD was generated |
| 733 | |
| 734 | lhs_T ctx_redir_lhs; // LHS for ":redir => var", valid when |
| 735 | // lhs_name is not NULL |
| 736 | }; |
| 737 | |
Bram Moolenaar | 114dbda | 2022-01-03 12:28:03 +0000 | [diff] [blame] | 738 | // flags for typval2type() |
| 739 | #define TVTT_DO_MEMBER 1 |
| 740 | #define TVTT_MORE_SPECIFIC 2 // get most specific type for member |
| 741 | |