标签：upvalue fs lua ENV 寄存器 luaK e1 表达式
一、代码中输入的由来
这个来源通常有三个：upvalue、const、local。除了local变量天然对应寄存器之外，另外的const和upvalue在使用的时候都需要专门的指令来加载到寄存器中，因为大部分的机器操作都是基于寄存器实现。这一点在lua-5.3.4\src\lopcodes.h可以看到。当需要使用一个非寄存器变量时，需要先通过luaK_dischargevars来保证它是“万事俱备，只欠寄存器分配”，在luaK_dischargevars函数中，如果变量是在upvalue中，则需要先生成从up列表中加载该变量的机器指令，但是并没有分配寄存器，也即是它的结果可以放在任意寄存器中，之后该表达式的类型为VRELOCABLE
void luaK_dischargevars (FuncState *fs, expdesc *e) {
……
case VUPVAL: { /* move value to some (pending) register */
e->u.info = luaK_codeABC(fs, OP_GETUPVAL, 0, e->u.info, 0);
e->k = VRELOCABLE;
break;
}
……
}
二、复杂表达式的指令生成
以下面表达式为例：
a + b * c
，假设b和c都是upvalue，则首先
对于表达式，当需要使用的时候，在subexpr函数中首先根据算符优先级获得子子表达式，然后调用codebinexpval函数：
static void codebinexpval (FuncState *fs, OpCode op,
expdesc *e1, expdesc *e2, int line) {
int rk2 = luaK_exp2RK(fs, e2); /* both operands are "RK" */
int rk1 = luaK_exp2RK(fs, e1);
freeexps(fs, e1, e2);
e1->u.info = luaK_codeABC(fs, op, 0, rk1, rk2); /* generate opcode */
e1->k = VRELOCABLE; /* all those operations are relocatable */
luaK_fixline(fs, line);
}
对于a+b*c，则codebinexpval函数开始的e1和e2分别表示b和c，所以luaK_exp2RK会为它们分配upvalue的加载和寄存器分配，并且discharge2reg函数会修正之前生成的up加载指令中使用的寄存器。函数codebinexpval之后，b*c作为一个VRELOCABLE类型，重复这个过程。
三、看下代码
tsecer@harry: cat reg.discharge.lua
a = b + c * d
tsecer@harry: ../src/luac -l -l reg.discharge.lua
main <reg.discharge.lua:0,0> (7 instructions at 0x926a70)
0+ params, 3 slots, 1 upvalue, 0 locals, 4 constants, 0 functions
1 [1] GETTABUP 0 0 -2 ; _ENV "b"
2 [1] GETTABUP 1 0 -3 ; _ENV "c"
3 [1] GETTABUP 2 0 -4 ; _ENV "d"
4 [1] MUL 1 1 2
5 [1] ADD 0 0 1
6 [1] SETTABUP 0 -1 0 ; _ENV "a"
7 [1] RETURN 0 1
constants (4) for 0x926a70:
1 "a"
2 "b"
3 "c"
4 "d"
locals (0) for 0x926a70:
upvalues (1) for 0x926a70:
0 _ENV 1 0
tsecer@harry:
标签：upvalue,fs,lua,ENV,寄存器,luaK,e1,表达式 来源： https://www.cnblogs.com/tsecer/p/11502266.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。