2 * Copyright 2008,2011 Jacek Caban for CodeWeavers
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.
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.
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
20 #include "wine/port.h"
28 #include "wine/debug.h"
30 WINE_DEFAULT_DEBUG_CHANNEL(jscript
);
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};
40 struct _except_frame_t
{
49 static HRESULT
stack_push(exec_ctx_t
*ctx
, VARIANT
*v
)
51 if(!ctx
->stack_size
) {
52 ctx
->stack
= heap_alloc(16*sizeof(VARIANT
));
56 }else if(ctx
->stack_size
== ctx
->top
) {
59 new_stack
= heap_realloc(ctx
->stack
, ctx
->stack_size
*2*sizeof(VARIANT
));
65 ctx
->stack
= new_stack
;
69 ctx
->stack
[ctx
->top
++] = *v
;
73 static HRESULT
stack_push_bool(exec_ctx_t
*ctx
, BOOL b
)
78 V_BOOL(&v
) = b
? VARIANT_TRUE
: VARIANT_FALSE
;
79 return stack_push(ctx
, &v
);
82 static inline HRESULT
stack_push_number(exec_ctx_t
*ctx
, double number
)
86 num_set_val(&v
, number
);
87 return stack_push(ctx
, &v
);
90 static inline HRESULT
stack_push_int(exec_ctx_t
*ctx
, INT n
)
96 return stack_push(ctx
, &v
);
99 static inline HRESULT
stack_push_string(exec_ctx_t
*ctx
, const WCHAR
*str
)
104 V_BSTR(&v
) = SysAllocString(str
);
105 return V_BSTR(&v
) ? stack_push(ctx
, &v
) : E_OUTOFMEMORY
;
108 static HRESULT
stack_push_objid(exec_ctx_t
*ctx
, IDispatch
*disp
, DISPID id
)
113 V_VT(&v
) = VT_DISPATCH
;
114 V_DISPATCH(&v
) = disp
;
115 hres
= stack_push(ctx
, &v
);
121 return stack_push(ctx
, &v
);
124 static inline VARIANT
*stack_top(exec_ctx_t
*ctx
)
127 return ctx
->stack
+ ctx
->top
-1;
130 static inline VARIANT
*stack_topn(exec_ctx_t
*ctx
, unsigned n
)
132 assert(ctx
->top
> n
);
133 return ctx
->stack
+ ctx
->top
-1-n
;
136 static inline VARIANT
*stack_pop(exec_ctx_t
*ctx
)
139 return ctx
->stack
+ --ctx
->top
;
142 static void stack_popn(exec_ctx_t
*ctx
, unsigned n
)
145 VariantClear(stack_pop(ctx
));
148 static HRESULT
stack_pop_number(exec_ctx_t
*ctx
, VARIANT
*r
)
154 hres
= to_number(ctx
->parser
->script
, v
, ctx
->ei
, r
);
159 static HRESULT
stack_pop_object(exec_ctx_t
*ctx
, IDispatch
**r
)
165 if(V_VT(v
) == VT_DISPATCH
) {
167 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_REQUIRED
, NULL
);
172 hres
= to_object(ctx
->parser
->script
, v
, r
);
177 static inline HRESULT
stack_pop_int(exec_ctx_t
*ctx
, INT
*r
)
179 return to_int32(ctx
->parser
->script
, stack_pop(ctx
), ctx
->ei
, r
);
182 static inline HRESULT
stack_pop_uint(exec_ctx_t
*ctx
, DWORD
*r
)
184 return to_uint32(ctx
->parser
->script
, stack_pop(ctx
), ctx
->ei
, r
);
187 static inline IDispatch
*stack_pop_objid(exec_ctx_t
*ctx
, DISPID
*id
)
189 assert(V_VT(stack_top(ctx
)) == VT_INT
&& V_VT(stack_topn(ctx
, 1)) == VT_DISPATCH
);
191 *id
= V_INT(stack_pop(ctx
));
192 return V_DISPATCH(stack_pop(ctx
));
195 static inline IDispatch
*stack_topn_objid(exec_ctx_t
*ctx
, unsigned n
, DISPID
*id
)
197 assert(V_VT(stack_topn(ctx
, n
)) == VT_INT
&& V_VT(stack_topn(ctx
, n
+1)) == VT_DISPATCH
);
199 *id
= V_INT(stack_topn(ctx
, n
));
200 return V_DISPATCH(stack_topn(ctx
, n
+1));
203 static void exprval_release(exprval_t
*val
)
206 case EXPRVAL_VARIANT
:
207 if(V_VT(&val
->u
.var
) != VT_EMPTY
)
208 VariantClear(&val
->u
.var
);
211 if(val
->u
.idref
.disp
)
212 IDispatch_Release(val
->u
.idref
.disp
);
214 case EXPRVAL_INVALID
:
219 /* ECMA-262 3rd Edition 8.7.1 */
220 static HRESULT
exprval_value(script_ctx_t
*ctx
, exprval_t
*val
, jsexcept_t
*ei
, VARIANT
*ret
)
222 V_VT(ret
) = VT_EMPTY
;
225 case EXPRVAL_VARIANT
:
226 return VariantCopy(ret
, &val
->u
.var
);
228 if(!val
->u
.idref
.disp
) {
229 FIXME("throw ReferenceError\n");
233 return disp_propget(ctx
, val
->u
.idref
.disp
, val
->u
.idref
.id
, ret
, ei
);
234 case EXPRVAL_INVALID
:
238 ERR("type %d\n", val
->type
);
242 static HRESULT
exprval_to_value(script_ctx_t
*ctx
, exprval_t
*val
, jsexcept_t
*ei
, VARIANT
*ret
)
244 if(val
->type
== EXPRVAL_VARIANT
) {
246 V_VT(&val
->u
.var
) = VT_EMPTY
;
250 return exprval_value(ctx
, val
, ei
, ret
);
253 static void exprval_set_idref(exprval_t
*val
, IDispatch
*disp
, DISPID id
)
255 val
->type
= EXPRVAL_IDREF
;
256 val
->u
.idref
.disp
= disp
;
257 val
->u
.idref
.id
= id
;
260 IDispatch_AddRef(disp
);
263 HRESULT
scope_push(scope_chain_t
*scope
, jsdisp_t
*obj
, scope_chain_t
**ret
)
265 scope_chain_t
*new_scope
;
267 new_scope
= heap_alloc(sizeof(scope_chain_t
));
269 return E_OUTOFMEMORY
;
274 new_scope
->obj
= obj
;
278 new_scope
->next
= scope
;
280 new_scope
->next
= NULL
;
287 static void scope_pop(scope_chain_t
**scope
)
296 void scope_release(scope_chain_t
*scope
)
302 scope_release(scope
->next
);
304 jsdisp_release(scope
->obj
);
308 HRESULT
create_exec_ctx(script_ctx_t
*script_ctx
, IDispatch
*this_obj
, jsdisp_t
*var_disp
,
309 scope_chain_t
*scope
, BOOL is_global
, exec_ctx_t
**ret
)
313 ctx
= heap_alloc_zero(sizeof(exec_ctx_t
));
315 return E_OUTOFMEMORY
;
318 ctx
->is_global
= is_global
;
321 ctx
->this_obj
= this_obj
;
322 else if(script_ctx
->host_global
)
323 ctx
->this_obj
= script_ctx
->host_global
;
325 ctx
->this_obj
= to_disp(script_ctx
->global
);
326 IDispatch_AddRef(ctx
->this_obj
);
328 jsdisp_addref(var_disp
);
329 ctx
->var_disp
= var_disp
;
333 ctx
->scope_chain
= scope
;
340 void exec_release(exec_ctx_t
*ctx
)
346 scope_release(ctx
->scope_chain
);
348 jsdisp_release(ctx
->var_disp
);
350 IDispatch_Release(ctx
->this_obj
);
351 heap_free(ctx
->stack
);
355 static HRESULT
disp_get_id(script_ctx_t
*ctx
, IDispatch
*disp
, BSTR name
, DWORD flags
, DISPID
*id
)
360 hres
= IDispatch_QueryInterface(disp
, &IID_IDispatchEx
, (void**)&dispex
);
362 TRACE("unsing IDispatch\n");
365 return IDispatch_GetIDsOfNames(disp
, &IID_NULL
, &name
, 1, 0, id
);
369 hres
= IDispatchEx_GetDispID(dispex
, name
, make_grfdex(ctx
, flags
|fdexNameCaseSensitive
), id
);
370 IDispatchEx_Release(dispex
);
374 static inline BOOL
is_null(const VARIANT
*v
)
376 return V_VT(v
) == VT_NULL
|| (V_VT(v
) == VT_DISPATCH
&& !V_DISPATCH(v
));
379 static HRESULT
disp_cmp(IDispatch
*disp1
, IDispatch
*disp2
, BOOL
*ret
)
381 IObjectIdentity
*identity
;
382 IUnknown
*unk1
, *unk2
;
390 if(!disp1
|| !disp2
) {
395 hres
= IDispatch_QueryInterface(disp1
, &IID_IUnknown
, (void**)&unk1
);
399 hres
= IDispatch_QueryInterface(disp2
, &IID_IUnknown
, (void**)&unk2
);
401 IUnknown_Release(unk1
);
408 hres
= IUnknown_QueryInterface(unk1
, &IID_IObjectIdentity
, (void**)&identity
);
409 if(SUCCEEDED(hres
)) {
410 hres
= IObjectIdentity_IsEqualObject(identity
, unk2
);
411 IObjectIdentity_Release(identity
);
418 IUnknown_Release(unk1
);
419 IUnknown_Release(unk2
);
423 /* ECMA-262 3rd Edition 11.9.6 */
424 static HRESULT
equal2_values(VARIANT
*lval
, VARIANT
*rval
, BOOL
*ret
)
428 if(V_VT(lval
) != V_VT(rval
)) {
429 if(is_num_vt(V_VT(lval
)) && is_num_vt(V_VT(rval
)))
430 *ret
= num_val(lval
) == num_val(rval
);
431 else if(is_null(lval
))
432 *ret
= is_null(rval
);
444 *ret
= V_I4(lval
) == V_I4(rval
);
447 *ret
= V_R8(lval
) == V_R8(rval
);
451 *ret
= SysStringLen(V_BSTR(rval
))?FALSE
:TRUE
;
452 else if(!V_BSTR(rval
))
453 *ret
= SysStringLen(V_BSTR(lval
))?FALSE
:TRUE
;
455 *ret
= !strcmpW(V_BSTR(lval
), V_BSTR(rval
));
458 return disp_cmp(V_DISPATCH(lval
), V_DISPATCH(rval
), ret
);
460 *ret
= !V_BOOL(lval
) == !V_BOOL(rval
);
463 FIXME("unimplemented vt %d\n", V_VT(lval
));
470 static BOOL
lookup_global_members(script_ctx_t
*ctx
, BSTR identifier
, exprval_t
*ret
)
476 for(item
= ctx
->named_items
; item
; item
= item
->next
) {
477 if(item
->flags
& SCRIPTITEM_GLOBALMEMBERS
) {
478 hres
= disp_get_id(ctx
, item
->disp
, identifier
, 0, &id
);
479 if(SUCCEEDED(hres
)) {
481 exprval_set_idref(ret
, item
->disp
, id
);
490 /* ECMA-262 3rd Edition 10.1.4 */
491 static HRESULT
identifier_eval(script_ctx_t
*ctx
, BSTR identifier
, exprval_t
*ret
)
493 scope_chain_t
*scope
;
498 TRACE("%s\n", debugstr_w(identifier
));
500 for(scope
= ctx
->exec_ctx
->scope_chain
; scope
; scope
= scope
->next
) {
501 hres
= jsdisp_get_id(scope
->obj
, identifier
, 0, &id
);
502 if(SUCCEEDED(hres
)) {
503 exprval_set_idref(ret
, to_disp(scope
->obj
), id
);
508 hres
= jsdisp_get_id(ctx
->global
, identifier
, 0, &id
);
509 if(SUCCEEDED(hres
)) {
510 exprval_set_idref(ret
, to_disp(ctx
->global
), id
);
514 for(item
= ctx
->named_items
; item
; item
= item
->next
) {
515 if((item
->flags
& SCRIPTITEM_ISVISIBLE
) && !strcmpW(item
->name
, identifier
)) {
522 hres
= IActiveScriptSite_GetItemInfo(ctx
->site
, identifier
,
523 SCRIPTINFO_IUNKNOWN
, &unk
, NULL
);
525 WARN("GetItemInfo failed: %08x\n", hres
);
529 hres
= IUnknown_QueryInterface(unk
, &IID_IDispatch
, (void**)&item
->disp
);
530 IUnknown_Release(unk
);
532 WARN("object does not implement IDispatch\n");
537 ret
->type
= EXPRVAL_VARIANT
;
538 V_VT(&ret
->u
.var
) = VT_DISPATCH
;
539 V_DISPATCH(&ret
->u
.var
) = item
->disp
;
540 IDispatch_AddRef(item
->disp
);
545 if(lookup_global_members(ctx
, identifier
, ret
))
548 ret
->type
= EXPRVAL_INVALID
;
552 /* ECMA-262 3rd Edition 12.2 */
553 static HRESULT
interp_var_set(exec_ctx_t
*ctx
)
555 const BSTR name
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
559 TRACE("%s\n", debugstr_w(name
));
562 hres
= jsdisp_propput_name(ctx
->var_disp
, name
, v
, ctx
->ei
);
567 /* ECMA-262 3rd Edition 12.6.4 */
568 static HRESULT
interp_forin(exec_ctx_t
*ctx
)
570 const HRESULT arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
571 IDispatch
*var_obj
, *obj
= NULL
;
580 val
= stack_pop(ctx
);
582 assert(V_VT(stack_top(ctx
)) == VT_I4
);
583 id
= V_I4(stack_top(ctx
));
585 var_obj
= stack_topn_objid(ctx
, 1, &var_id
);
587 FIXME("invalid ref\n");
592 if(V_VT(stack_topn(ctx
, 3)) == VT_DISPATCH
)
593 obj
= V_DISPATCH(stack_topn(ctx
, 3));
596 hres
= IDispatch_QueryInterface(obj
, &IID_IDispatchEx
, (void**)&dispex
);
597 if(SUCCEEDED(hres
)) {
598 hres
= IDispatchEx_GetNextDispID(dispex
, fdexEnumDefault
, id
, &id
);
600 hres
= IDispatchEx_GetMemberName(dispex
, id
, &name
);
601 IDispatchEx_Release(dispex
);
607 TRACE("No IDispatchEx\n");
616 V_I4(stack_top(ctx
)) = id
;
620 hres
= disp_propput(ctx
->parser
->script
, var_obj
, var_id
, &v
, ctx
->ei
);
629 return stack_push(ctx
, val
);
634 /* ECMA-262 3rd Edition 12.10 */
635 static HRESULT
interp_push_scope(exec_ctx_t
*ctx
)
645 hres
= to_object(ctx
->parser
->script
, v
, &disp
);
650 obj
= to_jsdisp(disp
);
652 IDispatch_Release(disp
);
653 FIXME("disp is not jsdisp\n");
657 hres
= scope_push(ctx
->scope_chain
, obj
, &ctx
->scope_chain
);
662 /* ECMA-262 3rd Edition 12.10 */
663 static HRESULT
interp_pop_scope(exec_ctx_t
*ctx
)
667 scope_pop(&ctx
->scope_chain
);
671 /* ECMA-262 3rd Edition 12.13 */
672 static HRESULT
interp_case(exec_ctx_t
*ctx
)
674 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
682 hres
= equal2_values(stack_top(ctx
), v
, &b
);
696 /* ECMA-262 3rd Edition 12.13 */
697 static HRESULT
interp_throw(exec_ctx_t
*ctx
)
701 ctx
->ei
->var
= *stack_pop(ctx
);
702 return DISP_E_EXCEPTION
;
705 static HRESULT
interp_throw_ref(exec_ctx_t
*ctx
)
707 const HRESULT arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
709 TRACE("%08x\n", arg
);
711 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, arg
, NULL
);
714 static HRESULT
interp_throw_type(exec_ctx_t
*ctx
)
716 const HRESULT hres
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
717 const WCHAR
*str
= ctx
->code
->instrs
[ctx
->ip
].arg2
.str
;
719 TRACE("%08x %s\n", hres
, debugstr_w(str
));
721 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, hres
, str
);
724 /* ECMA-262 3rd Edition 12.14 */
725 static HRESULT
interp_push_except(exec_ctx_t
*ctx
)
727 const unsigned arg1
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
728 const BSTR arg2
= ctx
->code
->instrs
[ctx
->ip
].arg2
.bstr
;
729 except_frame_t
*except
;
734 stack_top
= ctx
->top
;
739 hres
= stack_push_bool(ctx
, TRUE
);
742 hres
= stack_push_bool(ctx
, TRUE
);
747 except
= heap_alloc(sizeof(*except
));
749 return E_OUTOFMEMORY
;
751 except
->stack_top
= stack_top
;
752 except
->scope
= ctx
->scope_chain
;
753 except
->catch_off
= arg1
;
754 except
->ident
= arg2
;
755 except
->next
= ctx
->except_frame
;
756 ctx
->except_frame
= except
;
760 /* ECMA-262 3rd Edition 12.14 */
761 static HRESULT
interp_pop_except(exec_ctx_t
*ctx
)
763 except_frame_t
*except
;
767 except
= ctx
->except_frame
;
768 assert(except
!= NULL
);
770 ctx
->except_frame
= except
->next
;
775 /* ECMA-262 3rd Edition 12.14 */
776 static HRESULT
interp_end_finally(exec_ctx_t
*ctx
)
784 assert(V_VT(stack_top(ctx
)) == VT_BOOL
);
785 if(!V_BOOL(stack_top(ctx
))) {
786 TRACE("passing exception\n");
790 ctx
->ei
->var
= *stack_pop(ctx
);
791 return DISP_E_EXCEPTION
;
795 return stack_push(ctx
, v
);
798 /* ECMA-262 3rd Edition 13 */
799 static HRESULT
interp_func(exec_ctx_t
*ctx
)
801 function_expression_t
*expr
= ctx
->code
->instrs
[ctx
->ip
].arg1
.func
;
808 hres
= create_source_function(ctx
->parser
, expr
->parameter_list
, expr
->source_elements
, ctx
->scope_chain
,
809 expr
->src_str
, expr
->src_len
, &dispex
);
813 var_set_jsdisp(&v
, dispex
);
814 return stack_push(ctx
, &v
);
817 /* ECMA-262 3rd Edition 11.2.1 */
818 static HRESULT
interp_array(exec_ctx_t
*ctx
)
828 namev
= stack_pop(ctx
);
830 hres
= stack_pop_object(ctx
, &obj
);
836 hres
= to_string(ctx
->parser
->script
, namev
, ctx
->ei
, &name
);
839 IDispatch_Release(obj
);
843 hres
= disp_get_id(ctx
->parser
->script
, obj
, name
, 0, &id
);
845 if(SUCCEEDED(hres
)) {
846 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
847 }else if(hres
== DISP_E_UNKNOWNNAME
) {
851 IDispatch_Release(obj
);
855 return stack_push(ctx
, &v
);
858 /* ECMA-262 3rd Edition 11.2.1 */
859 static HRESULT
interp_member(exec_ctx_t
*ctx
)
861 const BSTR arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
869 hres
= stack_pop_object(ctx
, &obj
);
873 hres
= disp_get_id(ctx
->parser
->script
, obj
, arg
, 0, &id
);
874 if(SUCCEEDED(hres
)) {
876 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
877 }else if(hres
== DISP_E_UNKNOWNNAME
) {
881 IDispatch_Release(obj
);
885 return stack_push(ctx
, &v
);
888 /* ECMA-262 3rd Edition 11.2.1 */
889 static HRESULT
interp_memberid(exec_ctx_t
*ctx
)
891 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
892 VARIANT
*objv
, *namev
;
900 namev
= stack_pop(ctx
);
901 objv
= stack_pop(ctx
);
903 hres
= to_object(ctx
->parser
->script
, objv
, &obj
);
905 if(SUCCEEDED(hres
)) {
906 hres
= to_string(ctx
->parser
->script
, namev
, ctx
->ei
, &name
);
908 IDispatch_Release(obj
);
914 hres
= disp_get_id(ctx
->parser
->script
, obj
, name
, arg
, &id
);
917 IDispatch_Release(obj
);
918 if(hres
== DISP_E_UNKNOWNNAME
&& !(arg
& fdexNameEnsure
)) {
920 id
= JS_E_INVALID_PROPERTY
;
926 return stack_push_objid(ctx
, obj
, id
);
929 /* ECMA-262 3rd Edition 11.2.1 */
930 static HRESULT
interp_refval(exec_ctx_t
*ctx
)
939 disp
= stack_topn_objid(ctx
, 0, &id
);
941 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
943 hres
= disp_propget(ctx
->parser
->script
, disp
, id
, &v
, ctx
->ei
);
947 return stack_push(ctx
, &v
);
950 static void jsstack_to_dp(exec_ctx_t
*ctx
, unsigned arg_cnt
, DISPPARAMS
*dp
)
956 dp
->rgdispidNamedArgs
= NULL
;
959 assert(ctx
->top
>= arg_cnt
);
961 for(i
=1; i
*2 <= arg_cnt
; i
++) {
962 tmp
= ctx
->stack
[ctx
->top
-i
];
963 ctx
->stack
[ctx
->top
-i
] = ctx
->stack
[ctx
->top
-arg_cnt
+i
-1];
964 ctx
->stack
[ctx
->top
-arg_cnt
+i
-1] = tmp
;
967 dp
->rgvarg
= ctx
->stack
+ ctx
->top
-arg_cnt
;
970 /* ECMA-262 3rd Edition 11.2.2 */
971 static HRESULT
interp_new(exec_ctx_t
*ctx
)
973 const LONG arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
980 constr
= stack_topn(ctx
, arg
);
982 /* NOTE: Should use to_object here */
984 if(V_VT(constr
) == VT_NULL
)
985 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
986 else if(V_VT(constr
) != VT_DISPATCH
)
987 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_ACTION
, NULL
);
988 else if(!V_DISPATCH(constr
))
989 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_PROPERTY
, NULL
);
991 jsstack_to_dp(ctx
, arg
, &dp
);
992 hres
= disp_call(ctx
->parser
->script
, V_DISPATCH(constr
), DISPID_VALUE
,
993 DISPATCH_CONSTRUCT
, &dp
, &v
, ctx
->ei
);
997 stack_popn(ctx
, arg
+1);
998 return stack_push(ctx
, &v
);
1001 /* ECMA-262 3rd Edition 11.2.3 */
1002 static HRESULT
interp_call(exec_ctx_t
*ctx
)
1004 const unsigned argn
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1005 const int do_ret
= ctx
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1010 TRACE("%d %d\n", argn
, do_ret
);
1012 objv
= stack_topn(ctx
, argn
);
1013 if(V_VT(objv
) != VT_DISPATCH
)
1014 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_PROPERTY
, NULL
);
1016 jsstack_to_dp(ctx
, argn
, &dp
);
1017 hres
= disp_call(ctx
->parser
->script
, V_DISPATCH(objv
), DISPID_VALUE
, DISPATCH_METHOD
, &dp
,
1018 do_ret
? &v
: NULL
, ctx
->ei
);
1022 stack_popn(ctx
, argn
+1);
1023 return do_ret
? stack_push(ctx
, &v
) : S_OK
;
1027 /* ECMA-262 3rd Edition 11.2.3 */
1028 static HRESULT
interp_call_member(exec_ctx_t
*ctx
)
1030 const unsigned argn
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1031 const int do_ret
= ctx
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1038 TRACE("%d %d\n", argn
, do_ret
);
1040 obj
= stack_topn_objid(ctx
, argn
, &id
);
1042 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, id
, NULL
);
1044 jsstack_to_dp(ctx
, argn
, &dp
);
1045 hres
= disp_call(ctx
->parser
->script
, obj
, id
, DISPATCH_METHOD
, &dp
, do_ret
? &v
: NULL
, ctx
->ei
);
1049 stack_popn(ctx
, argn
+2);
1050 return do_ret
? stack_push(ctx
, &v
) : S_OK
;
1054 /* ECMA-262 3rd Edition 11.1.1 */
1055 static HRESULT
interp_this(exec_ctx_t
*ctx
)
1061 V_VT(&v
) = VT_DISPATCH
;
1062 V_DISPATCH(&v
) = ctx
->this_obj
;
1063 IDispatch_AddRef(ctx
->this_obj
);
1064 return stack_push(ctx
, &v
);
1067 /* ECMA-262 3rd Edition 10.1.4 */
1068 static HRESULT
interp_ident(exec_ctx_t
*ctx
)
1070 const BSTR arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1075 TRACE("%s\n", debugstr_w(arg
));
1077 hres
= identifier_eval(ctx
->parser
->script
, arg
, &exprval
);
1081 if(exprval
.type
== EXPRVAL_INVALID
)
1082 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_UNDEFINED_VARIABLE
, arg
);
1084 hres
= exprval_to_value(ctx
->parser
->script
, &exprval
, ctx
->ei
, &v
);
1085 exprval_release(&exprval
);
1089 return stack_push(ctx
, &v
);
1092 /* ECMA-262 3rd Edition 10.1.4 */
1093 static HRESULT
interp_identid(exec_ctx_t
*ctx
)
1095 const BSTR arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1096 const unsigned flags
= ctx
->code
->instrs
[ctx
->ip
].arg2
.uint
;
1100 TRACE("%s %x\n", debugstr_w(arg
), flags
);
1102 hres
= identifier_eval(ctx
->parser
->script
, arg
, &exprval
);
1106 if(exprval
.type
== EXPRVAL_INVALID
&& (flags
& fdexNameEnsure
)) {
1109 hres
= jsdisp_get_id(ctx
->parser
->script
->global
, arg
, fdexNameEnsure
, &id
);
1113 exprval_set_idref(&exprval
, to_disp(ctx
->parser
->script
->global
), id
);
1116 if(exprval
.type
!= EXPRVAL_IDREF
) {
1117 WARN("invalid ref\n");
1118 exprval_release(&exprval
);
1119 return stack_push_objid(ctx
, NULL
, JS_E_OBJECT_EXPECTED
);
1122 return stack_push_objid(ctx
, exprval
.u
.idref
.disp
, exprval
.u
.idref
.id
);
1125 /* ECMA-262 3rd Edition 7.8.1 */
1126 static HRESULT
interp_null(exec_ctx_t
*ctx
)
1133 return stack_push(ctx
, &v
);
1136 /* ECMA-262 3rd Edition 7.8.2 */
1137 static HRESULT
interp_bool(exec_ctx_t
*ctx
)
1139 const LONG arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1141 TRACE("%s\n", arg
? "true" : "false");
1143 return stack_push_bool(ctx
, arg
);
1146 /* ECMA-262 3rd Edition 7.8.3 */
1147 static HRESULT
interp_int(exec_ctx_t
*ctx
)
1149 const LONG arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1156 return stack_push(ctx
, &v
);
1159 /* ECMA-262 3rd Edition 7.8.3 */
1160 static HRESULT
interp_double(exec_ctx_t
*ctx
)
1162 const double arg
= *ctx
->code
->instrs
[ctx
->ip
].arg1
.dbl
;
1165 TRACE("%lf\n", arg
);
1169 return stack_push(ctx
, &v
);
1172 /* ECMA-262 3rd Edition 7.8.4 */
1173 static HRESULT
interp_str(exec_ctx_t
*ctx
)
1175 const WCHAR
*str
= ctx
->code
->instrs
[ctx
->ip
].arg1
.str
;
1178 TRACE("%s\n", debugstr_w(str
));
1181 V_BSTR(&v
) = SysAllocString(str
);
1183 return E_OUTOFMEMORY
;
1185 return stack_push(ctx
, &v
);
1188 /* ECMA-262 3rd Edition 7.8 */
1189 static HRESULT
interp_regexp(exec_ctx_t
*ctx
)
1191 const WCHAR
*source
= ctx
->code
->instrs
[ctx
->ip
].arg1
.str
;
1192 const LONG flags
= ctx
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1197 TRACE("%s %x\n", debugstr_w(source
), flags
);
1199 hres
= create_regexp(ctx
->parser
->script
, source
, strlenW(source
), flags
, ®exp
);
1203 var_set_jsdisp(&v
, regexp
);
1204 return stack_push(ctx
, &v
);
1207 /* ECMA-262 3rd Edition 11.1.4 */
1208 static HRESULT
interp_carray(exec_ctx_t
*ctx
)
1210 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1218 hres
= create_array(ctx
->parser
->script
, arg
, &array
);
1225 hres
= jsdisp_propput_idx(array
, i
, v
, ctx
->ei
);
1228 jsdisp_release(array
);
1233 var_set_jsdisp(&r
, array
);
1234 return stack_push(ctx
, &r
);
1237 /* ECMA-262 3rd Edition 11.1.5 */
1238 static HRESULT
interp_new_obj(exec_ctx_t
*ctx
)
1246 hres
= create_object(ctx
->parser
->script
, NULL
, &obj
);
1250 var_set_jsdisp(&v
, obj
);
1251 return stack_push(ctx
, &v
);
1254 /* ECMA-262 3rd Edition 11.1.5 */
1255 static HRESULT
interp_obj_prop(exec_ctx_t
*ctx
)
1257 const BSTR name
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1262 TRACE("%s\n", debugstr_w(name
));
1266 assert(V_VT(stack_top(ctx
)) == VT_DISPATCH
);
1267 obj
= as_jsdisp(V_DISPATCH(stack_top(ctx
)));
1269 hres
= jsdisp_propput_name(obj
, name
, v
, ctx
->ei
);
1274 /* ECMA-262 3rd Edition 11.11 */
1275 static HRESULT
interp_cnd_nz(exec_ctx_t
*ctx
)
1277 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1283 hres
= to_boolean(stack_top(ctx
), &b
);
1296 /* ECMA-262 3rd Edition 11.11 */
1297 static HRESULT
interp_cnd_z(exec_ctx_t
*ctx
)
1299 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1305 hres
= to_boolean(stack_top(ctx
), &b
);
1318 /* ECMA-262 3rd Edition 11.10 */
1319 static HRESULT
interp_or(exec_ctx_t
*ctx
)
1326 hres
= stack_pop_int(ctx
, &r
);
1330 hres
= stack_pop_int(ctx
, &l
);
1334 return stack_push_int(ctx
, l
|r
);
1337 /* ECMA-262 3rd Edition 11.10 */
1338 static HRESULT
interp_xor(exec_ctx_t
*ctx
)
1345 hres
= stack_pop_int(ctx
, &r
);
1349 hres
= stack_pop_int(ctx
, &l
);
1353 return stack_push_int(ctx
, l
^r
);
1356 /* ECMA-262 3rd Edition 11.10 */
1357 static HRESULT
interp_and(exec_ctx_t
*ctx
)
1364 hres
= stack_pop_int(ctx
, &r
);
1368 hres
= stack_pop_int(ctx
, &l
);
1372 return stack_push_int(ctx
, l
&r
);
1375 /* ECMA-262 3rd Edition 11.8.6 */
1376 static HRESULT
interp_instanceof(exec_ctx_t
*ctx
)
1378 jsdisp_t
*obj
, *iter
, *tmp
= NULL
;
1383 static const WCHAR prototypeW
[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
1386 if(V_VT(v
) != VT_DISPATCH
|| !V_DISPATCH(v
)) {
1388 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_FUNCTION_EXPECTED
, NULL
);
1391 obj
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
));
1392 IDispatch_Release(V_DISPATCH(v
));
1394 FIXME("non-jsdisp objects not supported\n");
1398 if(is_class(obj
, JSCLASS_FUNCTION
)) {
1399 hres
= jsdisp_propget_name(obj
, prototypeW
, &prot
, ctx
->ei
);
1401 hres
= throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_FUNCTION_EXPECTED
, NULL
);
1403 jsdisp_release(obj
);
1409 if(V_VT(&prot
) == VT_DISPATCH
) {
1410 if(V_VT(v
) == VT_DISPATCH
)
1411 tmp
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
));
1412 for(iter
= tmp
; !ret
&& iter
; iter
= iter
->prototype
) {
1413 hres
= disp_cmp(V_DISPATCH(&prot
), to_disp(iter
), &ret
);
1419 jsdisp_release(tmp
);
1421 FIXME("prototype is not an object\n");
1425 VariantClear(&prot
);
1430 return stack_push_bool(ctx
, ret
);
1433 /* ECMA-262 3rd Edition 11.8.7 */
1434 static HRESULT
interp_in(exec_ctx_t
*ctx
)
1444 obj
= stack_pop(ctx
);
1447 if(V_VT(obj
) != VT_DISPATCH
|| !V_DISPATCH(obj
)) {
1450 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
1453 hres
= to_string(ctx
->parser
->script
, v
, ctx
->ei
, &str
);
1456 IDispatch_Release(V_DISPATCH(obj
));
1460 hres
= disp_get_id(ctx
->parser
->script
, V_DISPATCH(obj
), str
, 0, &id
);
1461 IDispatch_Release(V_DISPATCH(obj
));
1465 else if(hres
== DISP_E_UNKNOWNNAME
)
1470 return stack_push_bool(ctx
, ret
);
1473 /* ECMA-262 3rd Edition 11.6.1 */
1474 static HRESULT
add_eval(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, jsexcept_t
*ei
, VARIANT
*retv
)
1479 hres
= to_primitive(ctx
, lval
, ei
, &l
, NO_HINT
);
1483 hres
= to_primitive(ctx
, rval
, ei
, &r
, NO_HINT
);
1489 if(V_VT(&l
) == VT_BSTR
|| V_VT(&r
) == VT_BSTR
) {
1490 BSTR lstr
= NULL
, rstr
= NULL
;
1492 if(V_VT(&l
) == VT_BSTR
)
1495 hres
= to_string(ctx
, &l
, ei
, &lstr
);
1497 if(SUCCEEDED(hres
)) {
1498 if(V_VT(&r
) == VT_BSTR
)
1501 hres
= to_string(ctx
, &r
, ei
, &rstr
);
1504 if(SUCCEEDED(hres
)) {
1507 len1
= SysStringLen(lstr
);
1508 len2
= SysStringLen(rstr
);
1510 V_VT(retv
) = VT_BSTR
;
1511 V_BSTR(retv
) = SysAllocStringLen(NULL
, len1
+len2
);
1513 memcpy(V_BSTR(retv
), lstr
, len1
*sizeof(WCHAR
));
1515 memcpy(V_BSTR(retv
)+len1
, rstr
, len2
*sizeof(WCHAR
));
1516 V_BSTR(retv
)[len1
+len2
] = 0;
1519 if(V_VT(&l
) != VT_BSTR
)
1520 SysFreeString(lstr
);
1521 if(V_VT(&r
) != VT_BSTR
)
1522 SysFreeString(rstr
);
1526 hres
= to_number(ctx
, &l
, ei
, &nl
);
1527 if(SUCCEEDED(hres
)) {
1528 hres
= to_number(ctx
, &r
, ei
, &nr
);
1530 num_set_val(retv
, num_val(&nl
) + num_val(&nr
));
1539 /* ECMA-262 3rd Edition 11.6.1 */
1540 static HRESULT
interp_add(exec_ctx_t
*ctx
)
1542 VARIANT
*l
, *r
, ret
;
1548 TRACE("%s + %s\n", debugstr_variant(l
), debugstr_variant(r
));
1550 hres
= add_eval(ctx
->parser
->script
, l
, r
, ctx
->ei
, &ret
);
1556 return stack_push(ctx
, &ret
);
1559 /* ECMA-262 3rd Edition 11.6.2 */
1560 static HRESULT
interp_sub(exec_ctx_t
*ctx
)
1567 hres
= stack_pop_number(ctx
, &r
);
1571 hres
= stack_pop_number(ctx
, &l
);
1575 return stack_push_number(ctx
, num_val(&l
)-num_val(&r
));
1578 /* ECMA-262 3rd Edition 11.5.1 */
1579 static HRESULT
interp_mul(exec_ctx_t
*ctx
)
1586 hres
= stack_pop_number(ctx
, &r
);
1590 hres
= stack_pop_number(ctx
, &l
);
1594 return stack_push_number(ctx
, num_val(&l
)*num_val(&r
));
1597 /* ECMA-262 3rd Edition 11.5.2 */
1598 static HRESULT
interp_div(exec_ctx_t
*ctx
)
1605 hres
= stack_pop_number(ctx
, &r
);
1609 hres
= stack_pop_number(ctx
, &l
);
1613 return stack_push_number(ctx
, num_val(&l
)/num_val(&r
));
1616 /* ECMA-262 3rd Edition 11.5.3 */
1617 static HRESULT
interp_mod(exec_ctx_t
*ctx
)
1624 hres
= stack_pop_number(ctx
, &r
);
1628 hres
= stack_pop_number(ctx
, &l
);
1632 return stack_push_number(ctx
, fmod(num_val(&l
), num_val(&r
)));
1635 /* ECMA-262 3rd Edition 11.4.2 */
1636 static HRESULT
interp_delete(exec_ctx_t
*ctx
)
1638 VARIANT
*obj_var
, *name_var
;
1639 IDispatchEx
*dispex
;
1647 name_var
= stack_pop(ctx
);
1648 obj_var
= stack_pop(ctx
);
1650 hres
= to_object(ctx
->parser
->script
, obj_var
, &obj
);
1651 VariantClear(obj_var
);
1653 VariantClear(name_var
);
1657 hres
= to_string(ctx
->parser
->script
, name_var
, ctx
->ei
, &name
);
1658 VariantClear(name_var
);
1660 IDispatch_Release(obj
);
1664 hres
= IDispatch_QueryInterface(obj
, &IID_IDispatchEx
, (void**)&dispex
);
1665 if(SUCCEEDED(hres
)) {
1666 hres
= IDispatchEx_DeleteMemberByName(dispex
, name
, make_grfdex(ctx
->parser
->script
, fdexNameCaseSensitive
));
1668 IDispatchEx_Release(dispex
);
1674 IDispatch_Release(obj
);
1675 SysFreeString(name
);
1679 return stack_push_bool(ctx
, ret
);
1682 /* ECMA-262 3rd Edition 11.4.2 */
1683 static HRESULT
interp_delete_ident(exec_ctx_t
*ctx
)
1685 const BSTR arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1686 IDispatchEx
*dispex
;
1691 TRACE("%s\n", debugstr_w(arg
));
1693 hres
= identifier_eval(ctx
->parser
->script
, arg
, &exprval
);
1697 if(exprval
.type
!= EXPRVAL_IDREF
) {
1698 FIXME("Unsupported exprval\n");
1699 exprval_release(&exprval
);
1703 hres
= IDispatch_QueryInterface(exprval
.u
.idref
.disp
, &IID_IDispatchEx
, (void**)&dispex
);
1704 IDispatch_Release(exprval
.u
.idref
.disp
);
1705 if(SUCCEEDED(hres
)) {
1706 hres
= IDispatchEx_DeleteMemberByDispID(dispex
, exprval
.u
.idref
.id
);
1707 IDispatchEx_Release(dispex
);
1714 return stack_push_bool(ctx
, ret
);
1717 /* ECMA-262 3rd Edition 11.4.2 */
1718 static HRESULT
interp_void(exec_ctx_t
*ctx
)
1726 V_VT(&v
) = VT_EMPTY
;
1727 return stack_push(ctx
, &v
);
1730 /* ECMA-262 3rd Edition 11.4.3 */
1731 static HRESULT
typeof_string(VARIANT
*v
, const WCHAR
**ret
)
1753 if(V_DISPATCH(v
) && (dispex
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
)))) {
1754 *ret
= is_class(dispex
, JSCLASS_FUNCTION
) ? functionW
: objectW
;
1755 jsdisp_release(dispex
);
1762 FIXME("unhandled vt %d\n", V_VT(v
));
1769 /* ECMA-262 3rd Edition 11.4.3 */
1770 static HRESULT
interp_typeofid(exec_ctx_t
*ctx
)
1778 static const WCHAR undefinedW
[] = {'u','n','d','e','f','i','n','e','d',0};
1782 obj
= stack_pop_objid(ctx
, &id
);
1784 return stack_push_string(ctx
, undefinedW
);
1786 V_VT(&v
) = VT_EMPTY
;
1787 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
1788 IDispatch_Release(obj
);
1790 return stack_push_string(ctx
, unknownW
);
1792 hres
= typeof_string(&v
, &ret
);
1797 return stack_push_string(ctx
, ret
);
1800 /* ECMA-262 3rd Edition 11.4.3 */
1801 static HRESULT
interp_typeofident(exec_ctx_t
*ctx
)
1803 const BSTR arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1809 TRACE("%s\n", debugstr_w(arg
));
1811 hres
= identifier_eval(ctx
->parser
->script
, arg
, &exprval
);
1815 if(exprval
.type
== EXPRVAL_INVALID
) {
1816 hres
= stack_push_string(ctx
, undefinedW
);
1817 exprval_release(&exprval
);
1821 hres
= exprval_to_value(ctx
->parser
->script
, &exprval
, ctx
->ei
, &v
);
1822 exprval_release(&exprval
);
1826 hres
= typeof_string(&v
, &ret
);
1831 return stack_push_string(ctx
, ret
);
1834 /* ECMA-262 3rd Edition 11.4.3 */
1835 static HRESULT
interp_typeof(exec_ctx_t
*ctx
)
1844 hres
= typeof_string(v
, &ret
);
1849 return stack_push_string(ctx
, ret
);
1852 /* ECMA-262 3rd Edition 11.4.7 */
1853 static HRESULT
interp_minus(exec_ctx_t
*ctx
)
1860 hres
= stack_pop_number(ctx
, &n
);
1864 return stack_push_number(ctx
, -num_val(&n
));
1867 /* ECMA-262 3rd Edition 11.4.6 */
1868 static HRESULT
interp_tonum(exec_ctx_t
*ctx
)
1876 hres
= to_number(ctx
->parser
->script
, v
, ctx
->ei
, &num
);
1881 return stack_push(ctx
, &num
);
1884 /* ECMA-262 3rd Edition 11.3.1 */
1885 static HRESULT
interp_postinc(exec_ctx_t
*ctx
)
1887 const int arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1895 obj
= stack_pop_objid(ctx
, &id
);
1897 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
1899 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
1900 if(SUCCEEDED(hres
)) {
1903 hres
= to_number(ctx
->parser
->script
, &v
, ctx
->ei
, &n
);
1904 if(SUCCEEDED(hres
)) {
1905 num_set_val(&inc
, num_val(&n
)+(double)arg
);
1906 hres
= disp_propput(ctx
->parser
->script
, obj
, id
, &inc
, ctx
->ei
);
1911 IDispatch_Release(obj
);
1915 return stack_push(ctx
, &v
);
1918 /* ECMA-262 3rd Edition 11.4.4, 11.4.5 */
1919 static HRESULT
interp_preinc(exec_ctx_t
*ctx
)
1921 const int arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1929 obj
= stack_pop_objid(ctx
, &id
);
1931 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
1933 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
1934 if(SUCCEEDED(hres
)) {
1937 hres
= to_number(ctx
->parser
->script
, &v
, ctx
->ei
, &n
);
1939 if(SUCCEEDED(hres
)) {
1940 num_set_val(&v
, num_val(&n
)+(double)arg
);
1941 hres
= disp_propput(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
);
1944 IDispatch_Release(obj
);
1948 return stack_push(ctx
, &v
);
1951 /* ECMA-262 3rd Edition 11.9.3 */
1952 static HRESULT
equal_values(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, jsexcept_t
*ei
, BOOL
*ret
)
1954 if(V_VT(lval
) == V_VT(rval
) || (is_num_vt(V_VT(lval
)) && is_num_vt(V_VT(rval
))))
1955 return equal2_values(lval
, rval
, ret
);
1957 /* FIXME: NULL disps should be handled in more general way */
1958 if(V_VT(lval
) == VT_DISPATCH
&& !V_DISPATCH(lval
)) {
1961 return equal_values(ctx
, &v
, rval
, ei
, ret
);
1964 if(V_VT(rval
) == VT_DISPATCH
&& !V_DISPATCH(rval
)) {
1967 return equal_values(ctx
, lval
, &v
, ei
, ret
);
1970 if((V_VT(lval
) == VT_NULL
&& V_VT(rval
) == VT_EMPTY
) ||
1971 (V_VT(lval
) == VT_EMPTY
&& V_VT(rval
) == VT_NULL
)) {
1976 if(V_VT(lval
) == VT_BSTR
&& is_num_vt(V_VT(rval
))) {
1980 hres
= to_number(ctx
, lval
, ei
, &v
);
1984 return equal_values(ctx
, &v
, rval
, ei
, ret
);
1987 if(V_VT(rval
) == VT_BSTR
&& is_num_vt(V_VT(lval
))) {
1991 hres
= to_number(ctx
, rval
, ei
, &v
);
1995 return equal_values(ctx
, lval
, &v
, ei
, ret
);
1998 if(V_VT(rval
) == VT_BOOL
) {
2002 V_I4(&v
) = V_BOOL(rval
) ? 1 : 0;
2003 return equal_values(ctx
, lval
, &v
, ei
, ret
);
2006 if(V_VT(lval
) == VT_BOOL
) {
2010 V_I4(&v
) = V_BOOL(lval
) ? 1 : 0;
2011 return equal_values(ctx
, &v
, rval
, ei
, ret
);
2015 if(V_VT(rval
) == VT_DISPATCH
&& (V_VT(lval
) == VT_BSTR
|| is_num_vt(V_VT(lval
)))) {
2019 hres
= to_primitive(ctx
, rval
, ei
, &v
, NO_HINT
);
2023 hres
= equal_values(ctx
, lval
, &v
, ei
, ret
);
2030 if(V_VT(lval
) == VT_DISPATCH
&& (V_VT(rval
) == VT_BSTR
|| is_num_vt(V_VT(rval
)))) {
2034 hres
= to_primitive(ctx
, lval
, ei
, &v
, NO_HINT
);
2038 hres
= equal_values(ctx
, &v
, rval
, ei
, ret
);
2049 /* ECMA-262 3rd Edition 11.9.1 */
2050 static HRESULT
interp_eq(exec_ctx_t
*ctx
)
2059 TRACE("%s == %s\n", debugstr_variant(l
), debugstr_variant(r
));
2061 hres
= equal_values(ctx
->parser
->script
, l
, r
, ctx
->ei
, &b
);
2067 return stack_push_bool(ctx
, b
);
2070 /* ECMA-262 3rd Edition 11.9.2 */
2071 static HRESULT
interp_neq(exec_ctx_t
*ctx
)
2080 TRACE("%s != %s\n", debugstr_variant(l
), debugstr_variant(r
));
2082 hres
= equal_values(ctx
->parser
->script
, l
, r
, ctx
->ei
, &b
);
2088 return stack_push_bool(ctx
, !b
);
2091 /* ECMA-262 3rd Edition 11.9.4 */
2092 static HRESULT
interp_eq2(exec_ctx_t
*ctx
)
2103 hres
= equal2_values(r
, l
, &b
);
2109 return stack_push_bool(ctx
, b
);
2112 /* ECMA-262 3rd Edition 11.9.5 */
2113 static HRESULT
interp_neq2(exec_ctx_t
*ctx
)
2124 hres
= equal2_values(r
, l
, &b
);
2130 return stack_push_bool(ctx
, !b
);
2133 /* ECMA-262 3rd Edition 11.8.5 */
2134 static HRESULT
less_eval(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, BOOL greater
, jsexcept_t
*ei
, BOOL
*ret
)
2136 VARIANT l
, r
, ln
, rn
;
2139 hres
= to_primitive(ctx
, lval
, ei
, &l
, NO_HINT
);
2143 hres
= to_primitive(ctx
, rval
, ei
, &r
, NO_HINT
);
2149 if(V_VT(&l
) == VT_BSTR
&& V_VT(&r
) == VT_BSTR
) {
2150 *ret
= (strcmpW(V_BSTR(&l
), V_BSTR(&r
)) < 0) ^ greater
;
2151 SysFreeString(V_BSTR(&l
));
2152 SysFreeString(V_BSTR(&r
));
2156 hres
= to_number(ctx
, &l
, ei
, &ln
);
2159 hres
= to_number(ctx
, &r
, ei
, &rn
);
2164 if(V_VT(&ln
) == VT_I4
&& V_VT(&rn
) == VT_I4
) {
2165 *ret
= (V_I4(&ln
) < V_I4(&rn
)) ^ greater
;
2167 DOUBLE ld
= num_val(&ln
);
2168 DOUBLE rd
= num_val(&rn
);
2170 *ret
= !isnan(ld
) && !isnan(rd
) && ((ld
< rd
) ^ greater
);
2176 /* ECMA-262 3rd Edition 11.8.1 */
2177 static HRESULT
interp_lt(exec_ctx_t
*ctx
)
2186 TRACE("%s < %s\n", debugstr_variant(l
), debugstr_variant(r
));
2188 hres
= less_eval(ctx
->parser
->script
, l
, r
, FALSE
, ctx
->ei
, &b
);
2194 return stack_push_bool(ctx
, b
);
2197 /* ECMA-262 3rd Edition 11.8.1 */
2198 static HRESULT
interp_lteq(exec_ctx_t
*ctx
)
2207 TRACE("%s <= %s\n", debugstr_variant(l
), debugstr_variant(r
));
2209 hres
= less_eval(ctx
->parser
->script
, r
, l
, TRUE
, ctx
->ei
, &b
);
2215 return stack_push_bool(ctx
, b
);
2218 /* ECMA-262 3rd Edition 11.8.2 */
2219 static HRESULT
interp_gt(exec_ctx_t
*ctx
)
2228 TRACE("%s > %s\n", debugstr_variant(l
), debugstr_variant(r
));
2230 hres
= less_eval(ctx
->parser
->script
, r
, l
, FALSE
, ctx
->ei
, &b
);
2236 return stack_push_bool(ctx
, b
);
2239 /* ECMA-262 3rd Edition 11.8.4 */
2240 static HRESULT
interp_gteq(exec_ctx_t
*ctx
)
2249 TRACE("%s >= %s\n", debugstr_variant(l
), debugstr_variant(r
));
2251 hres
= less_eval(ctx
->parser
->script
, l
, r
, TRUE
, ctx
->ei
, &b
);
2257 return stack_push_bool(ctx
, b
);
2260 /* ECMA-262 3rd Edition 11.4.8 */
2261 static HRESULT
interp_bneg(exec_ctx_t
*ctx
)
2270 hres
= to_int32(ctx
->parser
->script
, v
, ctx
->ei
, &i
);
2277 return stack_push(ctx
, &r
);
2280 /* ECMA-262 3rd Edition 11.4.9 */
2281 static HRESULT
interp_neg(exec_ctx_t
*ctx
)
2290 hres
= to_boolean(v
, &b
);
2295 return stack_push_bool(ctx
, !b
);
2298 /* ECMA-262 3rd Edition 11.7.1 */
2299 static HRESULT
interp_lshift(exec_ctx_t
*ctx
)
2305 hres
= stack_pop_uint(ctx
, &r
);
2309 hres
= stack_pop_int(ctx
, &l
);
2313 return stack_push_int(ctx
, l
<< (r
&0x1f));
2316 /* ECMA-262 3rd Edition 11.7.2 */
2317 static HRESULT
interp_rshift(exec_ctx_t
*ctx
)
2323 hres
= stack_pop_uint(ctx
, &r
);
2327 hres
= stack_pop_int(ctx
, &l
);
2331 return stack_push_int(ctx
, l
>> (r
&0x1f));
2334 /* ECMA-262 3rd Edition 11.7.3 */
2335 static HRESULT
interp_rshift2(exec_ctx_t
*ctx
)
2340 hres
= stack_pop_uint(ctx
, &r
);
2344 hres
= stack_pop_uint(ctx
, &l
);
2348 return stack_push_int(ctx
, l
>> (r
&0x1f));
2351 /* ECMA-262 3rd Edition 11.13.1 */
2352 static HRESULT
interp_assign(exec_ctx_t
*ctx
)
2362 disp
= stack_pop_objid(ctx
, &id
);
2365 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
2367 hres
= disp_propput(ctx
->parser
->script
, disp
, id
, v
, ctx
->ei
);
2368 IDispatch_Release(disp
);
2374 return stack_push(ctx
, v
);
2377 static HRESULT
interp_undefined(exec_ctx_t
*ctx
)
2383 V_VT(&v
) = VT_EMPTY
;
2384 return stack_push(ctx
, &v
);
2387 static HRESULT
interp_jmp(exec_ctx_t
*ctx
)
2389 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
2397 static HRESULT
interp_jmp_z(exec_ctx_t
*ctx
)
2399 const unsigned arg
= ctx
->code
->instrs
[ctx
->ip
].arg1
.uint
;
2407 hres
= to_boolean(v
, &b
);
2419 static HRESULT
interp_pop(exec_ctx_t
*ctx
)
2427 static HRESULT
interp_ret(exec_ctx_t
*ctx
)
2435 typedef HRESULT (*op_func_t
)(exec_ctx_t
*);
2437 static const op_func_t op_funcs
[] = {
2438 #define X(x,a,b,c) interp_##x,
2443 static const unsigned op_move
[] = {
2444 #define X(a,x,b,c) x,
2449 static HRESULT
unwind_exception(exec_ctx_t
*ctx
)
2451 except_frame_t
*except_frame
;
2456 except_frame
= ctx
->except_frame
;
2457 ctx
->except_frame
= except_frame
->next
;
2459 assert(except_frame
->stack_top
<= ctx
->top
);
2460 stack_popn(ctx
, ctx
->top
- except_frame
->stack_top
);
2462 while(except_frame
->scope
!= ctx
->scope_chain
)
2463 scope_pop(&ctx
->scope_chain
);
2465 ctx
->ip
= except_frame
->catch_off
;
2467 except_val
= ctx
->ei
->var
;
2468 memset(ctx
->ei
, 0, sizeof(*ctx
->ei
));
2470 ident
= except_frame
->ident
;
2471 heap_free(except_frame
);
2474 jsdisp_t
*scope_obj
;
2476 hres
= create_dispex(ctx
->parser
->script
, NULL
, NULL
, &scope_obj
);
2477 if(SUCCEEDED(hres
)) {
2478 hres
= jsdisp_propput_name(scope_obj
, ident
, &except_val
, ctx
->ei
);
2480 jsdisp_release(scope_obj
);
2482 VariantClear(&except_val
);
2486 hres
= scope_push(ctx
->scope_chain
, scope_obj
, &ctx
->scope_chain
);
2487 jsdisp_release(scope_obj
);
2491 hres
= stack_push(ctx
, &except_val
);
2495 hres
= stack_push_bool(ctx
, FALSE
);
2499 V_VT(&v
) = VT_EMPTY
;
2500 hres
= stack_push(ctx
, &v
);
2506 static HRESULT
enter_bytecode(script_ctx_t
*ctx
, bytecode_t
*code
, unsigned ip
, jsexcept_t
*ei
, VARIANT
*ret
)
2508 exec_ctx_t
*exec_ctx
= ctx
->exec_ctx
;
2509 except_frame_t
*prev_except_frame
;
2510 unsigned prev_ip
, prev_top
;
2511 scope_chain_t
*prev_scope
;
2512 bytecode_t
*prev_code
;
2513 jsexcept_t
*prev_ei
;
2515 HRESULT hres
= S_OK
;
2519 prev_top
= exec_ctx
->top
;
2520 prev_scope
= exec_ctx
->scope_chain
;
2521 prev_except_frame
= exec_ctx
->except_frame
;
2522 prev_ip
= exec_ctx
->ip
;
2523 prev_ei
= exec_ctx
->ei
;
2524 prev_code
= exec_ctx
->code
;
2527 exec_ctx
->except_frame
= NULL
;
2528 exec_ctx
->code
= code
;
2530 while(exec_ctx
->ip
!= -1) {
2531 op
= code
->instrs
[exec_ctx
->ip
].op
;
2532 hres
= op_funcs
[op
](exec_ctx
);
2534 TRACE("EXCEPTION\n");
2536 if(!exec_ctx
->except_frame
)
2539 hres
= unwind_exception(exec_ctx
);
2543 exec_ctx
->ip
+= op_move
[op
];
2547 exec_ctx
->ip
= prev_ip
;
2548 exec_ctx
->ei
= prev_ei
;
2549 exec_ctx
->except_frame
= prev_except_frame
;
2550 exec_ctx
->code
= prev_code
;
2553 while(exec_ctx
->scope_chain
!= prev_scope
)
2554 scope_pop(&exec_ctx
->scope_chain
);
2555 stack_popn(exec_ctx
, exec_ctx
->top
-prev_top
);
2559 assert(exec_ctx
->top
== prev_top
+1 || exec_ctx
->top
== prev_top
);
2560 assert(exec_ctx
->scope_chain
== prev_scope
);
2562 if(exec_ctx
->top
== prev_top
)
2563 V_VT(ret
) = VT_EMPTY
;
2565 *ret
= *stack_pop(exec_ctx
);
2569 HRESULT
exec_source(exec_ctx_t
*ctx
, parser_ctx_t
*parser
, source_elements_t
*source
, BOOL from_eval
,
2570 jsexcept_t
*ei
, VARIANT
*retv
)
2572 script_ctx_t
*script
= parser
->script
;
2573 function_declaration_t
*func
;
2574 parser_ctx_t
*prev_parser
;
2577 exec_ctx_t
*prev_ctx
;
2578 HRESULT hres
= S_OK
;
2580 for(func
= source
->functions
; func
; func
= func
->next
) {
2584 if(!func
->expr
->identifier
)
2587 hres
= create_source_function(parser
, func
->expr
->parameter_list
, func
->expr
->source_elements
,
2588 ctx
->scope_chain
, func
->expr
->src_str
, func
->expr
->src_len
, &func_obj
);
2592 var_set_jsdisp(&var
, func_obj
);
2593 hres
= jsdisp_propput_name(ctx
->var_disp
, func
->expr
->identifier
, &var
, ei
);
2594 jsdisp_release(func_obj
);
2599 for(var
= source
->variables
; var
; var
= var
->next
) {
2603 name
= SysAllocString(var
->identifier
);
2605 return E_OUTOFMEMORY
;
2607 if(!ctx
->is_global
|| !lookup_global_members(parser
->script
, name
, NULL
))
2608 hres
= jsdisp_get_id(ctx
->var_disp
, var
->identifier
, fdexNameEnsure
, &id
);
2609 SysFreeString(name
);
2614 prev_ctx
= script
->exec_ctx
;
2615 script
->exec_ctx
= ctx
;
2617 prev_parser
= ctx
->parser
;
2618 ctx
->parser
= parser
;
2620 if(source
->statement
) {
2621 assert(source
->instr_off
);
2622 hres
= enter_bytecode(script
, parser
->code
, source
->instr_off
, ei
, &val
);
2624 V_VT(&val
) = VT_EMPTY
;
2627 script
->exec_ctx
= prev_ctx
;
2628 ctx
->parser
= prev_parser
;