diff options
Diffstat (limited to 'lparser.c')
-rw-r--r-- | lparser.c | 20 |
1 files changed, 9 insertions, 11 deletions
@@ -716,7 +716,7 @@ static int get_priority (int op, int *rp) { | |||
716 | 716 | ||
717 | case '+': case '-': *rp = 5; return 5; | 717 | case '+': case '-': *rp = 5; return 5; |
718 | 718 | ||
719 | case CONC: *rp = 4; return 4; /* left associative (?) */ | 719 | case CONC: *rp = 3; return 4; /* right associative (?) */ |
720 | 720 | ||
721 | case EQ: case NE: case '>': case '<': case LE: case GE: | 721 | case EQ: case NE: case '>': case '<': case LE: case GE: |
722 | *rp = 2; return 2; | 722 | *rp = 2; return 2; |
@@ -941,18 +941,17 @@ static void namestat (LexState *ls) { | |||
941 | 941 | ||
942 | 942 | ||
943 | static void ifpart (LexState *ls, int line) { | 943 | static void ifpart (LexState *ls, int line) { |
944 | /* ifpart -> cond THEN block [ELSE block | ELSEIF ifpart] */ | 944 | /* ifpart -> cond THEN block (ELSEIF ifpart | [ELSE block] END) */ |
945 | FuncState *fs = ls->fs; | 945 | FuncState *fs = ls->fs; |
946 | int c; /* address of the conditional jump */ | 946 | int c; /* address of the conditional jump */ |
947 | int je; /* address of the unconditional jump (to skip `else' part) */ | ||
948 | int elseinit; | 947 | int elseinit; |
949 | next(ls); /* skip IF or ELSEIF */ | 948 | next(ls); /* skip IF or ELSEIF */ |
950 | exp1(ls); /* cond */ | 949 | exp1(ls); /* cond */ |
951 | c = luaK_S(ls, IFFJMP, 0, -1); /* jump over `then' part if `cond' is false */ | 950 | c = luaK_S(ls, IFFJMP, 0, -1); /* 1st jump: over `then' part */ |
952 | check(ls, THEN); | 951 | check(ls, THEN); |
953 | block(ls); /* `then' part */ | 952 | block(ls); /* `then' part */ |
954 | je = luaK_S(ls, JMP, 0, 0); /* jump over `else' part after `then' */ | 953 | luaK_S(ls, JMP, 0, 0); /* 2nd jump: over `else' part */ |
955 | elseinit = luaK_getlabel(ls); | 954 | elseinit = luaK_getlabel(ls); /* address of 2nd jump == elseinit-1 */ |
956 | if (ls->token == ELSEIF) | 955 | if (ls->token == ELSEIF) |
957 | ifpart(ls, line); | 956 | ifpart(ls, line); |
958 | else { | 957 | else { |
@@ -961,13 +960,12 @@ static void ifpart (LexState *ls, int line) { | |||
961 | check_match(ls, END, IF, line); | 960 | check_match(ls, END, IF, line); |
962 | } | 961 | } |
963 | if (fs->pc > elseinit) { /* is there an `else' part? */ | 962 | if (fs->pc > elseinit) { /* is there an `else' part? */ |
964 | luaK_fixjump(ls, je, luaK_getlabel(ls)); /* last jump jumps over it */ | 963 | luaK_fixjump(ls, c, elseinit); /* fix 1st jump to `else' part */ |
965 | luaK_fixjump(ls, c, elseinit); /* fix first jump to `else' part */ | 964 | luaK_fixjump(ls, elseinit-1, luaK_getlabel(ls)); /* fix 2nd jump */ |
966 | } | 965 | } |
967 | else { /* no else part */ | 966 | else { /* no else part */ |
968 | fs->pc--; /* remove last jump */ | 967 | fs->pc--; /* remove 2nd jump */ |
969 | LUA_ASSERT(L, fs->pc == je, "jump out of place"); | 968 | luaK_fixjump(ls, c, luaK_getlabel(ls)); /* fix 1st jump to `if' end */ |
970 | luaK_fixjump(ls, c, luaK_getlabel(ls)); /* fix first jump to `if' end */ | ||
971 | } | 969 | } |
972 | } | 970 | } |
973 | 971 | ||