diff options
Diffstat (limited to 'lvm.c')
| -rw-r--r-- | lvm.c | 32 |
1 files changed, 24 insertions, 8 deletions
| @@ -1,5 +1,5 @@ | |||
| 1 | /* | 1 | /* |
| 2 | ** $Id: lvm.c,v 2.155 2013/03/16 21:10:18 roberto Exp roberto $ | 2 | ** $Id: lvm.c,v 2.154 2012/08/16 17:34:28 roberto Exp $ |
| 3 | ** Lua virtual machine | 3 | ** Lua virtual machine |
| 4 | ** See Copyright Notice in lua.h | 4 | ** See Copyright Notice in lua.h |
| 5 | */ | 5 | */ |
| @@ -34,7 +34,11 @@ | |||
| 34 | 34 | ||
| 35 | const TValue *luaV_tonumber (const TValue *obj, TValue *n) { | 35 | const TValue *luaV_tonumber (const TValue *obj, TValue *n) { |
| 36 | lua_Number num; | 36 | lua_Number num; |
| 37 | if (ttisnumber(obj)) return obj; | 37 | if (ttisfloat(obj)) return obj; |
| 38 | if (ttisinteger(obj)) { | ||
| 39 | setnvalue(n, cast_num(ivalue(obj))); | ||
| 40 | return n; | ||
| 41 | } | ||
| 38 | if (ttisstring(obj) && luaO_str2d(svalue(obj), tsvalue(obj)->len, &num)) { | 42 | if (ttisstring(obj) && luaO_str2d(svalue(obj), tsvalue(obj)->len, &num)) { |
| 39 | setnvalue(n, num); | 43 | setnvalue(n, num); |
| 40 | return n; | 44 | return n; |
| @@ -257,12 +261,19 @@ int luaV_lessequal (lua_State *L, const TValue *l, const TValue *r) { | |||
| 257 | /* | 261 | /* |
| 258 | ** equality of Lua values. L == NULL means raw equality (no metamethods) | 262 | ** equality of Lua values. L == NULL means raw equality (no metamethods) |
| 259 | */ | 263 | */ |
| 260 | int luaV_equalobj_ (lua_State *L, const TValue *t1, const TValue *t2) { | 264 | int luaV_equalobj (lua_State *L, const TValue *t1, const TValue *t2) { |
| 261 | const TValue *tm; | 265 | const TValue *tm; |
| 262 | lua_assert(ttisequal(t1, t2)); | 266 | if (ttype(t1) != ttype(t2)) { |
| 267 | if (ttnov(t1) != ttnov(t2) || ttnov(t1) != LUA_TNUMBER) | ||
| 268 | return 0; /* only numbers can be equal with different variants */ | ||
| 269 | else /* two numbers with different variants */ | ||
| 270 | return luai_numeq(nvalue(t1), nvalue(t2)); | ||
| 271 | } | ||
| 272 | /* values have same type and same variant */ | ||
| 263 | switch (ttype(t1)) { | 273 | switch (ttype(t1)) { |
| 264 | case LUA_TNIL: return 1; | 274 | case LUA_TNIL: return 1; |
| 265 | case LUA_TNUMBER: return luai_numeq(nvalue(t1), nvalue(t2)); | 275 | case LUA_TNUMINT: return (ivalue(t1) == ivalue(t2)); |
| 276 | case LUA_TNUMFLT: return luai_numeq(fltvalue(t1), fltvalue(t2)); | ||
| 266 | case LUA_TBOOLEAN: return bvalue(t1) == bvalue(t2); /* true must be 1 !! */ | 277 | case LUA_TBOOLEAN: return bvalue(t1) == bvalue(t2); /* true must be 1 !! */ |
| 267 | case LUA_TLIGHTUSERDATA: return pvalue(t1) == pvalue(t2); | 278 | case LUA_TLIGHTUSERDATA: return pvalue(t1) == pvalue(t2); |
| 268 | case LUA_TLCF: return fvalue(t1) == fvalue(t2); | 279 | case LUA_TLCF: return fvalue(t1) == fvalue(t2); |
| @@ -281,7 +292,6 @@ int luaV_equalobj_ (lua_State *L, const TValue *t1, const TValue *t2) { | |||
| 281 | break; /* will try TM */ | 292 | break; /* will try TM */ |
| 282 | } | 293 | } |
| 283 | default: | 294 | default: |
| 284 | lua_assert(iscollectable(t1)); | ||
| 285 | return gcvalue(t1) == gcvalue(t2); | 295 | return gcvalue(t1) == gcvalue(t2); |
| 286 | } | 296 | } |
| 287 | if (tm == NULL) return 0; /* no TM? */ | 297 | if (tm == NULL) return 0; /* no TM? */ |
| @@ -615,7 +625,13 @@ void luaV_execute (lua_State *L) { | |||
| 615 | Protect(luaV_gettable(L, rb, RKC(i), ra)); | 625 | Protect(luaV_gettable(L, rb, RKC(i), ra)); |
| 616 | ) | 626 | ) |
| 617 | vmcase(OP_ADD, | 627 | vmcase(OP_ADD, |
| 618 | arith_op(luai_numadd, TM_ADD); | 628 | TValue *rb1 = RKB(i); |
| 629 | TValue *rc1 = RKC(i); | ||
| 630 | if (ttisinteger(rb1) && ttisinteger(rc1)) { | ||
| 631 | lua_Integer ib = ivalue(rb1); lua_Integer ic = ivalue(rc1); | ||
| 632 | setivalue(ra, ib + ic); | ||
| 633 | } | ||
| 634 | else arith_op(luai_numadd, TM_ADD); | ||
| 619 | ) | 635 | ) |
| 620 | vmcase(OP_SUB, | 636 | vmcase(OP_SUB, |
| 621 | arith_op(luai_numsub, TM_SUB); | 637 | arith_op(luai_numsub, TM_SUB); |
| @@ -669,7 +685,7 @@ void luaV_execute (lua_State *L) { | |||
| 669 | TValue *rb = RKB(i); | 685 | TValue *rb = RKB(i); |
| 670 | TValue *rc = RKC(i); | 686 | TValue *rc = RKC(i); |
| 671 | Protect( | 687 | Protect( |
| 672 | if (cast_int(equalobj(L, rb, rc)) != GETARG_A(i)) | 688 | if (cast_int(luaV_equalobj(L, rb, rc)) != GETARG_A(i)) |
| 673 | ci->u.l.savedpc++; | 689 | ci->u.l.savedpc++; |
| 674 | else | 690 | else |
| 675 | donextjump(ci); | 691 | donextjump(ci); |
