git.oblomov.eu Git - wine/blob - dlls/jscript/engine.c

   1 /*
   2  * Copyright 2008,2011 Jacek Caban for CodeWeavers
   3  *
   4  * This library is free software; you can redistribute it and/or
   5  * modify it under the terms of the GNU Lesser General Public
   6  * License as published by the Free Software Foundation; either
   7  * version 2.1 of the License, or (at your option) any later version.
   8  *
   9  * This library is distributed in the hope that it will be useful,
  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12  * Lesser General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU Lesser General Public
  15  * License along with this library; if not, write to the Free Software
  16  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
  17  */
  18
  19 #include "config.h"
  20 #include "wine/port.h"
  21
  22 #include <math.h>
  23 #include <assert.h>
  24
  25 #include "jscript.h"
  26 #include "engine.h"
  27
  28 #include "wine/debug.h"
  29
  30 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
  31
  32 static const WCHAR booleanW[] = {'b','o','o','l','e','a','n',0};
  33 static const WCHAR functionW[] = {'f','u','n','c','t','i','o','n',0};
  34 static const WCHAR numberW[] = {'n','u','m','b','e','r',0};
  35 static const WCHAR objectW[] = {'o','b','j','e','c','t',0};
  36 static const WCHAR stringW[] = {'s','t','r','i','n','g',0};
  37 static const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
  38 static const WCHAR unknownW[] = {'u','n','k','n','o','w','n',0};
  39
  40 struct _except_frame_t {
  41     unsigned stack_top;
  42     scope_chain_t *scope;
  43     unsigned catch_off;
  44     BSTR ident;
  45
  46     except_frame_t *next;
  47 };
  48
  49 static HRESULT stack_push(exec_ctx_t *ctx, jsval_t v)
  50 {
  51     if(!ctx->stack_size) {
  52         ctx->stack = heap_alloc(16*sizeof(*ctx->stack));
  53         if(!ctx->stack)
  54             return E_OUTOFMEMORY;
  55         ctx->stack_size = 16;
  56     }else if(ctx->stack_size == ctx->top) {
  57         jsval_t *new_stack;
  58
  59         new_stack = heap_realloc(ctx->stack, ctx->stack_size*2*sizeof(*new_stack));
  60         if(!new_stack) {
  61             jsval_release(v);
  62             return E_OUTOFMEMORY;
  63         }
  64
  65         ctx->stack = new_stack;
  66         ctx->stack_size *= 2;
  67     }
  68
  69     ctx->stack[ctx->top++] = v;
  70     return S_OK;
  71 }
  72
  73 static inline HRESULT stack_push_string(exec_ctx_t *ctx, const WCHAR *str)
  74 {
  75     jsstr_t *v;
  76
  77     v = jsstr_alloc(str);
  78     if(!v)
  79         return E_OUTOFMEMORY;
  80
  81     return stack_push(ctx, jsval_string(v));
  82 }
  83
  84 static HRESULT stack_push_objid(exec_ctx_t *ctx, IDispatch *disp, DISPID id)
  85 {
  86     HRESULT hres;
  87
  88     hres = stack_push(ctx, jsval_disp(disp));
  89     if(FAILED(hres))
  90         return hres;
  91
  92     return stack_push(ctx, jsval_number(id));
  93 }
  94
  95 static inline jsval_t stack_top(exec_ctx_t *ctx)
  96 {
  97     assert(ctx->top);
  98     return ctx->stack[ctx->top-1];
  99 }
 100
 101 static inline jsval_t stack_topn(exec_ctx_t *ctx, unsigned n)
 102 {
 103     assert(ctx->top > n);
 104     return ctx->stack[ctx->top-1-n];
 105 }
 106
 107 static inline jsval_t *stack_args(exec_ctx_t *ctx, unsigned n)
 108 {
 109     if(!n)
 110         return NULL;
 111     assert(ctx->top > n-1);
 112     return ctx->stack + ctx->top-n;
 113 }
 114
 115 static inline jsval_t stack_pop(exec_ctx_t *ctx)
 116 {
 117     assert(ctx->top);
 118     return ctx->stack[--ctx->top];
 119 }
 120
 121 static void stack_popn(exec_ctx_t *ctx, unsigned n)
 122 {
 123     while(n--)
 124         jsval_release(stack_pop(ctx));
 125 }
 126
 127 static HRESULT stack_pop_number(exec_ctx_t *ctx, double *r)
 128 {
 129     jsval_t v;
 130     HRESULT hres;
 131
 132     v = stack_pop(ctx);
 133     hres = to_number(ctx->script, v, r);
 134     jsval_release(v);
 135     return hres;
 136 }
 137
 138 static HRESULT stack_pop_object(exec_ctx_t *ctx, IDispatch **r)
 139 {
 140     jsval_t v;
 141     HRESULT hres;
 142
 143     v = stack_pop(ctx);
 144     if(is_object_instance(v)) {
 145         if(!get_object(v))
 146             return throw_type_error(ctx->script, JS_E_OBJECT_REQUIRED, NULL);
 147         *r = get_object(v);
 148         return S_OK;
 149     }
 150
 151     hres = to_object(ctx->script, v, r);
 152     jsval_release(v);
 153     return hres;
 154 }
 155
 156 static inline HRESULT stack_pop_int(exec_ctx_t *ctx, INT *r)
 157 {
 158     return to_int32(ctx->script, stack_pop(ctx), r);
 159 }
 160
 161 static inline HRESULT stack_pop_uint(exec_ctx_t *ctx, DWORD *r)
 162 {
 163     return to_uint32(ctx->script, stack_pop(ctx), r);
 164 }
 165
 166 static inline IDispatch *stack_pop_objid(exec_ctx_t *ctx, DISPID *id)
 167 {
 168     assert(is_number(stack_top(ctx)) && is_object_instance(stack_topn(ctx, 1)));
 169
 170     *id = get_number(stack_pop(ctx));
 171     return get_object(stack_pop(ctx));
 172 }
 173
 174 static inline IDispatch *stack_topn_objid(exec_ctx_t *ctx, unsigned n, DISPID *id)
 175 {
 176     assert(is_number(stack_topn(ctx, n)) && is_object_instance(stack_topn(ctx, n+1)));
 177
 178     *id = get_number(stack_topn(ctx, n));
 179     return get_object(stack_topn(ctx, n+1));
 180 }
 181
 182 static void exprval_release(exprval_t *val)
 183 {
 184     switch(val->type) {
 185     case EXPRVAL_JSVAL:
 186         jsval_release(val->u.val);
 187         return;
 188     case EXPRVAL_IDREF:
 189         if(val->u.idref.disp)
 190             IDispatch_Release(val->u.idref.disp);
 191         return;
 192     case EXPRVAL_INVALID:
 193         return;
 194     }
 195 }
 196
 197 /* ECMA-262 3rd Edition    8.7.1 */
 198 static HRESULT exprval_to_value(script_ctx_t *ctx, exprval_t *val, jsval_t *ret)
 199 {
 200     switch(val->type) {
 201     case EXPRVAL_JSVAL:
 202         *ret = val->u.val;
 203         val->u.val = jsval_undefined();
 204         return S_OK;
 205     case EXPRVAL_IDREF:
 206         if(!val->u.idref.disp) {
 207             FIXME("throw ReferenceError\n");
 208             return E_FAIL;
 209         }
 210
 211         return disp_propget(ctx, val->u.idref.disp, val->u.idref.id, ret);
 212     case EXPRVAL_INVALID:
 213         assert(0);
 214     }
 215
 216     ERR("type %d\n", val->type);
 217     return E_FAIL;
 218 }
 219
 220 static void exprval_set_idref(exprval_t *val, IDispatch *disp, DISPID id)
 221 {
 222     val->type = EXPRVAL_IDREF;
 223     val->u.idref.disp = disp;
 224     val->u.idref.id = id;
 225
 226     if(disp)
 227         IDispatch_AddRef(disp);
 228 }
 229
 230 HRESULT scope_push(scope_chain_t *scope, jsdisp_t *jsobj, IDispatch *obj, scope_chain_t **ret)
 231 {
 232     scope_chain_t *new_scope;
 233
 234     new_scope = heap_alloc(sizeof(scope_chain_t));
 235     if(!new_scope)
 236         return E_OUTOFMEMORY;
 237
 238     new_scope->ref = 1;
 239
 240     IDispatch_AddRef(obj);
 241     new_scope->jsobj = jsobj;
 242     new_scope->obj = obj;
 243
 244     if(scope) {
 245         scope_addref(scope);
 246         new_scope->next = scope;
 247     }else {
 248         new_scope->next = NULL;
 249     }
 250
 251     *ret = new_scope;
 252     return S_OK;
 253 }
 254
 255 static void scope_pop(scope_chain_t **scope)
 256 {
 257     scope_chain_t *tmp;
 258
 259     tmp = *scope;
 260     *scope = tmp->next;
 261     scope_release(tmp);
 262 }
 263
 264 void clear_ei(script_ctx_t *ctx)
 265 {
 266     memset(&ctx->ei.ei, 0, sizeof(ctx->ei.ei));
 267     jsval_release(ctx->ei.val);
 268     ctx->ei.val = jsval_undefined();
 269 }
 270
 271 void scope_release(scope_chain_t *scope)
 272 {
 273     if(--scope->ref)
 274         return;
 275
 276     if(scope->next)
 277         scope_release(scope->next);
 278
 279     IDispatch_Release(scope->obj);
 280     heap_free(scope);
 281 }
 282
 283 HRESULT create_exec_ctx(script_ctx_t *script_ctx, IDispatch *this_obj, jsdisp_t *var_disp,
 284         scope_chain_t *scope, BOOL is_global, exec_ctx_t **ret)
 285 {
 286     exec_ctx_t *ctx;
 287
 288     ctx = heap_alloc_zero(sizeof(exec_ctx_t));
 289     if(!ctx)
 290         return E_OUTOFMEMORY;
 291
 292     ctx->ref = 1;
 293     ctx->is_global = is_global;
 294
 295     /* ECMA-262 3rd Edition    11.2.3.7 */
 296     if(this_obj) {
 297         jsdisp_t *jsthis;
 298
 299         jsthis = iface_to_jsdisp((IUnknown*)this_obj);
 300         if(jsthis) {
 301             if(jsthis->builtin_info->class == JSCLASS_GLOBAL || jsthis->builtin_info->class == JSCLASS_NONE)
 302                 this_obj = NULL;
 303             jsdisp_release(jsthis);
 304         }
 305     }
 306
 307     if(this_obj)
 308         ctx->this_obj = this_obj;
 309     else if(script_ctx->host_global)
 310         ctx->this_obj = script_ctx->host_global;
 311     else
 312         ctx->this_obj = to_disp(script_ctx->global);
 313     IDispatch_AddRef(ctx->this_obj);
 314
 315     jsdisp_addref(var_disp);
 316     ctx->var_disp = var_disp;
 317
 318     script_addref(script_ctx);
 319     ctx->script = script_ctx;
 320
 321     if(scope) {
 322         scope_addref(scope);
 323         ctx->scope_chain = scope;
 324     }
 325
 326     *ret = ctx;
 327     return S_OK;
 328 }
 329
 330 void exec_release(exec_ctx_t *ctx)
 331 {
 332     if(--ctx->ref)
 333         return;
 334
 335     if(ctx->scope_chain)
 336         scope_release(ctx->scope_chain);
 337     if(ctx->var_disp)
 338         jsdisp_release(ctx->var_disp);
 339     if(ctx->this_obj)
 340         IDispatch_Release(ctx->this_obj);
 341     if(ctx->script)
 342         script_release(ctx->script);
 343     heap_free(ctx->stack);
 344     heap_free(ctx);
 345 }
 346
 347 static HRESULT disp_get_id(script_ctx_t *ctx, IDispatch *disp, WCHAR *name, BSTR name_bstr, DWORD flags, DISPID *id)
 348 {
 349     IDispatchEx *dispex;
 350     jsdisp_t *jsdisp;
 351     HRESULT hres;
 352
 353     jsdisp = iface_to_jsdisp((IUnknown*)disp);
 354     if(jsdisp) {
 355         hres = jsdisp_get_id(jsdisp, name, flags, id);
 356         jsdisp_release(jsdisp);
 357         return hres;
 358     }
 359
 360     *id = 0;
 361     hres = IDispatch_QueryInterface(disp, &IID_IDispatchEx, (void**)&dispex);
 362     if(SUCCEEDED(hres)) {
 363         BSTR str = name_bstr;
 364
 365         if(!str)
 366             str = SysAllocString(name);
 367         if(str)
 368             hres = IDispatchEx_GetDispID(dispex, str, make_grfdex(ctx, flags|fdexNameCaseSensitive), id);
 369         else
 370             hres = E_OUTOFMEMORY;
 371         IDispatchEx_Release(dispex);
 372         return hres;
 373     }
 374
 375     TRACE("using IDispatch\n");
 376
 377     return IDispatch_GetIDsOfNames(disp, &IID_NULL, &name, 1, 0, id);
 378 }
 379
 380 static inline BOOL var_is_null(const VARIANT *v)
 381 {
 382     return V_VT(v) == VT_NULL || (V_VT(v) == VT_DISPATCH && !V_DISPATCH(v));
 383 }
 384
 385 static HRESULT disp_cmp(IDispatch *disp1, IDispatch *disp2, BOOL *ret)
 386 {
 387     IObjectIdentity *identity;
 388     IUnknown *unk1, *unk2;
 389     HRESULT hres;
 390
 391     if(disp1 == disp2) {
 392         *ret = TRUE;
 393         return S_OK;
 394     }
 395
 396     if(!disp1 || !disp2) {
 397         *ret = FALSE;
 398         return S_OK;
 399     }
 400
 401     hres = IDispatch_QueryInterface(disp1, &IID_IUnknown, (void**)&unk1);
 402     if(FAILED(hres))
 403         return hres;
 404
 405     hres = IDispatch_QueryInterface(disp2, &IID_IUnknown, (void**)&unk2);
 406     if(FAILED(hres)) {
 407         IUnknown_Release(unk1);
 408         return hres;
 409     }
 410
 411     if(unk1 == unk2) {
 412         *ret = TRUE;
 413     }else {
 414         hres = IUnknown_QueryInterface(unk1, &IID_IObjectIdentity, (void**)&identity);
 415         if(SUCCEEDED(hres)) {
 416             hres = IObjectIdentity_IsEqualObject(identity, unk2);
 417             IObjectIdentity_Release(identity);
 418             *ret = hres == S_OK;
 419         }else {
 420             *ret = FALSE;
 421         }
 422     }
 423
 424     IUnknown_Release(unk1);
 425     IUnknown_Release(unk2);
 426     return S_OK;
 427 }
 428
 429 /* ECMA-262 3rd Edition    11.9.6 */
 430 static HRESULT equal2_values(jsval_t lval, jsval_t rval, BOOL *ret)
 431 {
 432     jsval_type_t type = jsval_type(lval);
 433
 434     TRACE("\n");
 435
 436     if(type != jsval_type(rval)) {
 437         if(is_null_instance(lval))
 438             *ret = is_null_instance(rval);
 439         else
 440             *ret = FALSE;
 441         return S_OK;
 442     }
 443
 444     switch(type) {
 445     case JSV_UNDEFINED:
 446     case JSV_NULL:
 447         *ret = TRUE;
 448         break;
 449     case JSV_OBJECT:
 450         return disp_cmp(get_object(lval), get_object(rval), ret);
 451     case JSV_STRING:
 452         *ret = jsstr_eq(get_string(lval), get_string(rval));
 453         break;
 454     case JSV_NUMBER:
 455         *ret = get_number(lval) == get_number(rval);
 456         break;
 457     case JSV_BOOL:
 458         *ret = !get_bool(lval) == !get_bool(rval);
 459         break;
 460     case JSV_VARIANT:
 461         FIXME("VARIANT not implemented\n");
 462         return E_NOTIMPL;
 463     }
 464
 465     return S_OK;
 466 }
 467
 468 static BOOL lookup_global_members(script_ctx_t *ctx, BSTR identifier, exprval_t *ret)
 469 {
 470     named_item_t *item;
 471     DISPID id;
 472     HRESULT hres;
 473
 474     for(item = ctx->named_items; item; item = item->next) {
 475         if(item->flags & SCRIPTITEM_GLOBALMEMBERS) {
 476             hres = disp_get_id(ctx, item->disp, identifier, identifier, 0, &id);
 477             if(SUCCEEDED(hres)) {
 478                 if(ret)
 479                     exprval_set_idref(ret, item->disp, id);
 480                 return TRUE;
 481             }
 482         }
 483     }
 484
 485     return FALSE;
 486 }
 487
 488 /* ECMA-262 3rd Edition    10.1.4 */
 489 static HRESULT identifier_eval(script_ctx_t *ctx, BSTR identifier, exprval_t *ret)
 490 {
 491     scope_chain_t *scope;
 492     named_item_t *item;
 493     DISPID id = 0;
 494     HRESULT hres;
 495
 496     TRACE("%s\n", debugstr_w(identifier));
 497
 498     for(scope = ctx->exec_ctx->scope_chain; scope; scope = scope->next) {
 499         if(scope->jsobj)
 500             hres = jsdisp_get_id(scope->jsobj, identifier, fdexNameImplicit, &id);
 501         else
 502             hres = disp_get_id(ctx, scope->obj, identifier, identifier, fdexNameImplicit, &id);
 503         if(SUCCEEDED(hres)) {
 504             exprval_set_idref(ret, scope->obj, id);
 505             return S_OK;
 506         }
 507     }
 508
 509     hres = jsdisp_get_id(ctx->global, identifier, 0, &id);
 510     if(SUCCEEDED(hres)) {
 511         exprval_set_idref(ret, to_disp(ctx->global), id);
 512         return S_OK;
 513     }
 514
 515     for(item = ctx->named_items; item; item = item->next) {
 516         if((item->flags & SCRIPTITEM_ISVISIBLE) && !strcmpW(item->name, identifier)) {
 517             if(!item->disp) {
 518                 IUnknown *unk;
 519
 520                 if(!ctx->site)
 521                     break;
 522
 523                 hres = IActiveScriptSite_GetItemInfo(ctx->site, identifier,
 524                                                      SCRIPTINFO_IUNKNOWN, &unk, NULL);
 525                 if(FAILED(hres)) {
 526                     WARN("GetItemInfo failed: %08x\n", hres);
 527                     break;
 528                 }
 529
 530                 hres = IUnknown_QueryInterface(unk, &IID_IDispatch, (void**)&item->disp);
 531                 IUnknown_Release(unk);
 532                 if(FAILED(hres)) {
 533                     WARN("object does not implement IDispatch\n");
 534                     break;
 535                 }
 536             }
 537
 538             IDispatch_AddRef(item->disp);
 539             ret->type = EXPRVAL_JSVAL;
 540             ret->u.val = jsval_disp(item->disp);
 541             return S_OK;
 542         }
 543     }
 544
 545     if(lookup_global_members(ctx, identifier, ret))
 546         return S_OK;
 547
 548     ret->type = EXPRVAL_INVALID;
 549     return S_OK;
 550 }
 551
 552 static inline BSTR get_op_bstr(exec_ctx_t *ctx, int i){
 553     return ctx->code->instrs[ctx->ip].u.arg[i].bstr;
 554 }
 555
 556 static inline unsigned get_op_uint(exec_ctx_t *ctx, int i){
 557     return ctx->code->instrs[ctx->ip].u.arg[i].uint;
 558 }
 559
 560 static inline unsigned get_op_int(exec_ctx_t *ctx, int i){
 561     return ctx->code->instrs[ctx->ip].u.arg[i].lng;
 562 }
 563
 564 static inline jsstr_t *get_op_str(exec_ctx_t *ctx, int i){
 565     return ctx->code->instrs[ctx->ip].u.arg[i].str;
 566 }
 567
 568 static inline double get_op_double(exec_ctx_t *ctx){
 569     return ctx->code->instrs[ctx->ip].u.dbl;
 570 }
 571
 572 /* ECMA-262 3rd Edition    12.2 */
 573 static HRESULT interp_var_set(exec_ctx_t *ctx)
 574 {
 575     const BSTR name = get_op_bstr(ctx, 0);
 576     jsval_t val;
 577     HRESULT hres;
 578
 579     TRACE("%s\n", debugstr_w(name));
 580
 581     val = stack_pop(ctx);
 582     hres = jsdisp_propput_name(ctx->var_disp, name, val);
 583     jsval_release(val);
 584     return hres;
 585 }
 586
 587 /* ECMA-262 3rd Edition    12.6.4 */
 588 static HRESULT interp_forin(exec_ctx_t *ctx)
 589 {
 590     const HRESULT arg = get_op_uint(ctx, 0);
 591     IDispatch *var_obj, *obj = NULL;
 592     IDispatchEx *dispex;
 593     DISPID id, var_id;
 594     BSTR name = NULL;
 595     jsval_t val;
 596     HRESULT hres;
 597
 598     TRACE("\n");
 599
 600     val = stack_pop(ctx);
 601
 602     assert(is_number(stack_top(ctx)));
 603     id = get_number(stack_top(ctx));
 604
 605     var_obj = stack_topn_objid(ctx, 1, &var_id);
 606     if(!var_obj) {
 607         FIXME("invalid ref\n");
 608         jsval_release(val);
 609         return E_FAIL;
 610     }
 611
 612     if(is_object_instance(stack_topn(ctx, 3)))
 613         obj = get_object(stack_topn(ctx, 3));
 614
 615     if(obj) {
 616         hres = IDispatch_QueryInterface(obj, &IID_IDispatchEx, (void**)&dispex);
 617         if(SUCCEEDED(hres)) {
 618             hres = IDispatchEx_GetNextDispID(dispex, fdexEnumDefault, id, &id);
 619             if(hres == S_OK)
 620                 hres = IDispatchEx_GetMemberName(dispex, id, &name);
 621             IDispatchEx_Release(dispex);
 622             if(FAILED(hres)) {
 623                 jsval_release(val);
 624                 return hres;
 625             }
 626         }else {
 627             TRACE("No IDispatchEx\n");
 628         }
 629     }
 630
 631     if(name) {
 632         jsstr_t *str;
 633
 634         str = jsstr_alloc_len(name, SysStringLen(name));
 635         SysFreeString(name);
 636         if(!str)
 637             return E_OUTOFMEMORY;
 638
 639         jsval_release(val);
 640         stack_pop(ctx);
 641         stack_push(ctx, jsval_number(id)); /* safe, just after pop() */
 642
 643         hres = disp_propput(ctx->script, var_obj, var_id, jsval_string(str));
 644         jsstr_release(str);
 645         if(FAILED(hres))
 646             return hres;
 647
 648         ctx->ip++;
 649     }else {
 650         stack_popn(ctx, 4);
 651         ctx->ip = arg;
 652         return stack_push(ctx, val);
 653     }
 654     return S_OK;
 655 }
 656
 657 /* ECMA-262 3rd Edition    12.10 */
 658 static HRESULT interp_push_scope(exec_ctx_t *ctx)
 659 {
 660     IDispatch *disp;
 661     jsval_t v;
 662     HRESULT hres;
 663
 664     TRACE("\n");
 665
 666     v = stack_pop(ctx);
 667     hres = to_object(ctx->script, v, &disp);
 668     jsval_release(v);
 669     if(FAILED(hres))
 670         return hres;
 671
 672     hres = scope_push(ctx->scope_chain, to_jsdisp(disp), disp, &ctx->scope_chain);
 673     IDispatch_Release(disp);
 674     return hres;
 675 }
 676
 677 /* ECMA-262 3rd Edition    12.10 */
 678 static HRESULT interp_pop_scope(exec_ctx_t *ctx)
 679 {
 680     TRACE("\n");
 681
 682     scope_pop(&ctx->scope_chain);
 683     return S_OK;
 684 }
 685
 686 /* ECMA-262 3rd Edition    12.13 */
 687 static HRESULT interp_case(exec_ctx_t *ctx)
 688 {
 689     const unsigned arg = get_op_uint(ctx, 0);
 690     jsval_t v;
 691     BOOL b;
 692     HRESULT hres;
 693
 694     TRACE("\n");
 695
 696     v = stack_pop(ctx);
 697     hres = equal2_values(stack_top(ctx), v, &b);
 698     jsval_release(v);
 699     if(FAILED(hres))
 700         return hres;
 701
 702     if(b) {
 703         stack_popn(ctx, 1);
 704         ctx->ip = arg;
 705     }else {
 706         ctx->ip++;
 707     }
 708     return S_OK;
 709 }
 710
 711 /* ECMA-262 3rd Edition    12.13 */
 712 static HRESULT interp_throw(exec_ctx_t *ctx)
 713 {
 714     TRACE("\n");
 715
 716     jsval_release(ctx->script->ei.val);
 717     ctx->script->ei.val = stack_pop(ctx);
 718     return DISP_E_EXCEPTION;
 719 }
 720
 721 static HRESULT interp_throw_ref(exec_ctx_t *ctx)
 722 {
 723     const HRESULT arg = get_op_uint(ctx, 0);
 724
 725     TRACE("%08x\n", arg);
 726
 727     return throw_reference_error(ctx->script, arg, NULL);
 728 }
 729
 730 static HRESULT interp_throw_type(exec_ctx_t *ctx)
 731 {
 732     const HRESULT hres = get_op_uint(ctx, 0);
 733     jsstr_t *str = get_op_str(ctx, 1);
 734
 735     TRACE("%08x %s\n", hres, debugstr_jsstr(str));
 736
 737     return throw_type_error(ctx->script, hres, str->str);
 738 }
 739
 740 /* ECMA-262 3rd Edition    12.14 */
 741 static HRESULT interp_push_except(exec_ctx_t *ctx)
 742 {
 743     const unsigned arg1 = get_op_uint(ctx, 0);
 744     const BSTR arg2 = get_op_bstr(ctx, 1);
 745     except_frame_t *except;
 746     unsigned stack_top;
 747
 748     TRACE("\n");
 749
 750     stack_top = ctx->top;
 751
 752     if(!arg2) {
 753         HRESULT hres;
 754
 755         hres = stack_push(ctx, jsval_bool(TRUE));
 756         if(FAILED(hres))
 757             return hres;
 758         hres = stack_push(ctx, jsval_bool(TRUE));
 759         if(FAILED(hres))
 760             return hres;
 761     }
 762
 763     except = heap_alloc(sizeof(*except));
 764     if(!except)
 765         return E_OUTOFMEMORY;
 766
 767     except->stack_top = stack_top;
 768     except->scope = ctx->scope_chain;
 769     except->catch_off = arg1;
 770     except->ident = arg2;
 771     except->next = ctx->except_frame;
 772     ctx->except_frame = except;
 773     return S_OK;
 774 }
 775
 776 /* ECMA-262 3rd Edition    12.14 */
 777 static HRESULT interp_pop_except(exec_ctx_t *ctx)
 778 {
 779     except_frame_t *except;
 780
 781     TRACE("\n");
 782
 783     except = ctx->except_frame;
 784     assert(except != NULL);
 785
 786     ctx->except_frame = except->next;
 787     heap_free(except);
 788     return S_OK;
 789 }
 790
 791 /* ECMA-262 3rd Edition    12.14 */
 792 static HRESULT interp_end_finally(exec_ctx_t *ctx)
 793 {
 794     jsval_t v;
 795
 796     TRACE("\n");
 797
 798     v = stack_pop(ctx);
 799
 800     assert(is_bool(stack_top(ctx)));
 801     if(!get_bool(stack_top(ctx))) {
 802         TRACE("passing exception\n");
 803
 804         jsval_release(v);
 805         stack_popn(ctx, 1);
 806
 807         ctx->script->ei.val = stack_pop(ctx);
 808         return DISP_E_EXCEPTION;
 809     }
 810
 811     stack_popn(ctx, 2);
 812     return stack_push(ctx, v);
 813 }
 814
 815 /* ECMA-262 3rd Edition    13 */
 816 static HRESULT interp_func(exec_ctx_t *ctx)
 817 {
 818     unsigned func_idx = get_op_uint(ctx, 0);
 819     jsdisp_t *dispex;
 820     HRESULT hres;
 821
 822     TRACE("%d\n", func_idx);
 823
 824     hres = create_source_function(ctx->script, ctx->code, ctx->func_code->funcs+func_idx,
 825             ctx->scope_chain, &dispex);
 826     if(FAILED(hres))
 827         return hres;
 828
 829     return stack_push(ctx, jsval_obj(dispex));
 830 }
 831
 832 /* ECMA-262 3rd Edition    11.2.1 */
 833 static HRESULT interp_array(exec_ctx_t *ctx)
 834 {
 835     jsval_t v, namev;
 836     IDispatch *obj;
 837     jsstr_t *name;
 838     DISPID id;
 839     HRESULT hres;
 840
 841     TRACE("\n");
 842
 843     namev = stack_pop(ctx);
 844
 845     hres = stack_pop_object(ctx, &obj);
 846     if(FAILED(hres)) {
 847         jsval_release(namev);
 848         return hres;
 849     }
 850
 851     hres = to_string(ctx->script, namev, &name);
 852     jsval_release(namev);
 853     if(FAILED(hres)) {
 854         IDispatch_Release(obj);
 855         return hres;
 856     }
 857
 858     hres = disp_get_id(ctx->script, obj, name->str, NULL, 0, &id);
 859     jsstr_release(name);
 860     if(SUCCEEDED(hres)) {
 861         hres = disp_propget(ctx->script, obj, id, &v);
 862     }else if(hres == DISP_E_UNKNOWNNAME) {
 863         v = jsval_undefined();
 864         hres = S_OK;
 865     }
 866     IDispatch_Release(obj);
 867     if(FAILED(hres))
 868         return hres;
 869
 870     return stack_push(ctx, v);
 871 }
 872
 873 /* ECMA-262 3rd Edition    11.2.1 */
 874 static HRESULT interp_member(exec_ctx_t *ctx)
 875 {
 876     const BSTR arg = get_op_bstr(ctx, 0);
 877     IDispatch *obj;
 878     jsval_t v;
 879     DISPID id;
 880     HRESULT hres;
 881
 882     TRACE("\n");
 883
 884     hres = stack_pop_object(ctx, &obj);
 885     if(FAILED(hres))
 886         return hres;
 887
 888     hres = disp_get_id(ctx->script, obj, arg, arg, 0, &id);
 889     if(SUCCEEDED(hres)) {
 890         hres = disp_propget(ctx->script, obj, id, &v);
 891     }else if(hres == DISP_E_UNKNOWNNAME) {
 892         v = jsval_undefined();
 893         hres = S_OK;
 894     }
 895     IDispatch_Release(obj);
 896     if(FAILED(hres))
 897         return hres;
 898
 899     return stack_push(ctx, v);
 900 }
 901
 902 /* ECMA-262 3rd Edition    11.2.1 */
 903 static HRESULT interp_memberid(exec_ctx_t *ctx)
 904 {
 905     const unsigned arg = get_op_uint(ctx, 0);
 906     jsval_t objv, namev;
 907     IDispatch *obj;
 908     jsstr_t *name;
 909     DISPID id;
 910     HRESULT hres;
 911
 912     TRACE("%x\n", arg);
 913
 914     namev = stack_pop(ctx);
 915     objv = stack_pop(ctx);
 916
 917     hres = to_object(ctx->script, objv, &obj);
 918     jsval_release(objv);
 919     if(SUCCEEDED(hres)) {
 920         hres = to_string(ctx->script, namev, &name);
 921         if(FAILED(hres))
 922             IDispatch_Release(obj);
 923     }
 924     jsval_release(namev);
 925     if(FAILED(hres))
 926         return hres;
 927
 928     hres = disp_get_id(ctx->script, obj, name->str, NULL, arg, &id);
 929     jsstr_release(name);
 930     if(FAILED(hres)) {
 931         IDispatch_Release(obj);
 932         if(hres == DISP_E_UNKNOWNNAME && !(arg & fdexNameEnsure)) {
 933             obj = NULL;
 934             id = JS_E_INVALID_PROPERTY;
 935         }else {
 936             ERR("failed %08x\n", hres);
 937             return hres;
 938         }
 939     }
 940
 941     return stack_push_objid(ctx, obj, id);
 942 }
 943
 944 /* ECMA-262 3rd Edition    11.2.1 */
 945 static HRESULT interp_refval(exec_ctx_t *ctx)
 946 {
 947     IDispatch *disp;
 948     jsval_t v;
 949     DISPID id;
 950     HRESULT hres;
 951
 952     TRACE("\n");
 953
 954     disp = stack_topn_objid(ctx, 0, &id);
 955     if(!disp)
 956         return throw_reference_error(ctx->script, JS_E_ILLEGAL_ASSIGN, NULL);
 957
 958     hres = disp_propget(ctx->script, disp, id, &v);
 959     if(FAILED(hres))
 960         return hres;
 961
 962     return stack_push(ctx, v);
 963 }
 964
 965 /* ECMA-262 3rd Edition    11.2.2 */
 966 static HRESULT interp_new(exec_ctx_t *ctx)
 967 {
 968     const unsigned argc = get_op_uint(ctx, 0);
 969     jsval_t r, constr;
 970     HRESULT hres;
 971
 972     TRACE("%d\n", argc);
 973
 974     constr = stack_topn(ctx, argc);
 975
 976     /* NOTE: Should use to_object here */
 977
 978     if(is_null(constr))
 979         return throw_type_error(ctx->script, JS_E_OBJECT_EXPECTED, NULL);
 980     else if(!is_object_instance(constr))
 981         return throw_type_error(ctx->script, JS_E_INVALID_ACTION, NULL);
 982     else if(!get_object(constr))
 983         return throw_type_error(ctx->script, JS_E_INVALID_PROPERTY, NULL);
 984
 985     hres = disp_call_value(ctx->script, get_object(constr), NULL, DISPATCH_CONSTRUCT, argc, stack_args(ctx, argc), &r);
 986     if(FAILED(hres))
 987         return hres;
 988
 989     stack_popn(ctx, argc+1);
 990     return stack_push(ctx, r);
 991 }
 992
 993 /* ECMA-262 3rd Edition    11.2.3 */
 994 static HRESULT interp_call(exec_ctx_t *ctx)
 995 {
 996     const unsigned argn = get_op_uint(ctx, 0);
 997     const int do_ret = get_op_int(ctx, 1);
 998     jsval_t r, obj;
 999     HRESULT hres;
1000
1001     TRACE("%d %d\n", argn, do_ret);
1002
1003     obj = stack_topn(ctx, argn);
1004     if(!is_object_instance(obj))
1005         return throw_type_error(ctx->script, JS_E_INVALID_PROPERTY, NULL);
1006
1007     hres = disp_call_value(ctx->script, get_object(obj), NULL, DISPATCH_METHOD, argn, stack_args(ctx, argn),
1008             do_ret ? &r : NULL);
1009     if(FAILED(hres))
1010         return hres;
1011
1012     stack_popn(ctx, argn+1);
1013     return do_ret ? stack_push(ctx, r) : S_OK;
1014 }
1015
1016 /* ECMA-262 3rd Edition    11.2.3 */
1017 static HRESULT interp_call_member(exec_ctx_t *ctx)
1018 {
1019     const unsigned argn = get_op_uint(ctx, 0);
1020     const int do_ret = get_op_int(ctx, 1);
1021     IDispatch *obj;
1022     jsval_t r;
1023     DISPID id;
1024     HRESULT hres;
1025
1026     TRACE("%d %d\n", argn, do_ret);
1027
1028     obj = stack_topn_objid(ctx, argn, &id);
1029     if(!obj)
1030         return throw_type_error(ctx->script, id, NULL);
1031
1032     hres = disp_call(ctx->script, obj, id, DISPATCH_METHOD, argn, stack_args(ctx, argn), do_ret ? &r : NULL);
1033     if(FAILED(hres))
1034         return hres;
1035
1036     stack_popn(ctx, argn+2);
1037     return do_ret ? stack_push(ctx, r) : S_OK;
1038
1039 }
1040
1041 /* ECMA-262 3rd Edition    11.1.1 */
1042 static HRESULT interp_this(exec_ctx_t *ctx)
1043 {
1044     TRACE("\n");
1045
1046     IDispatch_AddRef(ctx->this_obj);
1047     return stack_push(ctx, jsval_disp(ctx->this_obj));
1048 }
1049
1050 /* ECMA-262 3rd Edition    10.1.4 */
1051 static HRESULT interp_ident(exec_ctx_t *ctx)
1052 {
1053     const BSTR arg = get_op_bstr(ctx, 0);
1054     exprval_t exprval;
1055     jsval_t v;
1056     HRESULT hres;
1057
1058     TRACE("%s\n", debugstr_w(arg));
1059
1060     hres = identifier_eval(ctx->script, arg, &exprval);
1061     if(FAILED(hres))
1062         return hres;
1063
1064     if(exprval.type == EXPRVAL_INVALID)
1065         return throw_type_error(ctx->script, JS_E_UNDEFINED_VARIABLE, arg);
1066
1067     hres = exprval_to_value(ctx->script, &exprval, &v);
1068     exprval_release(&exprval);
1069     if(FAILED(hres))
1070         return hres;
1071
1072     return stack_push(ctx, v);
1073 }
1074
1075 /* ECMA-262 3rd Edition    10.1.4 */
1076 static HRESULT interp_identid(exec_ctx_t *ctx)
1077 {
1078     const BSTR arg = get_op_bstr(ctx, 0);
1079     const unsigned flags = get_op_uint(ctx, 1);
1080     exprval_t exprval;
1081     HRESULT hres;
1082
1083     TRACE("%s %x\n", debugstr_w(arg), flags);
1084
1085     hres = identifier_eval(ctx->script, arg, &exprval);
1086     if(FAILED(hres))
1087         return hres;
1088
1089     if(exprval.type == EXPRVAL_INVALID && (flags & fdexNameEnsure)) {
1090         DISPID id;
1091
1092         hres = jsdisp_get_id(ctx->script->global, arg, fdexNameEnsure, &id);
1093         if(FAILED(hres))
1094             return hres;
1095
1096         exprval_set_idref(&exprval, to_disp(ctx->script->global), id);
1097     }
1098
1099     if(exprval.type != EXPRVAL_IDREF) {
1100         WARN("invalid ref\n");
1101         exprval_release(&exprval);
1102         return stack_push_objid(ctx, NULL, JS_E_OBJECT_EXPECTED);
1103     }
1104
1105     return stack_push_objid(ctx, exprval.u.idref.disp, exprval.u.idref.id);
1106 }
1107
1108 /* ECMA-262 3rd Edition    7.8.1 */
1109 static HRESULT interp_null(exec_ctx_t *ctx)
1110 {
1111     TRACE("\n");
1112
1113     return stack_push(ctx, jsval_null());
1114 }
1115
1116 /* ECMA-262 3rd Edition    7.8.2 */
1117 static HRESULT interp_bool(exec_ctx_t *ctx)
1118 {
1119     const int arg = get_op_int(ctx, 0);
1120
1121     TRACE("%s\n", arg ? "true" : "false");
1122
1123     return stack_push(ctx, jsval_bool(arg));
1124 }
1125
1126 /* ECMA-262 3rd Edition    7.8.3 */
1127 static HRESULT interp_int(exec_ctx_t *ctx)
1128 {
1129     const int arg = get_op_int(ctx, 0);
1130
1131     TRACE("%d\n", arg);
1132
1133     return stack_push(ctx, jsval_number(arg));
1134 }
1135
1136 /* ECMA-262 3rd Edition    7.8.3 */
1137 static HRESULT interp_double(exec_ctx_t *ctx)
1138 {
1139     const double arg = get_op_double(ctx);
1140
1141     TRACE("%lf\n", arg);
1142
1143     return stack_push(ctx, jsval_number(arg));
1144 }
1145
1146 /* ECMA-262 3rd Edition    7.8.4 */
1147 static HRESULT interp_str(exec_ctx_t *ctx)
1148 {
1149     jsstr_t *str = get_op_str(ctx, 0);
1150
1151     TRACE("%s\n", debugstr_jsstr(str));
1152
1153     return stack_push(ctx, jsval_string(jsstr_addref(str)));
1154 }
1155
1156 /* ECMA-262 3rd Edition    7.8 */
1157 static HRESULT interp_regexp(exec_ctx_t *ctx)
1158 {
1159     jsstr_t *source = get_op_str(ctx, 0);
1160     const unsigned flags = get_op_uint(ctx, 1);
1161     jsdisp_t *regexp;
1162     HRESULT hres;
1163
1164     TRACE("%s %x\n", debugstr_jsstr(source), flags);
1165
1166     hres = create_regexp(ctx->script, source, flags, &regexp);
1167     if(FAILED(hres))
1168         return hres;
1169
1170     return stack_push(ctx, jsval_obj(regexp));
1171 }
1172
1173 /* ECMA-262 3rd Edition    11.1.4 */
1174 static HRESULT interp_carray(exec_ctx_t *ctx)
1175 {
1176     const unsigned arg = get_op_uint(ctx, 0);
1177     jsdisp_t *array;
1178     jsval_t val;
1179     unsigned i;
1180     HRESULT hres;
1181
1182     TRACE("%u\n", arg);
1183
1184     hres = create_array(ctx->script, arg, &array);
1185     if(FAILED(hres))
1186         return hres;
1187
1188     i = arg;
1189     while(i--) {
1190         val = stack_pop(ctx);
1191         hres = jsdisp_propput_idx(array, i, val);
1192         jsval_release(val);
1193         if(FAILED(hres)) {
1194             jsdisp_release(array);
1195             return hres;
1196         }
1197     }
1198
1199     return stack_push(ctx, jsval_obj(array));
1200 }
1201
1202 /* ECMA-262 3rd Edition    11.1.5 */
1203 static HRESULT interp_new_obj(exec_ctx_t *ctx)
1204 {
1205     jsdisp_t *obj;
1206     HRESULT hres;
1207
1208     TRACE("\n");
1209
1210     hres = create_object(ctx->script, NULL, &obj);
1211     if(FAILED(hres))
1212         return hres;
1213
1214     return stack_push(ctx, jsval_obj(obj));
1215 }
1216
1217 /* ECMA-262 3rd Edition    11.1.5 */
1218 static HRESULT interp_obj_prop(exec_ctx_t *ctx)
1219 {
1220     const BSTR name = get_op_bstr(ctx, 0);
1221     jsdisp_t *obj;
1222     jsval_t val;
1223     HRESULT hres;
1224
1225     TRACE("%s\n", debugstr_w(name));
1226
1227     val = stack_pop(ctx);
1228
1229     assert(is_object_instance(stack_top(ctx)));
1230     obj = as_jsdisp(get_object(stack_top(ctx)));
1231
1232     hres = jsdisp_propput_name(obj, name, val);
1233     jsval_release(val);
1234     return hres;
1235 }
1236
1237 /* ECMA-262 3rd Edition    11.11 */
1238 static HRESULT interp_cnd_nz(exec_ctx_t *ctx)
1239 {
1240     const unsigned arg = get_op_uint(ctx, 0);
1241     BOOL b;
1242     HRESULT hres;
1243
1244     TRACE("\n");
1245
1246     hres = to_boolean(stack_top(ctx), &b);
1247     if(FAILED(hres))
1248         return hres;
1249
1250     if(b) {
1251         ctx->ip = arg;
1252     }else {
1253         stack_popn(ctx, 1);
1254         ctx->ip++;
1255     }
1256     return S_OK;
1257 }
1258
1259 /* ECMA-262 3rd Edition    11.11 */
1260 static HRESULT interp_cnd_z(exec_ctx_t *ctx)
1261 {
1262     const unsigned arg = get_op_uint(ctx, 0);
1263     BOOL b;
1264     HRESULT hres;
1265
1266     TRACE("\n");
1267
1268     hres = to_boolean(stack_top(ctx), &b);
1269     if(FAILED(hres))
1270         return hres;
1271
1272     if(b) {
1273         stack_popn(ctx, 1);
1274         ctx->ip++;
1275     }else {
1276         ctx->ip = arg;
1277     }
1278     return S_OK;
1279 }
1280
1281 /* ECMA-262 3rd Edition    11.10 */
1282 static HRESULT interp_or(exec_ctx_t *ctx)
1283 {
1284     INT l, r;
1285     HRESULT hres;
1286
1287     TRACE("\n");
1288
1289     hres = stack_pop_int(ctx, &r);
1290     if(FAILED(hres))
1291         return hres;
1292
1293     hres = stack_pop_int(ctx, &l);
1294     if(FAILED(hres))
1295         return hres;
1296
1297     return stack_push(ctx, jsval_number(l|r));
1298 }
1299
1300 /* ECMA-262 3rd Edition    11.10 */
1301 static HRESULT interp_xor(exec_ctx_t *ctx)
1302 {
1303     INT l, r;
1304     HRESULT hres;
1305
1306     TRACE("\n");
1307
1308     hres = stack_pop_int(ctx, &r);
1309     if(FAILED(hres))
1310         return hres;
1311
1312     hres = stack_pop_int(ctx, &l);
1313     if(FAILED(hres))
1314         return hres;
1315
1316     return stack_push(ctx, jsval_number(l^r));
1317 }
1318
1319 /* ECMA-262 3rd Edition    11.10 */
1320 static HRESULT interp_and(exec_ctx_t *ctx)
1321 {
1322     INT l, r;
1323     HRESULT hres;
1324
1325     TRACE("\n");
1326
1327     hres = stack_pop_int(ctx, &r);
1328     if(FAILED(hres))
1329         return hres;
1330
1331     hres = stack_pop_int(ctx, &l);
1332     if(FAILED(hres))
1333         return hres;
1334
1335     return stack_push(ctx, jsval_number(l&r));
1336 }
1337
1338 /* ECMA-262 3rd Edition    11.8.6 */
1339 static HRESULT interp_instanceof(exec_ctx_t *ctx)
1340 {
1341     jsdisp_t *obj, *iter, *tmp = NULL;
1342     jsval_t prot, v;
1343     BOOL ret = FALSE;
1344     HRESULT hres;
1345
1346     static const WCHAR prototypeW[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
1347
1348     v = stack_pop(ctx);
1349     if(!is_object_instance(v) || !get_object(v)) {
1350         jsval_release(v);
1351         return throw_type_error(ctx->script, JS_E_FUNCTION_EXPECTED, NULL);
1352     }
1353
1354     obj = iface_to_jsdisp((IUnknown*)get_object(v));
1355     IDispatch_Release(get_object(v));
1356     if(!obj) {
1357         FIXME("non-jsdisp objects not supported\n");
1358         return E_FAIL;
1359     }
1360
1361     if(is_class(obj, JSCLASS_FUNCTION)) {
1362         hres = jsdisp_propget_name(obj, prototypeW, &prot);
1363     }else {
1364         hres = throw_type_error(ctx->script, JS_E_FUNCTION_EXPECTED, NULL);
1365     }
1366     jsdisp_release(obj);
1367     if(FAILED(hres))
1368         return hres;
1369
1370     v = stack_pop(ctx);
1371
1372     if(is_object_instance(prot)) {
1373         if(is_object_instance(v))
1374             tmp = iface_to_jsdisp((IUnknown*)get_object(v));
1375         for(iter = tmp; !ret && iter; iter = iter->prototype) {
1376             hres = disp_cmp(get_object(prot), to_disp(iter), &ret);
1377             if(FAILED(hres))
1378                 break;
1379         }
1380
1381         if(tmp)
1382             jsdisp_release(tmp);
1383     }else {
1384         FIXME("prototype is not an object\n");
1385         hres = E_FAIL;
1386     }
1387
1388     jsval_release(prot);
1389     jsval_release(v);
1390     if(FAILED(hres))
1391         return hres;
1392
1393     return stack_push(ctx, jsval_bool(ret));
1394 }
1395
1396 /* ECMA-262 3rd Edition    11.8.7 */
1397 static HRESULT interp_in(exec_ctx_t *ctx)
1398 {
1399     jsval_t obj, v;
1400     DISPID id = 0;
1401     BOOL ret;
1402     jsstr_t *str;
1403     HRESULT hres;
1404
1405     TRACE("\n");
1406
1407     obj = stack_pop(ctx);
1408     if(!is_object_instance(obj) || !get_object(obj)) {
1409         jsval_release(obj);
1410         return throw_type_error(ctx->script, JS_E_OBJECT_EXPECTED, NULL);
1411     }
1412
1413     v = stack_pop(ctx);
1414     hres = to_string(ctx->script, v, &str);
1415     jsval_release(v);
1416     if(FAILED(hres)) {
1417         IDispatch_Release(get_object(obj));
1418         return hres;
1419     }
1420
1421     hres = disp_get_id(ctx->script, get_object(obj), str->str, NULL, 0, &id);
1422     IDispatch_Release(get_object(obj));
1423     jsstr_release(str);
1424     if(SUCCEEDED(hres))
1425         ret = TRUE;
1426     else if(hres == DISP_E_UNKNOWNNAME)
1427         ret = FALSE;
1428     else
1429         return hres;
1430
1431     return stack_push(ctx, jsval_bool(ret));
1432 }
1433
1434 /* ECMA-262 3rd Edition    11.6.1 */
1435 static HRESULT add_eval(script_ctx_t *ctx, jsval_t lval, jsval_t rval, jsval_t *ret)
1436 {
1437     jsval_t r, l;
1438     HRESULT hres;
1439
1440     hres = to_primitive(ctx, lval, &l, NO_HINT);
1441     if(FAILED(hres))
1442         return hres;
1443
1444     hres = to_primitive(ctx, rval, &r, NO_HINT);
1445     if(FAILED(hres)) {
1446         jsval_release(l);
1447         return hres;
1448     }
1449
1450     if(is_string(l) || is_string(r)) {
1451         jsstr_t *lstr, *rstr = NULL;
1452
1453         hres = to_string(ctx, l, &lstr);
1454         if(SUCCEEDED(hres))
1455             hres = to_string(ctx, r, &rstr);
1456
1457         if(SUCCEEDED(hres)) {
1458             unsigned len1, len2;
1459             jsstr_t *ret_str;
1460
1461             len1 = jsstr_length(lstr);
1462             len2 = jsstr_length(rstr);
1463
1464             ret_str = jsstr_alloc_buf(len1+len2);
1465             if(ret_str) {
1466                 if(len1)
1467                     memcpy(ret_str->str, lstr->str, len1*sizeof(WCHAR));
1468                 if(len2)
1469                     memcpy(ret_str->str+len1, rstr->str, len2*sizeof(WCHAR));
1470                 *ret = jsval_string(ret_str);
1471             }else {
1472                 hres = E_OUTOFMEMORY;
1473             }
1474         }
1475
1476         jsstr_release(lstr);
1477         if(rstr)
1478             jsstr_release(rstr);
1479     }else {
1480         double nl, nr;
1481
1482         hres = to_number(ctx, l, &nl);
1483         if(SUCCEEDED(hres)) {
1484             hres = to_number(ctx, r, &nr);
1485             if(SUCCEEDED(hres))
1486                 *ret = jsval_number(nl+nr);
1487         }
1488     }
1489
1490     jsval_release(r);
1491     jsval_release(l);
1492     return hres;
1493 }
1494
1495 /* ECMA-262 3rd Edition    11.6.1 */
1496 static HRESULT interp_add(exec_ctx_t *ctx)
1497 {
1498     jsval_t l, r, ret;
1499     HRESULT hres;
1500
1501     r = stack_pop(ctx);
1502     l = stack_pop(ctx);
1503
1504     TRACE("%s + %s\n", debugstr_jsval(l), debugstr_jsval(r));
1505
1506     hres = add_eval(ctx->script, l, r, &ret);
1507     jsval_release(l);
1508     jsval_release(r);
1509     if(FAILED(hres))
1510         return hres;
1511
1512     return stack_push(ctx, ret);
1513 }
1514
1515 /* ECMA-262 3rd Edition    11.6.2 */
1516 static HRESULT interp_sub(exec_ctx_t *ctx)
1517 {
1518     double l, r;
1519     HRESULT hres;
1520
1521     TRACE("\n");
1522
1523     hres = stack_pop_number(ctx, &r);
1524     if(FAILED(hres))
1525         return hres;
1526
1527     hres = stack_pop_number(ctx, &l);
1528     if(FAILED(hres))
1529         return hres;
1530
1531     return stack_push(ctx, jsval_number(l-r));
1532 }
1533
1534 /* ECMA-262 3rd Edition    11.5.1 */
1535 static HRESULT interp_mul(exec_ctx_t *ctx)
1536 {
1537     double l, r;
1538     HRESULT hres;
1539
1540     TRACE("\n");
1541
1542     hres = stack_pop_number(ctx, &r);
1543     if(FAILED(hres))
1544         return hres;
1545
1546     hres = stack_pop_number(ctx, &l);
1547     if(FAILED(hres))
1548         return hres;
1549
1550     return stack_push(ctx, jsval_number(l*r));
1551 }
1552
1553 /* ECMA-262 3rd Edition    11.5.2 */
1554 static HRESULT interp_div(exec_ctx_t *ctx)
1555 {
1556     double l, r;
1557     HRESULT hres;
1558
1559     TRACE("\n");
1560
1561     hres = stack_pop_number(ctx, &r);
1562     if(FAILED(hres))
1563         return hres;
1564
1565     hres = stack_pop_number(ctx, &l);
1566     if(FAILED(hres))
1567         return hres;
1568
1569     return stack_push(ctx, jsval_number(l/r));
1570 }
1571
1572 /* ECMA-262 3rd Edition    11.5.3 */
1573 static HRESULT interp_mod(exec_ctx_t *ctx)
1574 {
1575     double l, r;
1576     HRESULT hres;
1577
1578     TRACE("\n");
1579
1580     hres = stack_pop_number(ctx, &r);
1581     if(FAILED(hres))
1582         return hres;
1583
1584     hres = stack_pop_number(ctx, &l);
1585     if(FAILED(hres))
1586         return hres;
1587
1588     return stack_push(ctx, jsval_number(fmod(l, r)));
1589 }
1590
1591 /* ECMA-262 3rd Edition    11.4.2 */
1592 static HRESULT interp_delete(exec_ctx_t *ctx)
1593 {
1594     jsval_t objv, namev;
1595     IDispatch *obj;
1596     jsstr_t *name;
1597     BOOL ret;
1598     HRESULT hres;
1599
1600     TRACE("\n");
1601
1602     namev = stack_pop(ctx);
1603     objv = stack_pop(ctx);
1604
1605     hres = to_object(ctx->script, objv, &obj);
1606     jsval_release(objv);
1607     if(FAILED(hres)) {
1608         jsval_release(namev);
1609         return hres;
1610     }
1611
1612     hres = to_string(ctx->script, namev, &name);
1613     jsval_release(namev);
1614     if(FAILED(hres)) {
1615         IDispatch_Release(obj);
1616         return hres;
1617     }
1618
1619     hres = disp_delete_name(ctx->script, obj, name, &ret);
1620     IDispatch_Release(obj);
1621     jsstr_release(name);
1622     if(FAILED(hres))
1623         return hres;
1624
1625     return stack_push(ctx, jsval_bool(ret));
1626 }
1627
1628 /* ECMA-262 3rd Edition    11.4.2 */
1629 static HRESULT interp_delete_ident(exec_ctx_t *ctx)
1630 {
1631     const BSTR arg = get_op_bstr(ctx, 0);
1632     exprval_t exprval;
1633     BOOL ret;
1634     HRESULT hres;
1635
1636     TRACE("%s\n", debugstr_w(arg));
1637
1638     hres = identifier_eval(ctx->script, arg, &exprval);
1639     if(FAILED(hres))
1640         return hres;
1641
1642     if(exprval.type != EXPRVAL_IDREF) {
1643         FIXME("Unsupported exprval\n");
1644         exprval_release(&exprval);
1645         return E_NOTIMPL;
1646     }
1647
1648     hres = disp_delete(exprval.u.idref.disp, exprval.u.idref.id, &ret);
1649     IDispatch_Release(exprval.u.idref.disp);
1650     if(FAILED(hres))
1651         return ret;
1652
1653     return stack_push(ctx, jsval_bool(ret));
1654 }
1655
1656 /* ECMA-262 3rd Edition    11.4.2 */
1657 static HRESULT interp_void(exec_ctx_t *ctx)
1658 {
1659     TRACE("\n");
1660
1661     stack_popn(ctx, 1);
1662     return stack_push(ctx, jsval_undefined());
1663 }
1664
1665 /* ECMA-262 3rd Edition    11.4.3 */
1666 static HRESULT typeof_string(jsval_t v, const WCHAR **ret)
1667 {
1668     switch(jsval_type(v)) {
1669     case JSV_UNDEFINED:
1670         *ret = undefinedW;
1671         break;
1672     case JSV_NULL:
1673         *ret = objectW;
1674         break;
1675     case JSV_OBJECT: {
1676         jsdisp_t *dispex;
1677
1678         if(get_object(v) && (dispex = iface_to_jsdisp((IUnknown*)get_object(v)))) {
1679             *ret = is_class(dispex, JSCLASS_FUNCTION) ? functionW : objectW;
1680             jsdisp_release(dispex);
1681         }else {
1682             *ret = objectW;
1683         }
1684         break;
1685     }
1686     case JSV_STRING:
1687         *ret = stringW;
1688         break;
1689     case JSV_NUMBER:
1690         *ret = numberW;
1691         break;
1692     case JSV_BOOL:
1693         *ret = booleanW;
1694         break;
1695     case JSV_VARIANT:
1696         FIXME("unhandled variant %s\n", debugstr_variant(get_variant(v)));
1697         return E_NOTIMPL;
1698     }
1699
1700     return S_OK;
1701 }
1702
1703 /* ECMA-262 3rd Edition    11.4.3 */
1704 static HRESULT interp_typeofid(exec_ctx_t *ctx)
1705 {
1706     const WCHAR *ret;
1707     IDispatch *obj;
1708     jsval_t v;
1709     DISPID id;
1710     HRESULT hres;
1711
1712     static const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
1713
1714     TRACE("\n");
1715
1716     obj = stack_pop_objid(ctx, &id);
1717     if(!obj)
1718         return stack_push_string(ctx, undefinedW);
1719
1720     hres = disp_propget(ctx->script, obj, id, &v);
1721     IDispatch_Release(obj);
1722     if(FAILED(hres))
1723         return stack_push_string(ctx, unknownW);
1724
1725     hres = typeof_string(v, &ret);
1726     jsval_release(v);
1727     if(FAILED(hres))
1728         return hres;
1729
1730     return stack_push_string(ctx, ret);
1731 }
1732
1733 /* ECMA-262 3rd Edition    11.4.3 */
1734 static HRESULT interp_typeofident(exec_ctx_t *ctx)
1735 {
1736     const BSTR arg = get_op_bstr(ctx, 0);
1737     exprval_t exprval;
1738     const WCHAR *ret;
1739     jsval_t v;
1740     HRESULT hres;
1741
1742     TRACE("%s\n", debugstr_w(arg));
1743
1744     hres = identifier_eval(ctx->script, arg, &exprval);
1745     if(FAILED(hres))
1746         return hres;
1747
1748     if(exprval.type == EXPRVAL_INVALID) {
1749         hres = stack_push_string(ctx, undefinedW);
1750         exprval_release(&exprval);
1751         return hres;
1752     }
1753
1754     hres = exprval_to_value(ctx->script, &exprval, &v);
1755     exprval_release(&exprval);
1756     if(FAILED(hres))
1757         return hres;
1758
1759     hres = typeof_string(v, &ret);
1760     jsval_release(v);
1761     if(FAILED(hres))
1762         return hres;
1763
1764     return stack_push_string(ctx, ret);
1765 }
1766
1767 /* ECMA-262 3rd Edition    11.4.3 */
1768 static HRESULT interp_typeof(exec_ctx_t *ctx)
1769 {
1770     const WCHAR *ret;
1771     jsval_t v;
1772     HRESULT hres;
1773
1774     TRACE("\n");
1775
1776     v = stack_pop(ctx);
1777     hres = typeof_string(v, &ret);
1778     jsval_release(v);
1779     if(FAILED(hres))
1780         return hres;
1781
1782     return stack_push_string(ctx, ret);
1783 }
1784
1785 /* ECMA-262 3rd Edition    11.4.7 */
1786 static HRESULT interp_minus(exec_ctx_t *ctx)
1787 {
1788     double n;
1789     HRESULT hres;
1790
1791     TRACE("\n");
1792
1793     hres = stack_pop_number(ctx, &n);
1794     if(FAILED(hres))
1795         return hres;
1796
1797     return stack_push(ctx, jsval_number(-n));
1798 }
1799
1800 /* ECMA-262 3rd Edition    11.4.6 */
1801 static HRESULT interp_tonum(exec_ctx_t *ctx)
1802 {
1803     jsval_t v;
1804     double n;
1805     HRESULT hres;
1806
1807     TRACE("\n");
1808
1809     v = stack_pop(ctx);
1810     hres = to_number(ctx->script, v, &n);
1811     jsval_release(v);
1812     if(FAILED(hres))
1813         return hres;
1814
1815     return stack_push(ctx, jsval_number(n));
1816 }
1817
1818 /* ECMA-262 3rd Edition    11.3.1 */
1819 static HRESULT interp_postinc(exec_ctx_t *ctx)
1820 {
1821     const int arg = get_op_int(ctx, 0);
1822     IDispatch *obj;
1823     DISPID id;
1824     jsval_t v;
1825     HRESULT hres;
1826
1827     TRACE("%d\n", arg);
1828
1829     obj = stack_pop_objid(ctx, &id);
1830     if(!obj)
1831         return throw_type_error(ctx->script, JS_E_OBJECT_EXPECTED, NULL);
1832
1833     hres = disp_propget(ctx->script, obj, id, &v);
1834     if(SUCCEEDED(hres)) {
1835         double n;
1836
1837         hres = to_number(ctx->script, v, &n);
1838         if(SUCCEEDED(hres))
1839             hres = disp_propput(ctx->script, obj, id, jsval_number(n+(double)arg));
1840         if(FAILED(hres))
1841             jsval_release(v);
1842     }
1843     IDispatch_Release(obj);
1844     if(FAILED(hres))
1845         return hres;
1846
1847     return stack_push(ctx, v);
1848 }
1849
1850 /* ECMA-262 3rd Edition    11.4.4, 11.4.5 */
1851 static HRESULT interp_preinc(exec_ctx_t *ctx)
1852 {
1853     const int arg = get_op_int(ctx, 0);
1854     IDispatch *obj;
1855     double ret;
1856     DISPID id;
1857     jsval_t v;
1858     HRESULT hres;
1859
1860     TRACE("%d\n", arg);
1861
1862     obj = stack_pop_objid(ctx, &id);
1863     if(!obj)
1864         return throw_type_error(ctx->script, JS_E_OBJECT_EXPECTED, NULL);
1865
1866     hres = disp_propget(ctx->script, obj, id, &v);
1867     if(SUCCEEDED(hres)) {
1868         double n;
1869
1870         hres = to_number(ctx->script, v, &n);
1871         jsval_release(v);
1872         if(SUCCEEDED(hres)) {
1873             ret = n+(double)arg;
1874             hres = disp_propput(ctx->script, obj, id, jsval_number(ret));
1875         }
1876     }
1877     IDispatch_Release(obj);
1878     if(FAILED(hres))
1879         return hres;
1880
1881     return stack_push(ctx, jsval_number(ret));
1882 }
1883
1884 /* ECMA-262 3rd Edition    11.9.3 */
1885 static HRESULT equal_values(script_ctx_t *ctx, jsval_t lval, jsval_t rval, BOOL *ret)
1886 {
1887     if(jsval_type(lval) == jsval_type(rval) || (is_number(lval) && is_number(rval)))
1888        return equal2_values(lval, rval, ret);
1889
1890     /* FIXME: NULL disps should be handled in more general way */
1891     if(is_object_instance(lval) && !get_object(lval))
1892         return equal_values(ctx, jsval_null(), rval, ret);
1893     if(is_object_instance(rval) && !get_object(rval))
1894         return equal_values(ctx, lval, jsval_null(), ret);
1895
1896     if((is_null(lval) && is_undefined(rval)) || (is_undefined(lval) && is_null(rval))) {
1897         *ret = TRUE;
1898         return S_OK;
1899     }
1900
1901     if(is_string(lval) && is_number(rval)) {
1902         double n;
1903         HRESULT hres;
1904
1905         hres = to_number(ctx, lval, &n);
1906         if(FAILED(hres))
1907             return hres;
1908
1909         /* FIXME: optimize */
1910         return equal_values(ctx, jsval_number(n), rval, ret);
1911     }
1912
1913     if(is_string(rval) && is_number(lval)) {
1914         double n;
1915         HRESULT hres;
1916
1917         hres = to_number(ctx, rval, &n);
1918         if(FAILED(hres))
1919             return hres;
1920
1921         /* FIXME: optimize */
1922         return equal_values(ctx, lval, jsval_number(n), ret);
1923     }
1924
1925     if(is_bool(rval))
1926         return equal_values(ctx, lval, jsval_number(get_bool(rval) ? 1 : 0), ret);
1927
1928     if(is_bool(lval))
1929         return equal_values(ctx, jsval_number(get_bool(lval) ? 1 : 0), rval, ret);
1930
1931
1932     if(is_object_instance(rval) && (is_string(lval) || is_number(lval))) {
1933         jsval_t prim;
1934         HRESULT hres;
1935
1936         hres = to_primitive(ctx, rval, &prim, NO_HINT);
1937         if(FAILED(hres))
1938             return hres;
1939
1940         hres = equal_values(ctx, lval, prim, ret);
1941         jsval_release(prim);
1942         return hres;
1943     }
1944
1945
1946     if(is_object_instance(lval) && (is_string(rval) || is_number(rval))) {
1947         jsval_t prim;
1948         HRESULT hres;
1949
1950         hres = to_primitive(ctx, lval, &prim, NO_HINT);
1951         if(FAILED(hres))
1952             return hres;
1953
1954         hres = equal_values(ctx, prim, rval, ret);
1955         jsval_release(prim);
1956         return hres;
1957     }
1958
1959
1960     *ret = FALSE;
1961     return S_OK;
1962 }
1963
1964 /* ECMA-262 3rd Edition    11.9.1 */
1965 static HRESULT interp_eq(exec_ctx_t *ctx)
1966 {
1967     jsval_t l, r;
1968     BOOL b;
1969     HRESULT hres;
1970
1971     r = stack_pop(ctx);
1972     l = stack_pop(ctx);
1973
1974     TRACE("%s == %s\n", debugstr_jsval(l), debugstr_jsval(r));
1975
1976     hres = equal_values(ctx->script, l, r, &b);
1977     jsval_release(l);
1978     jsval_release(r);
1979     if(FAILED(hres))
1980         return hres;
1981
1982     return stack_push(ctx, jsval_bool(b));
1983 }
1984
1985 /* ECMA-262 3rd Edition    11.9.2 */
1986 static HRESULT interp_neq(exec_ctx_t *ctx)
1987 {
1988     jsval_t l, r;
1989     BOOL b;
1990     HRESULT hres;
1991
1992     r = stack_pop(ctx);
1993     l = stack_pop(ctx);
1994
1995     TRACE("%s != %s\n", debugstr_jsval(l), debugstr_jsval(r));
1996
1997     hres = equal_values(ctx->script, l, r, &b);
1998     jsval_release(l);
1999     jsval_release(r);
2000     if(FAILED(hres))
2001         return hres;
2002
2003     return stack_push(ctx, jsval_bool(!b));
2004 }
2005
2006 /* ECMA-262 3rd Edition    11.9.4 */
2007 static HRESULT interp_eq2(exec_ctx_t *ctx)
2008 {
2009     jsval_t l, r;
2010     BOOL b;
2011     HRESULT hres;
2012
2013     TRACE("\n");
2014
2015     r = stack_pop(ctx);
2016     l = stack_pop(ctx);
2017
2018     hres = equal2_values(r, l, &b);
2019     jsval_release(l);
2020     jsval_release(r);
2021     if(FAILED(hres))
2022         return hres;
2023
2024     return stack_push(ctx, jsval_bool(b));
2025 }
2026
2027 /* ECMA-262 3rd Edition    11.9.5 */
2028 static HRESULT interp_neq2(exec_ctx_t *ctx)
2029 {
2030     jsval_t l, r;
2031     BOOL b;
2032     HRESULT hres;
2033
2034     TRACE("\n");
2035
2036     r = stack_pop(ctx);
2037     l = stack_pop(ctx);
2038
2039     hres = equal2_values(r, l, &b);
2040     jsval_release(l);
2041     jsval_release(r);
2042     if(FAILED(hres))
2043         return hres;
2044
2045     return stack_push(ctx, jsval_bool(!b));
2046 }
2047
2048 /* ECMA-262 3rd Edition    11.8.5 */
2049 static HRESULT less_eval(script_ctx_t *ctx, jsval_t lval, jsval_t rval, BOOL greater, BOOL *ret)
2050 {
2051     double ln, rn;
2052     jsval_t l, r;
2053     HRESULT hres;
2054
2055     hres = to_primitive(ctx, lval, &l, NO_HINT);
2056     if(FAILED(hres))
2057         return hres;
2058
2059     hres = to_primitive(ctx, rval, &r, NO_HINT);
2060     if(FAILED(hres)) {
2061         jsval_release(l);
2062         return hres;
2063     }
2064
2065     if(is_string(l) && is_string(r)) {
2066         *ret = (jsstr_cmp(get_string(l), get_string(r)) < 0) ^ greater;
2067         jsstr_release(get_string(l));
2068         jsstr_release(get_string(r));
2069         return S_OK;
2070     }
2071
2072     hres = to_number(ctx, l, &ln);
2073     jsval_release(l);
2074     if(SUCCEEDED(hres))
2075         hres = to_number(ctx, r, &rn);
2076     jsval_release(r);
2077     if(FAILED(hres))
2078         return hres;
2079
2080     *ret = !isnan(ln) && !isnan(rn) && ((ln < rn) ^ greater);
2081     return S_OK;
2082 }
2083
2084 /* ECMA-262 3rd Edition    11.8.1 */
2085 static HRESULT interp_lt(exec_ctx_t *ctx)
2086 {
2087     jsval_t l, r;
2088     BOOL b;
2089     HRESULT hres;
2090
2091     r = stack_pop(ctx);
2092     l = stack_pop(ctx);
2093
2094     TRACE("%s < %s\n", debugstr_jsval(l), debugstr_jsval(r));
2095
2096     hres = less_eval(ctx->script, l, r, FALSE, &b);
2097     jsval_release(l);
2098     jsval_release(r);
2099     if(FAILED(hres))
2100         return hres;
2101
2102     return stack_push(ctx, jsval_bool(b));
2103 }
2104
2105 /* ECMA-262 3rd Edition    11.8.1 */
2106 static HRESULT interp_lteq(exec_ctx_t *ctx)
2107 {
2108     jsval_t l, r;
2109     BOOL b;
2110     HRESULT hres;
2111
2112     r = stack_pop(ctx);
2113     l = stack_pop(ctx);
2114
2115     TRACE("%s <= %s\n", debugstr_jsval(l), debugstr_jsval(r));
2116
2117     hres = less_eval(ctx->script, r, l, TRUE, &b);
2118     jsval_release(l);
2119     jsval_release(r);
2120     if(FAILED(hres))
2121         return hres;
2122
2123     return stack_push(ctx, jsval_bool(b));
2124 }
2125
2126 /* ECMA-262 3rd Edition    11.8.2 */
2127 static HRESULT interp_gt(exec_ctx_t *ctx)
2128 {
2129     jsval_t l, r;
2130     BOOL b;
2131     HRESULT hres;
2132
2133     r = stack_pop(ctx);
2134     l = stack_pop(ctx);
2135
2136     TRACE("%s > %s\n", debugstr_jsval(l), debugstr_jsval(r));
2137
2138     hres = less_eval(ctx->script, r, l, FALSE, &b);
2139     jsval_release(l);
2140     jsval_release(r);
2141     if(FAILED(hres))
2142         return hres;
2143
2144     return stack_push(ctx, jsval_bool(b));
2145 }
2146
2147 /* ECMA-262 3rd Edition    11.8.4 */
2148 static HRESULT interp_gteq(exec_ctx_t *ctx)
2149 {
2150     jsval_t l, r;
2151     BOOL b;
2152     HRESULT hres;
2153
2154     r = stack_pop(ctx);
2155     l = stack_pop(ctx);
2156
2157     TRACE("%s >= %s\n", debugstr_jsval(l), debugstr_jsval(r));
2158
2159     hres = less_eval(ctx->script, l, r, TRUE, &b);
2160     jsval_release(l);
2161     jsval_release(r);
2162     if(FAILED(hres))
2163         return hres;
2164
2165     return stack_push(ctx, jsval_bool(b));
2166 }
2167
2168 /* ECMA-262 3rd Edition    11.4.8 */
2169 static HRESULT interp_bneg(exec_ctx_t *ctx)
2170 {
2171     jsval_t v;
2172     INT i;
2173     HRESULT hres;
2174
2175     TRACE("\n");
2176
2177     v = stack_pop(ctx);
2178     hres = to_int32(ctx->script, v, &i);
2179     jsval_release(v);
2180     if(FAILED(hres))
2181         return hres;
2182
2183     return stack_push(ctx, jsval_number(~i));
2184 }
2185
2186 /* ECMA-262 3rd Edition    11.4.9 */
2187 static HRESULT interp_neg(exec_ctx_t *ctx)
2188 {
2189     jsval_t v;
2190     BOOL b;
2191     HRESULT hres;
2192
2193     TRACE("\n");
2194
2195     v = stack_pop(ctx);
2196     hres = to_boolean(v, &b);
2197     jsval_release(v);
2198     if(FAILED(hres))
2199         return hres;
2200
2201     return stack_push(ctx, jsval_bool(!b));
2202 }
2203
2204 /* ECMA-262 3rd Edition    11.7.1 */
2205 static HRESULT interp_lshift(exec_ctx_t *ctx)
2206 {
2207     DWORD r;
2208     INT l;
2209     HRESULT hres;
2210
2211     hres = stack_pop_uint(ctx, &r);
2212     if(FAILED(hres))
2213         return hres;
2214
2215     hres = stack_pop_int(ctx, &l);
2216     if(FAILED(hres))
2217         return hres;
2218
2219     return stack_push(ctx, jsval_number(l << (r&0x1f)));
2220 }
2221
2222 /* ECMA-262 3rd Edition    11.7.2 */
2223 static HRESULT interp_rshift(exec_ctx_t *ctx)
2224 {
2225     DWORD r;
2226     INT l;
2227     HRESULT hres;
2228
2229     hres = stack_pop_uint(ctx, &r);
2230     if(FAILED(hres))
2231         return hres;
2232
2233     hres = stack_pop_int(ctx, &l);
2234     if(FAILED(hres))
2235         return hres;
2236
2237     return stack_push(ctx, jsval_number(l >> (r&0x1f)));
2238 }
2239
2240 /* ECMA-262 3rd Edition    11.7.3 */
2241 static HRESULT interp_rshift2(exec_ctx_t *ctx)
2242 {
2243     DWORD r, l;
2244     HRESULT hres;
2245
2246     hres = stack_pop_uint(ctx, &r);
2247     if(FAILED(hres))
2248         return hres;
2249
2250     hres = stack_pop_uint(ctx, &l);
2251     if(FAILED(hres))
2252         return hres;
2253
2254     return stack_push(ctx, jsval_number(l >> (r&0x1f)));
2255 }
2256
2257 /* ECMA-262 3rd Edition    11.13.1 */
2258 static HRESULT interp_assign(exec_ctx_t *ctx)
2259 {
2260     IDispatch *disp;
2261     DISPID id;
2262     jsval_t v;
2263     HRESULT hres;
2264
2265     TRACE("\n");
2266
2267     v = stack_pop(ctx);
2268
2269     disp = stack_pop_objid(ctx, &id);
2270     if(!disp) {
2271         jsval_release(v);
2272         return throw_reference_error(ctx->script, JS_E_ILLEGAL_ASSIGN, NULL);
2273     }
2274
2275     hres = disp_propput(ctx->script, disp, id, v);
2276     IDispatch_Release(disp);
2277     if(FAILED(hres)) {
2278         jsval_release(v);
2279         return hres;
2280     }
2281
2282     return stack_push(ctx, v);
2283 }
2284
2285 /* JScript extension */
2286 static HRESULT interp_assign_call(exec_ctx_t *ctx)
2287 {
2288     const unsigned argc = get_op_uint(ctx, 0);
2289     IDispatch *disp;
2290     jsval_t v;
2291     DISPID id;
2292     HRESULT hres;
2293
2294     TRACE("%u\n", argc);
2295
2296     disp = stack_topn_objid(ctx, argc+1, &id);
2297     if(!disp)
2298         return throw_reference_error(ctx->script, JS_E_ILLEGAL_ASSIGN, NULL);
2299
2300     hres = disp_call(ctx->script, disp, id, DISPATCH_PROPERTYPUT, argc+1, stack_args(ctx, argc+1), NULL);
2301     if(FAILED(hres))
2302         return hres;
2303
2304     v = stack_pop(ctx);
2305     stack_popn(ctx, argc+2);
2306     return stack_push(ctx, v);
2307 }
2308
2309 static HRESULT interp_undefined(exec_ctx_t *ctx)
2310 {
2311     TRACE("\n");
2312
2313     return stack_push(ctx, jsval_undefined());
2314 }
2315
2316 static HRESULT interp_jmp(exec_ctx_t *ctx)
2317 {
2318     const unsigned arg = get_op_uint(ctx, 0);
2319
2320     TRACE("%u\n", arg);
2321
2322     ctx->ip = arg;
2323     return S_OK;
2324 }
2325
2326 static HRESULT interp_jmp_z(exec_ctx_t *ctx)
2327 {
2328     const unsigned arg = get_op_uint(ctx, 0);
2329     BOOL b;
2330     jsval_t v;
2331     HRESULT hres;
2332
2333     TRACE("\n");
2334
2335     v = stack_pop(ctx);
2336     hres = to_boolean(v, &b);
2337     jsval_release(v);
2338     if(FAILED(hres))
2339         return hres;
2340
2341     if(b)
2342         ctx->ip++;
2343     else
2344         ctx->ip = arg;
2345     return S_OK;
2346 }
2347
2348 static HRESULT interp_pop(exec_ctx_t *ctx)
2349 {
2350     TRACE("\n");
2351
2352     stack_popn(ctx, 1);
2353     return S_OK;
2354 }
2355
2356 static HRESULT interp_ret(exec_ctx_t *ctx)
2357 {
2358     TRACE("\n");
2359
2360     ctx->ip = -1;
2361     return S_OK;
2362 }
2363
2364 typedef HRESULT (*op_func_t)(exec_ctx_t*);
2365
2366 static const op_func_t op_funcs[] = {
2367 #define X(x,a,b,c) interp_##x,
2368 OP_LIST
2369 #undef X
2370 };
2371
2372 static const unsigned op_move[] = {
2373 #define X(a,x,b,c) x,
2374 OP_LIST
2375 #undef X
2376 };
2377
2378 static HRESULT unwind_exception(exec_ctx_t *ctx)
2379 {
2380     except_frame_t *except_frame;
2381     jsval_t except_val;
2382     BSTR ident;
2383     HRESULT hres;
2384
2385     except_frame = ctx->except_frame;
2386     ctx->except_frame = except_frame->next;
2387
2388     assert(except_frame->stack_top <= ctx->top);
2389     stack_popn(ctx, ctx->top - except_frame->stack_top);
2390
2391     while(except_frame->scope != ctx->scope_chain)
2392         scope_pop(&ctx->scope_chain);
2393
2394     ctx->ip = except_frame->catch_off;
2395
2396     except_val = ctx->script->ei.val;
2397     ctx->script->ei.val = jsval_undefined();
2398     clear_ei(ctx->script);
2399
2400     ident = except_frame->ident;
2401     heap_free(except_frame);
2402
2403     if(ident) {
2404         jsdisp_t *scope_obj;
2405
2406         hres = create_dispex(ctx->script, NULL, NULL, &scope_obj);
2407         if(SUCCEEDED(hres)) {
2408             hres = jsdisp_propput_name(scope_obj, ident, except_val);
2409             if(FAILED(hres))
2410                 jsdisp_release(scope_obj);
2411         }
2412         jsval_release(except_val);
2413         if(FAILED(hres))
2414             return hres;
2415
2416         hres = scope_push(ctx->scope_chain, scope_obj, to_disp(scope_obj), &ctx->scope_chain);
2417         jsdisp_release(scope_obj);
2418     }else {
2419         hres = stack_push(ctx, except_val);
2420         if(FAILED(hres))
2421             return hres;
2422
2423         hres = stack_push(ctx, jsval_bool(FALSE));
2424         if(FAILED(hres))
2425             return hres;
2426
2427         hres = stack_push(ctx, jsval_undefined());
2428     }
2429
2430     return hres;
2431 }
2432
2433 static HRESULT enter_bytecode(script_ctx_t *ctx, bytecode_t *code, function_code_t *func, jsval_t *ret)
2434 {
2435     exec_ctx_t *exec_ctx = ctx->exec_ctx;
2436     except_frame_t *prev_except_frame;
2437     function_code_t *prev_func;
2438     unsigned prev_ip, prev_top;
2439     scope_chain_t *prev_scope;
2440     bytecode_t *prev_code;
2441     jsop_t op;
2442     HRESULT hres = S_OK;
2443
2444     TRACE("\n");
2445
2446     prev_top = exec_ctx->top;
2447     prev_scope = exec_ctx->scope_chain;
2448     prev_except_frame = exec_ctx->except_frame;
2449     prev_ip = exec_ctx->ip;
2450     prev_code = exec_ctx->code;
2451     prev_func = exec_ctx->func_code;
2452     exec_ctx->ip = func->instr_off;
2453     exec_ctx->except_frame = NULL;
2454     exec_ctx->code = code;
2455     exec_ctx->func_code = func;
2456
2457     while(exec_ctx->ip != -1) {
2458         op = code->instrs[exec_ctx->ip].op;
2459         hres = op_funcs[op](exec_ctx);
2460         if(FAILED(hres)) {
2461             TRACE("EXCEPTION %08x\n", hres);
2462
2463             if(!exec_ctx->except_frame)
2464                 break;
2465
2466             hres = unwind_exception(exec_ctx);
2467             if(FAILED(hres))
2468                 break;
2469         }else {
2470             exec_ctx->ip += op_move[op];
2471         }
2472     }
2473
2474     exec_ctx->ip = prev_ip;
2475     exec_ctx->except_frame = prev_except_frame;
2476     exec_ctx->code = prev_code;
2477     exec_ctx->func_code = prev_func;
2478
2479     if(FAILED(hres)) {
2480         while(exec_ctx->scope_chain != prev_scope)
2481             scope_pop(&exec_ctx->scope_chain);
2482         stack_popn(exec_ctx, exec_ctx->top-prev_top);
2483         return hres;
2484     }
2485
2486     assert(exec_ctx->top == prev_top+1 || exec_ctx->top == prev_top);
2487     assert(exec_ctx->scope_chain == prev_scope);
2488
2489     if(exec_ctx->top == prev_top)
2490         *ret = jsval_undefined();
2491     else
2492         *ret = stack_pop(exec_ctx);
2493     return S_OK;
2494 }
2495
2496 HRESULT exec_source(exec_ctx_t *ctx, bytecode_t *code, function_code_t *func, BOOL from_eval, jsval_t *ret)
2497 {
2498     exec_ctx_t *prev_ctx;
2499     jsval_t val;
2500     unsigned i;
2501     HRESULT hres = S_OK;
2502
2503     for(i = 0; i < func->func_cnt; i++) {
2504         jsdisp_t *func_obj;
2505
2506         if(!func->funcs[i].name)
2507             continue;
2508
2509         hres = create_source_function(ctx->script, code, func->funcs+i, ctx->scope_chain, &func_obj);
2510         if(FAILED(hres))
2511             return hres;
2512
2513         hres = jsdisp_propput_name(ctx->var_disp, func->funcs[i].name, jsval_obj(func_obj));
2514         jsdisp_release(func_obj);
2515         if(FAILED(hres))
2516             return hres;
2517     }
2518
2519     for(i=0; i < func->var_cnt; i++) {
2520         if(!ctx->is_global || !lookup_global_members(ctx->script, func->variables[i], NULL)) {
2521             DISPID id = 0;
2522
2523             hres = jsdisp_get_id(ctx->var_disp, func->variables[i], fdexNameEnsure, &id);
2524             if(FAILED(hres))
2525                 return hres;
2526         }
2527     }
2528
2529     prev_ctx = ctx->script->exec_ctx;
2530     ctx->script->exec_ctx = ctx;
2531
2532     hres = enter_bytecode(ctx->script, code, func, &val);
2533     assert(ctx->script->exec_ctx == ctx);
2534     ctx->script->exec_ctx = prev_ctx;
2535     if(FAILED(hres))
2536         return hres;
2537
2538     if(ret)
2539         *ret = val;
2540     else
2541         jsval_release(val);
2542     return S_OK;
2543 }