| 8812 | |
| 8813 | |
| 8814 | static void retstat (LexState *ls) { |
| 8815 | /* stat -> RETURN explist */ |
| 8816 | FuncState *fs = ls->fs; |
| 8817 | expdesc e; |
| 8818 | int first, nret; /* registers with returned values */ |
| 8819 | luaX_next(ls); /* skip RETURN */ |
| 8820 | if (block_follow(ls->t.token) || ls->t.token == ';') |
| 8821 | first = nret = 0; /* return no values */ |
| 8822 | else { |
| 8823 | nret = explist1(ls, &e); /* optional return values */ |
| 8824 | if (hasmultret(e.k)) { |
| 8825 | luaK_setmultret(fs, &e); |
| 8826 | if (e.k == VCALL && nret == 1) { /* tail call? */ |
| 8827 | SET_OPCODE(getcode(fs,&e), OP_TAILCALL); |
| 8828 | lua_assert(GETARG_A(getcode(fs,&e)) == fs->nactvar); |
| 8829 | } |
| 8830 | first = fs->nactvar; |
| 8831 | nret = LUA_MULTRET; /* return all values */ |
| 8832 | } |
| 8833 | else { |
| 8834 | if (nret == 1) /* only one single value? */ |
| 8835 | first = luaK_exp2anyreg(fs, &e); |
| 8836 | else { |
| 8837 | luaK_exp2nextreg(fs, &e); /* values must go to the `stack' */ |
| 8838 | first = fs->nactvar; /* return all `active' values */ |
| 8839 | lua_assert(nret == fs->freereg - first); |
| 8840 | } |
| 8841 | } |
| 8842 | } |
| 8843 | luaK_ret(fs, first, nret); |
| 8844 | } |
| 8845 | |
| 8846 | |
| 8847 | static int statement (LexState *ls) { |
no test coverage detected