2 * Copyright 2008 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 _return_type_t
{
50 static inline HRESULT
stat_eval(script_ctx_t
*ctx
, statement_t
*stat
, return_type_t
*rt
, VARIANT
*ret
)
52 return stat
->eval(ctx
, stat
, rt
, ret
);
55 static HRESULT
expr_eval(script_ctx_t
*,expression_t
*,jsexcept_t
*,VARIANT
*);
57 static HRESULT
stack_push(exec_ctx_t
*ctx
, VARIANT
*v
)
59 if(!ctx
->stack_size
) {
60 ctx
->stack
= heap_alloc(16*sizeof(VARIANT
));
64 }else if(ctx
->stack_size
== ctx
->top
) {
67 new_stack
= heap_realloc(ctx
->stack
, ctx
->stack_size
*2*sizeof(VARIANT
));
73 ctx
->stack
= new_stack
;
77 ctx
->stack
[ctx
->top
++] = *v
;
81 static HRESULT
stack_push_bool(exec_ctx_t
*ctx
, BOOL b
)
86 V_BOOL(&v
) = b
? VARIANT_TRUE
: VARIANT_FALSE
;
87 return stack_push(ctx
, &v
);
90 static inline HRESULT
stack_push_number(exec_ctx_t
*ctx
, double number
)
94 num_set_val(&v
, number
);
95 return stack_push(ctx
, &v
);
98 static inline HRESULT
stack_push_int(exec_ctx_t
*ctx
, INT n
)
104 return stack_push(ctx
, &v
);
107 static inline HRESULT
stack_push_string(exec_ctx_t
*ctx
, const WCHAR
*str
)
112 V_BSTR(&v
) = SysAllocString(str
);
113 return V_BSTR(&v
) ? stack_push(ctx
, &v
) : E_OUTOFMEMORY
;
116 static HRESULT
stack_push_objid(exec_ctx_t
*ctx
, IDispatch
*disp
, DISPID id
)
121 V_VT(&v
) = VT_DISPATCH
;
122 V_DISPATCH(&v
) = disp
;
123 hres
= stack_push(ctx
, &v
);
129 return stack_push(ctx
, &v
);
132 static inline VARIANT
*stack_top(exec_ctx_t
*ctx
)
135 return ctx
->stack
+ ctx
->top
-1;
138 static inline VARIANT
*stack_topn(exec_ctx_t
*ctx
, unsigned n
)
140 assert(ctx
->top
> n
);
141 return ctx
->stack
+ ctx
->top
-1-n
;
144 static inline VARIANT
*stack_pop(exec_ctx_t
*ctx
)
147 return ctx
->stack
+ --ctx
->top
;
150 static void stack_popn(exec_ctx_t
*ctx
, unsigned n
)
153 VariantClear(stack_pop(ctx
));
156 static HRESULT
stack_pop_number(exec_ctx_t
*ctx
, VARIANT
*r
)
162 hres
= to_number(ctx
->parser
->script
, v
, ctx
->ei
, r
);
167 static HRESULT
stack_pop_object(exec_ctx_t
*ctx
, IDispatch
**r
)
173 if(V_VT(v
) == VT_DISPATCH
) {
175 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_REQUIRED
, NULL
);
180 hres
= to_object(ctx
->parser
->script
, v
, r
);
185 static inline HRESULT
stack_pop_int(exec_ctx_t
*ctx
, INT
*r
)
187 return to_int32(ctx
->parser
->script
, stack_pop(ctx
), ctx
->ei
, r
);
190 static inline HRESULT
stack_pop_uint(exec_ctx_t
*ctx
, DWORD
*r
)
192 return to_uint32(ctx
->parser
->script
, stack_pop(ctx
), ctx
->ei
, r
);
195 static inline IDispatch
*stack_pop_objid(exec_ctx_t
*ctx
, DISPID
*id
)
197 assert(V_VT(stack_top(ctx
)) == VT_INT
&& V_VT(stack_topn(ctx
, 1)) == VT_DISPATCH
);
199 *id
= V_INT(stack_pop(ctx
));
200 return V_DISPATCH(stack_pop(ctx
));
203 static inline IDispatch
*stack_topn_objid(exec_ctx_t
*ctx
, unsigned n
, DISPID
*id
)
205 assert(V_VT(stack_topn(ctx
, n
)) == VT_INT
&& V_VT(stack_topn(ctx
, n
+1)) == VT_DISPATCH
);
207 *id
= V_INT(stack_topn(ctx
, n
));
208 return V_DISPATCH(stack_topn(ctx
, n
+1));
211 static void exprval_release(exprval_t
*val
)
214 case EXPRVAL_VARIANT
:
215 if(V_VT(&val
->u
.var
) != VT_EMPTY
)
216 VariantClear(&val
->u
.var
);
219 if(val
->u
.idref
.disp
)
220 IDispatch_Release(val
->u
.idref
.disp
);
222 case EXPRVAL_INVALID
:
227 /* ECMA-262 3rd Edition 8.7.1 */
228 static HRESULT
exprval_value(script_ctx_t
*ctx
, exprval_t
*val
, jsexcept_t
*ei
, VARIANT
*ret
)
230 V_VT(ret
) = VT_EMPTY
;
233 case EXPRVAL_VARIANT
:
234 return VariantCopy(ret
, &val
->u
.var
);
236 if(!val
->u
.idref
.disp
) {
237 FIXME("throw ReferenceError\n");
241 return disp_propget(ctx
, val
->u
.idref
.disp
, val
->u
.idref
.id
, ret
, ei
, NULL
/*FIXME*/);
242 case EXPRVAL_INVALID
:
246 ERR("type %d\n", val
->type
);
250 static HRESULT
exprval_to_value(script_ctx_t
*ctx
, exprval_t
*val
, jsexcept_t
*ei
, VARIANT
*ret
)
252 if(val
->type
== EXPRVAL_VARIANT
) {
254 V_VT(&val
->u
.var
) = VT_EMPTY
;
258 return exprval_value(ctx
, val
, ei
, ret
);
261 static void exprval_set_idref(exprval_t
*val
, IDispatch
*disp
, DISPID id
)
263 val
->type
= EXPRVAL_IDREF
;
264 val
->u
.idref
.disp
= disp
;
265 val
->u
.idref
.id
= id
;
268 IDispatch_AddRef(disp
);
271 HRESULT
scope_push(scope_chain_t
*scope
, jsdisp_t
*obj
, scope_chain_t
**ret
)
273 scope_chain_t
*new_scope
;
275 new_scope
= heap_alloc(sizeof(scope_chain_t
));
277 return E_OUTOFMEMORY
;
282 new_scope
->obj
= obj
;
286 new_scope
->next
= scope
;
288 new_scope
->next
= NULL
;
295 static void scope_pop(scope_chain_t
**scope
)
304 void scope_release(scope_chain_t
*scope
)
310 scope_release(scope
->next
);
312 jsdisp_release(scope
->obj
);
316 HRESULT
create_exec_ctx(script_ctx_t
*script_ctx
, IDispatch
*this_obj
, jsdisp_t
*var_disp
,
317 scope_chain_t
*scope
, BOOL is_global
, exec_ctx_t
**ret
)
321 ctx
= heap_alloc_zero(sizeof(exec_ctx_t
));
323 return E_OUTOFMEMORY
;
326 ctx
->is_global
= is_global
;
329 ctx
->this_obj
= this_obj
;
330 else if(script_ctx
->host_global
)
331 ctx
->this_obj
= script_ctx
->host_global
;
333 ctx
->this_obj
= to_disp(script_ctx
->global
);
334 IDispatch_AddRef(ctx
->this_obj
);
336 jsdisp_addref(var_disp
);
337 ctx
->var_disp
= var_disp
;
341 ctx
->scope_chain
= scope
;
348 void exec_release(exec_ctx_t
*ctx
)
354 scope_release(ctx
->scope_chain
);
356 jsdisp_release(ctx
->var_disp
);
358 IDispatch_Release(ctx
->this_obj
);
359 heap_free(ctx
->stack
);
363 static HRESULT
disp_get_id(script_ctx_t
*ctx
, IDispatch
*disp
, BSTR name
, DWORD flags
, DISPID
*id
)
368 hres
= IDispatch_QueryInterface(disp
, &IID_IDispatchEx
, (void**)&dispex
);
370 TRACE("unsing IDispatch\n");
373 return IDispatch_GetIDsOfNames(disp
, &IID_NULL
, &name
, 1, 0, id
);
377 hres
= IDispatchEx_GetDispID(dispex
, name
, make_grfdex(ctx
, flags
|fdexNameCaseSensitive
), id
);
378 IDispatchEx_Release(dispex
);
382 /* ECMA-262 3rd Edition 8.7.2 */
383 static HRESULT
put_value(script_ctx_t
*ctx
, exprval_t
*ref
, VARIANT
*v
, jsexcept_t
*ei
)
385 if(ref
->type
!= EXPRVAL_IDREF
)
386 return throw_reference_error(ctx
, ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
388 return disp_propput(ctx
, ref
->u
.idref
.disp
, ref
->u
.idref
.id
, v
, ei
, NULL
/*FIXME*/);
391 static inline BOOL
is_null(const VARIANT
*v
)
393 return V_VT(v
) == VT_NULL
|| (V_VT(v
) == VT_DISPATCH
&& !V_DISPATCH(v
));
396 static HRESULT
disp_cmp(IDispatch
*disp1
, IDispatch
*disp2
, BOOL
*ret
)
398 IObjectIdentity
*identity
;
399 IUnknown
*unk1
, *unk2
;
407 if(!disp1
|| !disp2
) {
412 hres
= IDispatch_QueryInterface(disp1
, &IID_IUnknown
, (void**)&unk1
);
416 hres
= IDispatch_QueryInterface(disp2
, &IID_IUnknown
, (void**)&unk2
);
418 IUnknown_Release(unk1
);
425 hres
= IUnknown_QueryInterface(unk1
, &IID_IObjectIdentity
, (void**)&identity
);
426 if(SUCCEEDED(hres
)) {
427 hres
= IObjectIdentity_IsEqualObject(identity
, unk2
);
428 IObjectIdentity_Release(identity
);
435 IUnknown_Release(unk1
);
436 IUnknown_Release(unk2
);
440 /* ECMA-262 3rd Edition 11.9.6 */
441 static HRESULT
equal2_values(VARIANT
*lval
, VARIANT
*rval
, BOOL
*ret
)
445 if(V_VT(lval
) != V_VT(rval
)) {
446 if(is_num_vt(V_VT(lval
)) && is_num_vt(V_VT(rval
)))
447 *ret
= num_val(lval
) == num_val(rval
);
448 else if(is_null(lval
))
449 *ret
= is_null(rval
);
461 *ret
= V_I4(lval
) == V_I4(rval
);
464 *ret
= V_R8(lval
) == V_R8(rval
);
468 *ret
= SysStringLen(V_BSTR(rval
))?FALSE
:TRUE
;
469 else if(!V_BSTR(rval
))
470 *ret
= SysStringLen(V_BSTR(lval
))?FALSE
:TRUE
;
472 *ret
= !strcmpW(V_BSTR(lval
), V_BSTR(rval
));
475 return disp_cmp(V_DISPATCH(lval
), V_DISPATCH(rval
), ret
);
477 *ret
= !V_BOOL(lval
) == !V_BOOL(rval
);
480 FIXME("unimplemented vt %d\n", V_VT(lval
));
487 static BOOL
lookup_global_members(script_ctx_t
*ctx
, BSTR identifier
, exprval_t
*ret
)
493 for(item
= ctx
->named_items
; item
; item
= item
->next
) {
494 if(item
->flags
& SCRIPTITEM_GLOBALMEMBERS
) {
495 hres
= disp_get_id(ctx
, item
->disp
, identifier
, 0, &id
);
496 if(SUCCEEDED(hres
)) {
498 exprval_set_idref(ret
, item
->disp
, id
);
507 HRESULT
exec_source(exec_ctx_t
*ctx
, parser_ctx_t
*parser
, source_elements_t
*source
, BOOL from_eval
,
508 jsexcept_t
*ei
, VARIANT
*retv
)
510 script_ctx_t
*script
= parser
->script
;
511 function_declaration_t
*func
;
512 parser_ctx_t
*prev_parser
;
515 exec_ctx_t
*prev_ctx
;
519 for(func
= source
->functions
; func
; func
= func
->next
) {
523 hres
= create_source_function(parser
, func
->expr
->parameter_list
, func
->expr
->source_elements
,
524 ctx
->scope_chain
, func
->expr
->src_str
, func
->expr
->src_len
, &func_obj
);
528 var_set_jsdisp(&var
, func_obj
);
529 hres
= jsdisp_propput_name(ctx
->var_disp
, func
->expr
->identifier
, &var
, ei
, NULL
);
530 jsdisp_release(func_obj
);
535 for(var
= source
->variables
; var
; var
= var
->next
) {
539 name
= SysAllocString(var
->identifier
);
541 return E_OUTOFMEMORY
;
543 if(!ctx
->is_global
|| !lookup_global_members(parser
->script
, name
, NULL
))
544 hres
= jsdisp_get_id(ctx
->var_disp
, var
->identifier
, fdexNameEnsure
, &id
);
550 prev_ctx
= script
->exec_ctx
;
551 script
->exec_ctx
= ctx
;
553 prev_parser
= ctx
->parser
;
554 ctx
->parser
= parser
;
556 V_VT(&val
) = VT_EMPTY
;
557 memset(&rt
, 0, sizeof(rt
));
560 if(source
->statement
) {
561 if(source
->statement
->instr_off
== -1)
562 hres
= compile_subscript_stat(ctx
->parser
, source
->statement
, TRUE
, &source
->statement
->instr_off
);
564 hres
= compiled_statement_eval(script
, source
->statement
, &rt
, &val
);
567 script
->exec_ctx
= prev_ctx
;
568 ctx
->parser
= prev_parser
;
570 if(rt
.type
!= RT_NORMAL
&& rt
.type
!= RT_RETURN
) {
571 FIXME("wrong rt %d\n", rt
.type
);
581 if(!retv
|| (!from_eval
&& rt
.type
!= RT_RETURN
))
588 /* ECMA-262 3rd Edition 10.1.4 */
589 static HRESULT
identifier_eval(script_ctx_t
*ctx
, BSTR identifier
, DWORD flags
, jsexcept_t
*ei
, exprval_t
*ret
)
591 scope_chain_t
*scope
;
596 TRACE("%s\n", debugstr_w(identifier
));
598 for(scope
= ctx
->exec_ctx
->scope_chain
; scope
; scope
= scope
->next
) {
599 hres
= jsdisp_get_id(scope
->obj
, identifier
, 0, &id
);
600 if(SUCCEEDED(hres
)) {
601 exprval_set_idref(ret
, to_disp(scope
->obj
), id
);
606 hres
= jsdisp_get_id(ctx
->global
, identifier
, 0, &id
);
607 if(SUCCEEDED(hres
)) {
608 exprval_set_idref(ret
, to_disp(ctx
->global
), id
);
612 for(item
= ctx
->named_items
; item
; item
= item
->next
) {
613 if((item
->flags
& SCRIPTITEM_ISVISIBLE
) && !strcmpW(item
->name
, identifier
)) {
620 hres
= IActiveScriptSite_GetItemInfo(ctx
->site
, identifier
,
621 SCRIPTINFO_IUNKNOWN
, &unk
, NULL
);
623 WARN("GetItemInfo failed: %08x\n", hres
);
627 hres
= IUnknown_QueryInterface(unk
, &IID_IDispatch
, (void**)&item
->disp
);
628 IUnknown_Release(unk
);
630 WARN("object does not implement IDispatch\n");
635 ret
->type
= EXPRVAL_VARIANT
;
636 V_VT(&ret
->u
.var
) = VT_DISPATCH
;
637 V_DISPATCH(&ret
->u
.var
) = item
->disp
;
638 IDispatch_AddRef(item
->disp
);
643 if(lookup_global_members(ctx
, identifier
, ret
))
646 if(flags
& fdexNameEnsure
) {
647 hres
= jsdisp_get_id(ctx
->global
, identifier
, fdexNameEnsure
, &id
);
651 exprval_set_idref(ret
, to_disp(ctx
->global
), id
);
655 ret
->type
= EXPRVAL_INVALID
;
659 /* ECMA-262 3rd Edition 12.2 */
660 static HRESULT
variable_list_eval(script_ctx_t
*ctx
, variable_declaration_t
*var_list
, jsexcept_t
*ei
)
662 variable_declaration_t
*iter
;
665 for(iter
= var_list
; iter
; iter
= iter
->next
) {
671 hres
= expr_eval(ctx
, iter
->expr
, ei
, &val
);
675 hres
= jsdisp_propput_name(ctx
->exec_ctx
->var_disp
, iter
->identifier
, &val
, ei
, NULL
/*FIXME*/);
684 /* ECMA-262 3rd Edition 12.2 */
685 static HRESULT
interp_var_set(exec_ctx_t
*ctx
)
687 const BSTR name
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
691 TRACE("%s\n", debugstr_w(name
));
694 hres
= jsdisp_propput_name(ctx
->var_disp
, name
, v
, ctx
->ei
, NULL
/*FIXME*/);
699 /* ECMA-262 3rd Edition 12.6.2 */
700 HRESULT
while_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
702 while_statement_t
*stat
= (while_statement_t
*)_stat
;
710 V_VT(&val
) = VT_EMPTY
;
711 test_expr
= !stat
->do_while
;
715 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &tmp
);
719 hres
= to_boolean(&tmp
, &b
);
721 if(FAILED(hres
) || !b
)
727 hres
= stat_eval(ctx
, stat
->statement
, rt
, &tmp
);
734 if(rt
->type
== RT_CONTINUE
)
735 rt
->type
= RT_NORMAL
;
736 if(rt
->type
!= RT_NORMAL
)
745 if(rt
->type
== RT_BREAK
)
746 rt
->type
= RT_NORMAL
;
752 /* ECMA-262 3rd Edition 12.6.3 */
753 HRESULT
for_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
755 for_statement_t
*stat
= (for_statement_t
*)_stat
;
756 VARIANT val
, tmp
, retv
;
762 if(stat
->variable_list
) {
763 hres
= variable_list_eval(ctx
, stat
->variable_list
, &rt
->ei
);
766 }else if(stat
->begin_expr
) {
767 hres
= expr_eval(ctx
, stat
->begin_expr
, &rt
->ei
, &val
);
774 V_VT(&retv
) = VT_EMPTY
;
778 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &tmp
);
782 hres
= to_boolean(&tmp
, &b
);
784 if(FAILED(hres
) || !b
)
788 hres
= stat_eval(ctx
, stat
->statement
, rt
, &tmp
);
795 if(rt
->type
== RT_CONTINUE
)
796 rt
->type
= RT_NORMAL
;
797 else if(rt
->type
!= RT_NORMAL
)
801 hres
= expr_eval(ctx
, stat
->end_expr
, &rt
->ei
, &val
);
814 if(rt
->type
== RT_BREAK
)
815 rt
->type
= RT_NORMAL
;
821 static HRESULT
array_expression_eval(script_ctx_t
*,expression_t
*,jsexcept_t
*,exprval_t
*);
822 static HRESULT
member_expression_eval(script_ctx_t
*,expression_t
*,jsexcept_t
*,exprval_t
*);
823 static HRESULT
identifier_expression_eval(script_ctx_t
*,expression_t
*,jsexcept_t
*,exprval_t
*);
825 /* ECMA-262 3rd Edition 12.6.4 */
826 HRESULT
forin_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
828 forin_statement_t
*stat
= (forin_statement_t
*)_stat
;
829 VARIANT val
, name
, retv
, tmp
;
830 DISPID id
= DISPID_STARTENUM
;
831 BSTR str
, identifier
= NULL
;
839 hres
= variable_list_eval(ctx
, stat
->variable
, &rt
->ei
);
844 hres
= expr_eval(ctx
, stat
->in_expr
, &rt
->ei
, &val
);
848 if(V_VT(&val
) != VT_DISPATCH
) {
849 TRACE("in vt %d\n", V_VT(&val
));
851 V_VT(ret
) = VT_EMPTY
;
855 hres
= IDispatch_QueryInterface(V_DISPATCH(&val
), &IID_IDispatchEx
, (void**)&in_obj
);
856 IDispatch_Release(V_DISPATCH(&val
));
858 TRACE("Object doesn't support IDispatchEx\n");
859 V_VT(ret
) = VT_EMPTY
;
863 V_VT(&retv
) = VT_EMPTY
;
866 identifier
= SysAllocString(stat
->variable
->identifier
);
869 hres
= IDispatchEx_GetNextDispID(in_obj
, fdexEnumDefault
, id
, &id
);
870 if(FAILED(hres
) || hres
== S_FALSE
)
873 hres
= IDispatchEx_GetMemberName(in_obj
, id
, &str
);
877 TRACE("iter %s\n", debugstr_w(str
));
880 hres
= identifier_eval(ctx
, identifier
, 0, NULL
, &exprval
);
882 switch(stat
->expr
->type
) {
884 hres
= array_expression_eval(ctx
, stat
->expr
, &rt
->ei
, &exprval
);
887 hres
= identifier_expression_eval(ctx
, stat
->expr
, &rt
->ei
, &exprval
);
890 hres
= member_expression_eval(ctx
, stat
->expr
, &rt
->ei
, &exprval
);
893 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &tmp
);
898 hres
= throw_reference_error(ctx
, &rt
->ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
902 if(SUCCEEDED(hres
)) {
903 V_VT(&name
) = VT_BSTR
;
905 hres
= put_value(ctx
, &exprval
, &name
, &rt
->ei
);
906 exprval_release(&exprval
);
912 hres
= stat_eval(ctx
, stat
->statement
, rt
, &tmp
);
919 if(rt
->type
== RT_CONTINUE
)
920 rt
->type
= RT_NORMAL
;
921 else if(rt
->type
!= RT_NORMAL
)
925 SysFreeString(identifier
);
926 IDispatchEx_Release(in_obj
);
932 if(rt
->type
== RT_BREAK
)
933 rt
->type
= RT_NORMAL
;
939 /* ECMA-262 3rd Edition 12.7 */
940 HRESULT
continue_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
942 branch_statement_t
*stat
= (branch_statement_t
*)_stat
;
946 if(stat
->identifier
) {
947 FIXME("indentifier not implemented\n");
951 rt
->type
= RT_CONTINUE
;
952 V_VT(ret
) = VT_EMPTY
;
956 /* ECMA-262 3rd Edition 12.8 */
957 HRESULT
break_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
959 branch_statement_t
*stat
= (branch_statement_t
*)_stat
;
963 if(stat
->identifier
) {
964 FIXME("indentifier not implemented\n");
969 V_VT(ret
) = VT_EMPTY
;
973 /* ECMA-262 3rd Edition 12.9 */
974 HRESULT
return_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
976 expression_statement_t
*stat
= (expression_statement_t
*)_stat
;
982 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, ret
);
986 V_VT(ret
) = VT_EMPTY
;
989 TRACE("= %s\n", debugstr_variant(ret
));
990 rt
->type
= RT_RETURN
;
994 /* ECMA-262 3rd Edition 12.10 */
995 HRESULT
with_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
997 with_statement_t
*stat
= (with_statement_t
*)_stat
;
1005 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &val
);
1009 hres
= to_object(ctx
, &val
, &disp
);
1014 obj
= iface_to_jsdisp((IUnknown
*)disp
);
1015 IDispatch_Release(disp
);
1017 FIXME("disp id not jsdisp\n");
1021 hres
= scope_push(ctx
->exec_ctx
->scope_chain
, obj
, &ctx
->exec_ctx
->scope_chain
);
1022 jsdisp_release(obj
);
1026 hres
= stat_eval(ctx
, stat
->statement
, rt
, ret
);
1028 scope_pop(&ctx
->exec_ctx
->scope_chain
);
1032 /* ECMA-262 3rd Edition 12.12 */
1033 HRESULT
labelled_statement_eval(script_ctx_t
*ctx
, statement_t
*stat
, return_type_t
*rt
, VARIANT
*ret
)
1039 /* ECMA-262 3rd Edition 12.13 */
1040 HRESULT
switch_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
1042 switch_statement_t
*stat
= (switch_statement_t
*)_stat
;
1043 case_clausule_t
*iter
, *default_clausule
= NULL
;
1044 statement_t
*stat_iter
;
1051 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &val
);
1055 for(iter
= stat
->case_list
; iter
; iter
= iter
->next
) {
1057 default_clausule
= iter
;
1061 hres
= expr_eval(ctx
, iter
->expr
, &rt
->ei
, &cval
);
1065 hres
= equal2_values(&val
, &cval
, &b
);
1066 VariantClear(&cval
);
1067 if(FAILED(hres
) || b
)
1076 iter
= default_clausule
;
1078 V_VT(&val
) = VT_EMPTY
;
1082 for(stat_iter
= iter
->stat
; stat_iter
; stat_iter
= stat_iter
->next
) {
1083 hres
= stat_eval(ctx
, stat_iter
, rt
, &tmp
);
1090 if(rt
->type
!= RT_NORMAL
)
1100 if(rt
->type
== RT_BREAK
)
1101 rt
->type
= RT_NORMAL
;
1107 /* ECMA-262 3rd Edition 12.13 */
1108 HRESULT
throw_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
1110 expression_statement_t
*stat
= (expression_statement_t
*)_stat
;
1116 hres
= expr_eval(ctx
, stat
->expr
, &rt
->ei
, &val
);
1121 return DISP_E_EXCEPTION
;
1124 static HRESULT
interp_throw(exec_ctx_t
*ctx
)
1126 const HRESULT arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1128 TRACE("%08x\n", arg
);
1130 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, arg
, NULL
);
1133 static HRESULT
interp_throw_type(exec_ctx_t
*ctx
)
1135 const HRESULT hres
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1136 const WCHAR
*str
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg2
.str
;
1138 TRACE("%08x %s\n", hres
, debugstr_w(str
));
1140 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, hres
, str
);
1143 /* ECMA-262 3rd Edition 12.14 */
1144 static HRESULT
catch_eval(script_ctx_t
*ctx
, catch_block_t
*block
, return_type_t
*rt
, VARIANT
*ret
)
1151 memset(&rt
->ei
, 0, sizeof(jsexcept_t
));
1153 hres
= create_dispex(ctx
, NULL
, NULL
, &var_disp
);
1154 if(SUCCEEDED(hres
)) {
1155 hres
= jsdisp_propput_name(var_disp
, block
->identifier
, &ex
, &rt
->ei
, NULL
/*FIXME*/);
1156 if(SUCCEEDED(hres
)) {
1157 hres
= scope_push(ctx
->exec_ctx
->scope_chain
, var_disp
, &ctx
->exec_ctx
->scope_chain
);
1158 if(SUCCEEDED(hres
)) {
1159 hres
= stat_eval(ctx
, block
->statement
, rt
, &val
);
1160 scope_pop(&ctx
->exec_ctx
->scope_chain
);
1164 jsdisp_release(var_disp
);
1175 /* ECMA-262 3rd Edition 12.14 */
1176 HRESULT
try_statement_eval(script_ctx_t
*ctx
, statement_t
*_stat
, return_type_t
*rt
, VARIANT
*ret
)
1178 try_statement_t
*stat
= (try_statement_t
*)_stat
;
1184 hres
= stat_eval(ctx
, stat
->try_statement
, rt
, &val
);
1186 TRACE("EXCEPTION\n");
1187 if(!stat
->catch_block
)
1190 hres
= catch_eval(ctx
, stat
->catch_block
, rt
, &val
);
1195 if(stat
->finally_statement
) {
1197 hres
= stat_eval(ctx
, stat
->finally_statement
, rt
, &val
);
1206 /* ECMA-262 3rd Edition 13 */
1207 static HRESULT
interp_func(exec_ctx_t
*ctx
)
1209 function_expression_t
*expr
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.func
;
1216 hres
= create_source_function(ctx
->parser
, expr
->parameter_list
, expr
->source_elements
, ctx
->scope_chain
,
1217 expr
->src_str
, expr
->src_len
, &dispex
);
1221 var_set_jsdisp(&v
, dispex
);
1222 return stack_push(ctx
, &v
);
1225 /* ECMA-262 3rd Edition 11.2.1 */
1226 static HRESULT
array_expression_eval(script_ctx_t
*ctx
, expression_t
*_expr
, jsexcept_t
*ei
, exprval_t
*ret
)
1228 binary_expression_t
*expr
= (binary_expression_t
*)_expr
;
1229 VARIANT member
, val
;
1232 IDispatch
*obj
= NULL
;
1237 hres
= expr_eval(ctx
, expr
->expression1
, ei
, &member
);
1241 hres
= expr_eval(ctx
, expr
->expression2
, ei
, &val
);
1242 if(SUCCEEDED(hres
)) {
1243 hres
= to_object(ctx
, &member
, &obj
);
1247 VariantClear(&member
);
1248 if(SUCCEEDED(hres
)) {
1249 hres
= to_string(ctx
, &val
, ei
, &str
);
1251 if(SUCCEEDED(hres
)) {
1252 hres
= disp_get_id(ctx
, obj
, str
, fdexNameEnsure
, &id
);
1257 exprval_set_idref(ret
, obj
, id
);
1259 IDispatch_Release(obj
);
1265 /* ECMA-262 3rd Edition 11.2.1 */
1266 static HRESULT
interp_array(exec_ctx_t
*ctx
)
1276 namev
= stack_pop(ctx
);
1278 hres
= stack_pop_object(ctx
, &obj
);
1280 VariantClear(namev
);
1284 hres
= to_string(ctx
->parser
->script
, namev
, ctx
->ei
, &name
);
1285 VariantClear(namev
);
1287 IDispatch_Release(obj
);
1291 hres
= disp_get_id(ctx
->parser
->script
, obj
, name
, 0, &id
);
1292 SysFreeString(name
);
1293 if(SUCCEEDED(hres
)) {
1294 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
1295 }else if(hres
== DISP_E_UNKNOWNNAME
) {
1296 V_VT(&v
) = VT_EMPTY
;
1299 IDispatch_Release(obj
);
1303 return stack_push(ctx
, &v
);
1306 /* ECMA-262 3rd Edition 11.2.1 */
1307 static HRESULT
member_expression_eval(script_ctx_t
*ctx
, expression_t
*_expr
, jsexcept_t
*ei
, exprval_t
*ret
)
1309 member_expression_t
*expr
= (member_expression_t
*)_expr
;
1310 IDispatch
*obj
= NULL
;
1318 hres
= expr_eval(ctx
, expr
->expression
, ei
, &member
);
1322 hres
= to_object(ctx
, &member
, &obj
);
1323 VariantClear(&member
);
1327 str
= SysAllocString(expr
->identifier
);
1329 IDispatch_Release(obj
);
1330 return E_OUTOFMEMORY
;
1333 hres
= disp_get_id(ctx
, obj
, str
, fdexNameEnsure
, &id
);
1336 exprval_set_idref(ret
, obj
, id
);
1338 IDispatch_Release(obj
);
1342 /* ECMA-262 3rd Edition 11.2.1 */
1343 static HRESULT
interp_member(exec_ctx_t
*ctx
)
1345 const BSTR arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1353 hres
= stack_pop_object(ctx
, &obj
);
1357 hres
= disp_get_id(ctx
->parser
->script
, obj
, arg
, 0, &id
);
1358 if(SUCCEEDED(hres
)) {
1359 V_VT(&v
) = VT_EMPTY
;
1360 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
1361 }else if(hres
== DISP_E_UNKNOWNNAME
) {
1362 V_VT(&v
) = VT_EMPTY
;
1365 IDispatch_Release(obj
);
1369 return stack_push(ctx
, &v
);
1372 /* ECMA-262 3rd Edition 11.2.1 */
1373 static HRESULT
interp_memberid(exec_ctx_t
*ctx
)
1375 const unsigned arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1376 VARIANT
*objv
, *namev
;
1384 namev
= stack_pop(ctx
);
1385 objv
= stack_pop(ctx
);
1387 hres
= to_object(ctx
->parser
->script
, objv
, &obj
);
1389 if(SUCCEEDED(hres
)) {
1390 hres
= to_string(ctx
->parser
->script
, namev
, ctx
->ei
, &name
);
1392 IDispatch_Release(obj
);
1394 VariantClear(namev
);
1398 hres
= disp_get_id(ctx
->parser
->script
, obj
, name
, arg
, &id
);
1399 SysFreeString(name
);
1401 IDispatch_Release(obj
);
1402 if(hres
== DISP_E_UNKNOWNNAME
&& !(arg
& fdexNameEnsure
)) {
1404 id
= JS_E_INVALID_PROPERTY
;
1410 return stack_push_objid(ctx
, obj
, id
);
1413 /* ECMA-262 3rd Edition 11.2.1 */
1414 static HRESULT
interp_refval(exec_ctx_t
*ctx
)
1423 disp
= stack_topn_objid(ctx
, 0, &id
);
1425 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
1427 hres
= disp_propget(ctx
->parser
->script
, disp
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
1431 return stack_push(ctx
, &v
);
1434 static void jsstack_to_dp(exec_ctx_t
*ctx
, unsigned arg_cnt
, DISPPARAMS
*dp
)
1439 dp
->cArgs
= arg_cnt
;
1440 dp
->rgdispidNamedArgs
= NULL
;
1443 assert(ctx
->top
>= arg_cnt
);
1445 for(i
=1; i
*2 <= arg_cnt
; i
++) {
1446 tmp
= ctx
->stack
[ctx
->top
-i
];
1447 ctx
->stack
[ctx
->top
-i
] = ctx
->stack
[ctx
->top
-arg_cnt
+i
-1];
1448 ctx
->stack
[ctx
->top
-arg_cnt
+i
-1] = tmp
;
1451 dp
->rgvarg
= ctx
->stack
+ ctx
->top
-arg_cnt
;
1454 /* ECMA-262 3rd Edition 11.2.2 */
1455 static HRESULT
interp_new(exec_ctx_t
*ctx
)
1457 const LONG arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1464 constr
= stack_topn(ctx
, arg
);
1466 /* NOTE: Should use to_object here */
1468 if(V_VT(constr
) == VT_NULL
)
1469 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
1470 else if(V_VT(constr
) != VT_DISPATCH
)
1471 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_ACTION
, NULL
);
1472 else if(!V_DISPATCH(constr
))
1473 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_PROPERTY
, NULL
);
1475 jsstack_to_dp(ctx
, arg
, &dp
);
1476 hres
= disp_call(ctx
->parser
->script
, V_DISPATCH(constr
), DISPID_VALUE
,
1477 DISPATCH_CONSTRUCT
, &dp
, &v
, ctx
->ei
, NULL
/*FIXME*/);
1481 stack_popn(ctx
, arg
+1);
1482 return stack_push(ctx
, &v
);
1485 /* ECMA-262 3rd Edition 11.2.3 */
1486 static HRESULT
interp_call(exec_ctx_t
*ctx
)
1488 const unsigned argn
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1489 const int do_ret
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1494 TRACE("%d %d\n", argn
, do_ret
);
1496 objv
= stack_topn(ctx
, argn
);
1497 if(V_VT(objv
) != VT_DISPATCH
)
1498 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_INVALID_PROPERTY
, NULL
);
1500 jsstack_to_dp(ctx
, argn
, &dp
);
1501 hres
= disp_call(ctx
->parser
->script
, V_DISPATCH(objv
), DISPID_VALUE
, DISPATCH_METHOD
, &dp
,
1502 do_ret
? &v
: NULL
, ctx
->ei
, NULL
/*FIXME*/);
1506 stack_popn(ctx
, argn
+1);
1507 return do_ret
? stack_push(ctx
, &v
) : S_OK
;
1511 /* ECMA-262 3rd Edition 11.2.3 */
1512 static HRESULT
interp_call_member(exec_ctx_t
*ctx
)
1514 const unsigned argn
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1515 const int do_ret
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1522 TRACE("%d %d\n", argn
, do_ret
);
1524 obj
= stack_topn_objid(ctx
, argn
, &id
);
1526 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, id
, NULL
);
1528 jsstack_to_dp(ctx
, argn
, &dp
);
1529 hres
= disp_call(ctx
->parser
->script
, obj
, id
, DISPATCH_METHOD
, &dp
, do_ret
? &v
: NULL
, ctx
->ei
, NULL
/*FIXME*/);
1533 stack_popn(ctx
, argn
+2);
1534 return do_ret
? stack_push(ctx
, &v
) : S_OK
;
1538 /* ECMA-262 3rd Edition 11.1.1 */
1539 static HRESULT
interp_this(exec_ctx_t
*ctx
)
1545 V_VT(&v
) = VT_DISPATCH
;
1546 V_DISPATCH(&v
) = ctx
->this_obj
;
1547 IDispatch_AddRef(ctx
->this_obj
);
1548 return stack_push(ctx
, &v
);
1551 /* ECMA-262 3rd Edition 10.1.4 */
1552 static HRESULT
identifier_expression_eval(script_ctx_t
*ctx
, expression_t
*_expr
, jsexcept_t
*ei
, exprval_t
*ret
)
1554 identifier_expression_t
*expr
= (identifier_expression_t
*)_expr
;
1560 identifier
= SysAllocString(expr
->identifier
);
1562 return E_OUTOFMEMORY
;
1564 hres
= identifier_eval(ctx
, identifier
, fdexNameEnsure
, ei
, ret
);
1566 SysFreeString(identifier
);
1570 /* ECMA-262 3rd Edition 10.1.4 */
1571 static HRESULT
interp_ident(exec_ctx_t
*ctx
)
1573 const BSTR arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1578 TRACE("%s\n", debugstr_w(arg
));
1580 hres
= identifier_eval(ctx
->parser
->script
, arg
, 0, ctx
->ei
, &exprval
);
1584 if(exprval
.type
== EXPRVAL_INVALID
)
1585 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_UNDEFINED_VARIABLE
, arg
);
1587 hres
= exprval_to_value(ctx
->parser
->script
, &exprval
, ctx
->ei
, &v
);
1588 exprval_release(&exprval
);
1592 return stack_push(ctx
, &v
);
1595 /* ECMA-262 3rd Edition 10.1.4 */
1596 static HRESULT
interp_identid(exec_ctx_t
*ctx
)
1598 const BSTR arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1599 const unsigned flags
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg2
.uint
;
1603 TRACE("%s %x\n", debugstr_w(arg
), flags
);
1605 hres
= identifier_eval(ctx
->parser
->script
, arg
, flags
, ctx
->ei
, &exprval
);
1609 if(exprval
.type
!= EXPRVAL_IDREF
) {
1610 WARN("invalid ref\n");
1611 exprval_release(&exprval
);
1612 return stack_push_objid(ctx
, NULL
, JS_E_OBJECT_EXPECTED
);
1615 return stack_push_objid(ctx
, exprval
.u
.idref
.disp
, exprval
.u
.idref
.id
);
1618 /* ECMA-262 3rd Edition 7.8.1 */
1619 static HRESULT
interp_null(exec_ctx_t
*ctx
)
1626 return stack_push(ctx
, &v
);
1629 /* ECMA-262 3rd Edition 7.8.2 */
1630 static HRESULT
interp_bool(exec_ctx_t
*ctx
)
1632 const LONG arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1634 TRACE("%s\n", arg
? "true" : "false");
1636 return stack_push_bool(ctx
, arg
);
1639 /* ECMA-262 3rd Edition 7.8.3 */
1640 static HRESULT
interp_int(exec_ctx_t
*ctx
)
1642 const LONG arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
1649 return stack_push(ctx
, &v
);
1652 /* ECMA-262 3rd Edition 7.8.3 */
1653 static HRESULT
interp_double(exec_ctx_t
*ctx
)
1655 const double arg
= *ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.dbl
;
1658 TRACE("%lf\n", arg
);
1662 return stack_push(ctx
, &v
);
1665 /* ECMA-262 3rd Edition 7.8.4 */
1666 static HRESULT
interp_str(exec_ctx_t
*ctx
)
1668 const WCHAR
*str
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.str
;
1671 TRACE("%s\n", debugstr_w(str
));
1674 V_BSTR(&v
) = SysAllocString(str
);
1676 return E_OUTOFMEMORY
;
1678 return stack_push(ctx
, &v
);
1681 /* ECMA-262 3rd Edition 7.8 */
1682 static HRESULT
interp_regexp(exec_ctx_t
*ctx
)
1684 const WCHAR
*source
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.str
;
1685 const LONG flags
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg2
.lng
;
1690 TRACE("%s %x\n", debugstr_w(source
), flags
);
1692 hres
= create_regexp(ctx
->parser
->script
, source
, strlenW(source
), flags
, ®exp
);
1696 var_set_jsdisp(&v
, regexp
);
1697 return stack_push(ctx
, &v
);
1700 /* ECMA-262 3rd Edition 11.1.4 */
1701 static HRESULT
interp_carray(exec_ctx_t
*ctx
)
1703 const unsigned arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1711 hres
= create_array(ctx
->parser
->script
, arg
, &array
);
1718 hres
= jsdisp_propput_idx(array
, i
, v
, ctx
->ei
, NULL
/*FIXME*/);
1721 jsdisp_release(array
);
1726 var_set_jsdisp(&r
, array
);
1727 return stack_push(ctx
, &r
);
1730 /* ECMA-262 3rd Edition 11.1.5 */
1731 HRESULT
interp_new_obj(exec_ctx_t
*ctx
)
1739 hres
= create_object(ctx
->parser
->script
, NULL
, &obj
);
1743 var_set_jsdisp(&v
, obj
);
1744 return stack_push(ctx
, &v
);
1747 /* ECMA-262 3rd Edition 11.1.5 */
1748 HRESULT
interp_obj_prop(exec_ctx_t
*ctx
)
1750 const BSTR name
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
1755 TRACE("%s\n", debugstr_w(name
));
1759 assert(V_VT(stack_top(ctx
)) == VT_DISPATCH
);
1760 obj
= as_jsdisp(V_DISPATCH(stack_top(ctx
)));
1762 hres
= jsdisp_propput_name(obj
, name
, v
, ctx
->ei
, NULL
/*FIXME*/);
1767 /* ECMA-262 3rd Edition 11.11 */
1768 static HRESULT
interp_jmp_nz(exec_ctx_t
*ctx
)
1770 const unsigned arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1776 hres
= to_boolean(stack_top(ctx
), &b
);
1789 /* ECMA-262 3rd Edition 11.11 */
1790 static HRESULT
interp_jmp_z(exec_ctx_t
*ctx
)
1792 const unsigned arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
1798 hres
= to_boolean(stack_top(ctx
), &b
);
1811 /* ECMA-262 3rd Edition 11.10 */
1812 static HRESULT
interp_or(exec_ctx_t
*ctx
)
1819 hres
= stack_pop_int(ctx
, &r
);
1823 hres
= stack_pop_int(ctx
, &l
);
1827 return stack_push_int(ctx
, l
|r
);
1830 /* ECMA-262 3rd Edition 11.10 */
1831 static HRESULT
interp_xor(exec_ctx_t
*ctx
)
1838 hres
= stack_pop_int(ctx
, &r
);
1842 hres
= stack_pop_int(ctx
, &l
);
1846 return stack_push_int(ctx
, l
^r
);
1849 /* ECMA-262 3rd Edition 11.10 */
1850 static HRESULT
interp_and(exec_ctx_t
*ctx
)
1857 hres
= stack_pop_int(ctx
, &r
);
1861 hres
= stack_pop_int(ctx
, &l
);
1865 return stack_push_int(ctx
, l
&r
);
1868 /* ECMA-262 3rd Edition 11.8.6 */
1869 static HRESULT
interp_instanceof(exec_ctx_t
*ctx
)
1871 jsdisp_t
*obj
, *iter
, *tmp
= NULL
;
1876 static const WCHAR prototypeW
[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
1879 if(V_VT(v
) != VT_DISPATCH
|| !V_DISPATCH(v
)) {
1881 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_FUNCTION_EXPECTED
, NULL
);
1884 obj
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
));
1885 IDispatch_Release(V_DISPATCH(v
));
1887 FIXME("non-jsdisp objects not supported\n");
1891 if(is_class(obj
, JSCLASS_FUNCTION
)) {
1892 hres
= jsdisp_propget_name(obj
, prototypeW
, &prot
, ctx
->ei
, NULL
/*FIXME*/);
1894 hres
= throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_FUNCTION_EXPECTED
, NULL
);
1896 jsdisp_release(obj
);
1902 if(V_VT(&prot
) == VT_DISPATCH
) {
1903 if(V_VT(v
) == VT_DISPATCH
)
1904 tmp
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
));
1905 for(iter
= tmp
; !ret
&& iter
; iter
= iter
->prototype
) {
1906 hres
= disp_cmp(V_DISPATCH(&prot
), to_disp(iter
), &ret
);
1912 jsdisp_release(tmp
);
1914 FIXME("prototype is not an object\n");
1918 VariantClear(&prot
);
1923 return stack_push_bool(ctx
, ret
);
1926 /* ECMA-262 3rd Edition 11.8.7 */
1927 static HRESULT
interp_in(exec_ctx_t
*ctx
)
1937 obj
= stack_pop(ctx
);
1940 if(V_VT(obj
) != VT_DISPATCH
|| !V_DISPATCH(obj
)) {
1943 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
1946 hres
= to_string(ctx
->parser
->script
, v
, ctx
->ei
, &str
);
1949 IDispatch_Release(V_DISPATCH(obj
));
1953 hres
= disp_get_id(ctx
->parser
->script
, V_DISPATCH(obj
), str
, 0, &id
);
1954 IDispatch_Release(V_DISPATCH(obj
));
1958 else if(hres
== DISP_E_UNKNOWNNAME
)
1963 return stack_push_bool(ctx
, ret
);
1966 /* ECMA-262 3rd Edition 11.6.1 */
1967 static HRESULT
add_eval(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, jsexcept_t
*ei
, VARIANT
*retv
)
1972 hres
= to_primitive(ctx
, lval
, ei
, &l
, NO_HINT
);
1976 hres
= to_primitive(ctx
, rval
, ei
, &r
, NO_HINT
);
1982 if(V_VT(&l
) == VT_BSTR
|| V_VT(&r
) == VT_BSTR
) {
1983 BSTR lstr
= NULL
, rstr
= NULL
;
1985 if(V_VT(&l
) == VT_BSTR
)
1988 hres
= to_string(ctx
, &l
, ei
, &lstr
);
1990 if(SUCCEEDED(hres
)) {
1991 if(V_VT(&r
) == VT_BSTR
)
1994 hres
= to_string(ctx
, &r
, ei
, &rstr
);
1997 if(SUCCEEDED(hres
)) {
2000 len1
= SysStringLen(lstr
);
2001 len2
= SysStringLen(rstr
);
2003 V_VT(retv
) = VT_BSTR
;
2004 V_BSTR(retv
) = SysAllocStringLen(NULL
, len1
+len2
);
2005 memcpy(V_BSTR(retv
), lstr
, len1
*sizeof(WCHAR
));
2006 memcpy(V_BSTR(retv
)+len1
, rstr
, (len2
+1)*sizeof(WCHAR
));
2009 if(V_VT(&l
) != VT_BSTR
)
2010 SysFreeString(lstr
);
2011 if(V_VT(&r
) != VT_BSTR
)
2012 SysFreeString(rstr
);
2016 hres
= to_number(ctx
, &l
, ei
, &nl
);
2017 if(SUCCEEDED(hres
)) {
2018 hres
= to_number(ctx
, &r
, ei
, &nr
);
2020 num_set_val(retv
, num_val(&nl
) + num_val(&nr
));
2029 /* ECMA-262 3rd Edition 11.6.1 */
2030 static HRESULT
interp_add(exec_ctx_t
*ctx
)
2032 VARIANT
*l
, *r
, ret
;
2038 TRACE("%s + %s\n", debugstr_variant(l
), debugstr_variant(r
));
2040 hres
= add_eval(ctx
->parser
->script
, l
, r
, ctx
->ei
, &ret
);
2046 return stack_push(ctx
, &ret
);
2049 /* ECMA-262 3rd Edition 11.6.2 */
2050 static HRESULT
interp_sub(exec_ctx_t
*ctx
)
2057 hres
= stack_pop_number(ctx
, &r
);
2061 hres
= stack_pop_number(ctx
, &l
);
2065 return stack_push_number(ctx
, num_val(&l
)-num_val(&r
));
2068 /* ECMA-262 3rd Edition 11.5.1 */
2069 static HRESULT
interp_mul(exec_ctx_t
*ctx
)
2076 hres
= stack_pop_number(ctx
, &r
);
2080 hres
= stack_pop_number(ctx
, &l
);
2084 return stack_push_number(ctx
, num_val(&l
)*num_val(&r
));
2087 /* ECMA-262 3rd Edition 11.5.2 */
2088 static HRESULT
interp_div(exec_ctx_t
*ctx
)
2095 hres
= stack_pop_number(ctx
, &r
);
2099 hres
= stack_pop_number(ctx
, &l
);
2103 return stack_push_number(ctx
, num_val(&l
)/num_val(&r
));
2106 /* ECMA-262 3rd Edition 11.5.3 */
2107 static HRESULT
interp_mod(exec_ctx_t
*ctx
)
2114 hres
= stack_pop_number(ctx
, &r
);
2118 hres
= stack_pop_number(ctx
, &l
);
2122 return stack_push_number(ctx
, fmod(num_val(&l
), num_val(&r
)));
2125 /* ECMA-262 3rd Edition 11.4.2 */
2126 static HRESULT
interp_delete(exec_ctx_t
*ctx
)
2128 VARIANT
*obj_var
, *name_var
;
2129 IDispatchEx
*dispex
;
2137 name_var
= stack_pop(ctx
);
2138 obj_var
= stack_pop(ctx
);
2140 hres
= to_object(ctx
->parser
->script
, obj_var
, &obj
);
2141 VariantClear(obj_var
);
2143 VariantClear(name_var
);
2147 hres
= to_string(ctx
->parser
->script
, name_var
, ctx
->ei
, &name
);
2148 VariantClear(name_var
);
2150 IDispatch_Release(obj
);
2154 hres
= IDispatch_QueryInterface(obj
, &IID_IDispatchEx
, (void**)&dispex
);
2155 if(SUCCEEDED(hres
)) {
2156 hres
= IDispatchEx_DeleteMemberByName(dispex
, name
, make_grfdex(ctx
->parser
->script
, fdexNameCaseSensitive
));
2158 IDispatchEx_Release(dispex
);
2164 IDispatch_Release(obj
);
2165 SysFreeString(name
);
2169 return stack_push_bool(ctx
, ret
);
2172 /* ECMA-262 3rd Edition 11.4.2 */
2173 static HRESULT
interp_delete_ident(exec_ctx_t
*ctx
)
2175 const BSTR arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
2176 IDispatchEx
*dispex
;
2181 TRACE("%s\n", debugstr_w(arg
));
2183 hres
= identifier_eval(ctx
->parser
->script
, arg
, 0, ctx
->ei
, &exprval
);
2187 if(exprval
.type
!= EXPRVAL_IDREF
) {
2188 FIXME("Unsupported exprval\n");
2189 exprval_release(&exprval
);
2193 hres
= IDispatch_QueryInterface(exprval
.u
.idref
.disp
, &IID_IDispatchEx
, (void**)&dispex
);
2194 IDispatch_Release(exprval
.u
.idref
.disp
);
2195 if(SUCCEEDED(hres
)) {
2196 hres
= IDispatchEx_DeleteMemberByDispID(dispex
, exprval
.u
.idref
.id
);
2197 IDispatchEx_Release(dispex
);
2204 return stack_push_bool(ctx
, ret
);
2207 /* ECMA-262 3rd Edition 11.4.2 */
2208 static HRESULT
interp_void(exec_ctx_t
*ctx
)
2216 V_VT(&v
) = VT_EMPTY
;
2217 return stack_push(ctx
, &v
);
2220 /* ECMA-262 3rd Edition 11.4.3 */
2221 static HRESULT
typeof_string(VARIANT
*v
, const WCHAR
**ret
)
2243 if(V_DISPATCH(v
) && (dispex
= iface_to_jsdisp((IUnknown
*)V_DISPATCH(v
)))) {
2244 *ret
= is_class(dispex
, JSCLASS_FUNCTION
) ? functionW
: objectW
;
2245 jsdisp_release(dispex
);
2252 FIXME("unhandled vt %d\n", V_VT(v
));
2259 /* ECMA-262 3rd Edition 11.4.3 */
2260 static HRESULT
interp_typeofid(exec_ctx_t
*ctx
)
2268 static const WCHAR undefinedW
[] = {'u','n','d','e','f','i','n','e','d',0};
2272 obj
= stack_pop_objid(ctx
, &id
);
2274 return stack_push_string(ctx
, undefinedW
);
2276 V_VT(&v
) = VT_EMPTY
;
2277 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
2278 IDispatch_Release(obj
);
2280 return stack_push_string(ctx
, unknownW
);
2282 hres
= typeof_string(&v
, &ret
);
2287 return stack_push_string(ctx
, ret
);
2290 /* ECMA-262 3rd Edition 11.4.3 */
2291 static HRESULT
interp_typeofident(exec_ctx_t
*ctx
)
2293 const BSTR arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.bstr
;
2299 TRACE("%s\n", debugstr_w(arg
));
2301 hres
= identifier_eval(ctx
->parser
->script
, arg
, 0, ctx
->ei
, &exprval
);
2305 if(exprval
.type
== EXPRVAL_INVALID
) {
2306 hres
= stack_push_string(ctx
, undefinedW
);
2307 exprval_release(&exprval
);
2311 hres
= exprval_to_value(ctx
->parser
->script
, &exprval
, ctx
->ei
, &v
);
2312 exprval_release(&exprval
);
2316 hres
= typeof_string(&v
, &ret
);
2321 return stack_push_string(ctx
, ret
);
2324 /* ECMA-262 3rd Edition 11.4.3 */
2325 static HRESULT
interp_typeof(exec_ctx_t
*ctx
)
2334 hres
= typeof_string(v
, &ret
);
2339 return stack_push_string(ctx
, ret
);
2342 /* ECMA-262 3rd Edition 11.4.7 */
2343 static HRESULT
interp_minus(exec_ctx_t
*ctx
)
2350 hres
= stack_pop_number(ctx
, &n
);
2354 return stack_push_number(ctx
, -num_val(&n
));
2357 /* ECMA-262 3rd Edition 11.4.6 */
2358 static HRESULT
interp_tonum(exec_ctx_t
*ctx
)
2366 hres
= to_number(ctx
->parser
->script
, v
, ctx
->ei
, &num
);
2371 return stack_push(ctx
, &num
);
2374 /* ECMA-262 3rd Edition 11.3.1 */
2375 static HRESULT
interp_postinc(exec_ctx_t
*ctx
)
2377 const int arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
2385 obj
= stack_pop_objid(ctx
, &id
);
2387 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
2389 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
2390 if(SUCCEEDED(hres
)) {
2393 hres
= to_number(ctx
->parser
->script
, &v
, ctx
->ei
, &n
);
2394 if(SUCCEEDED(hres
)) {
2395 num_set_val(&inc
, num_val(&n
)+(double)arg
);
2396 hres
= disp_propput(ctx
->parser
->script
, obj
, id
, &inc
, ctx
->ei
, NULL
/*FIXME*/);
2401 IDispatch_Release(obj
);
2405 return stack_push(ctx
, &v
);
2408 /* ECMA-262 3rd Edition 11.4.4, 11.4.5 */
2409 static HRESULT
interp_preinc(exec_ctx_t
*ctx
)
2411 const int arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.lng
;
2419 obj
= stack_pop_objid(ctx
, &id
);
2421 return throw_type_error(ctx
->parser
->script
, ctx
->ei
, JS_E_OBJECT_EXPECTED
, NULL
);
2423 hres
= disp_propget(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
2424 if(SUCCEEDED(hres
)) {
2427 hres
= to_number(ctx
->parser
->script
, &v
, ctx
->ei
, &n
);
2429 if(SUCCEEDED(hres
)) {
2430 num_set_val(&v
, num_val(&n
)+(double)arg
);
2431 hres
= disp_propput(ctx
->parser
->script
, obj
, id
, &v
, ctx
->ei
, NULL
/*FIXME*/);
2434 IDispatch_Release(obj
);
2438 return stack_push(ctx
, &v
);
2441 /* ECMA-262 3rd Edition 11.9.3 */
2442 static HRESULT
equal_values(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, jsexcept_t
*ei
, BOOL
*ret
)
2444 if(V_VT(lval
) == V_VT(rval
) || (is_num_vt(V_VT(lval
)) && is_num_vt(V_VT(rval
))))
2445 return equal2_values(lval
, rval
, ret
);
2447 /* FIXME: NULL disps should be handled in more general way */
2448 if(V_VT(lval
) == VT_DISPATCH
&& !V_DISPATCH(lval
)) {
2451 return equal_values(ctx
, &v
, rval
, ei
, ret
);
2454 if(V_VT(rval
) == VT_DISPATCH
&& !V_DISPATCH(rval
)) {
2457 return equal_values(ctx
, lval
, &v
, ei
, ret
);
2460 if((V_VT(lval
) == VT_NULL
&& V_VT(rval
) == VT_EMPTY
) ||
2461 (V_VT(lval
) == VT_EMPTY
&& V_VT(rval
) == VT_NULL
)) {
2466 if(V_VT(lval
) == VT_BSTR
&& is_num_vt(V_VT(rval
))) {
2470 hres
= to_number(ctx
, lval
, ei
, &v
);
2474 return equal_values(ctx
, &v
, rval
, ei
, ret
);
2477 if(V_VT(rval
) == VT_BSTR
&& is_num_vt(V_VT(lval
))) {
2481 hres
= to_number(ctx
, rval
, ei
, &v
);
2485 return equal_values(ctx
, lval
, &v
, ei
, ret
);
2488 if(V_VT(rval
) == VT_BOOL
) {
2492 V_I4(&v
) = V_BOOL(rval
) ? 1 : 0;
2493 return equal_values(ctx
, lval
, &v
, ei
, ret
);
2496 if(V_VT(lval
) == VT_BOOL
) {
2500 V_I4(&v
) = V_BOOL(lval
) ? 1 : 0;
2501 return equal_values(ctx
, &v
, rval
, ei
, ret
);
2505 if(V_VT(rval
) == VT_DISPATCH
&& (V_VT(lval
) == VT_BSTR
|| is_num_vt(V_VT(lval
)))) {
2509 hres
= to_primitive(ctx
, rval
, ei
, &v
, NO_HINT
);
2513 hres
= equal_values(ctx
, lval
, &v
, ei
, ret
);
2520 if(V_VT(lval
) == VT_DISPATCH
&& (V_VT(rval
) == VT_BSTR
|| is_num_vt(V_VT(rval
)))) {
2524 hres
= to_primitive(ctx
, lval
, ei
, &v
, NO_HINT
);
2528 hres
= equal_values(ctx
, &v
, rval
, ei
, ret
);
2539 /* ECMA-262 3rd Edition 11.9.1 */
2540 static HRESULT
interp_eq(exec_ctx_t
*ctx
)
2549 TRACE("%s == %s\n", debugstr_variant(l
), debugstr_variant(r
));
2551 hres
= equal_values(ctx
->parser
->script
, l
, r
, ctx
->ei
, &b
);
2557 return stack_push_bool(ctx
, b
);
2560 /* ECMA-262 3rd Edition 11.9.2 */
2561 static HRESULT
interp_neq(exec_ctx_t
*ctx
)
2570 TRACE("%s != %s\n", debugstr_variant(l
), debugstr_variant(r
));
2572 hres
= equal_values(ctx
->parser
->script
, l
, r
, ctx
->ei
, &b
);
2578 return stack_push_bool(ctx
, !b
);
2581 /* ECMA-262 3rd Edition 11.9.4 */
2582 static HRESULT
interp_eq2(exec_ctx_t
*ctx
)
2593 hres
= equal2_values(r
, l
, &b
);
2599 return stack_push_bool(ctx
, b
);
2602 /* ECMA-262 3rd Edition 11.9.5 */
2603 static HRESULT
interp_neq2(exec_ctx_t
*ctx
)
2614 hres
= equal2_values(r
, l
, &b
);
2620 return stack_push_bool(ctx
, !b
);
2623 /* ECMA-262 3rd Edition 11.8.5 */
2624 static HRESULT
less_eval(script_ctx_t
*ctx
, VARIANT
*lval
, VARIANT
*rval
, BOOL greater
, jsexcept_t
*ei
, BOOL
*ret
)
2626 VARIANT l
, r
, ln
, rn
;
2629 hres
= to_primitive(ctx
, lval
, ei
, &l
, NO_HINT
);
2633 hres
= to_primitive(ctx
, rval
, ei
, &r
, NO_HINT
);
2639 if(V_VT(&l
) == VT_BSTR
&& V_VT(&r
) == VT_BSTR
) {
2640 *ret
= (strcmpW(V_BSTR(&l
), V_BSTR(&r
)) < 0) ^ greater
;
2641 SysFreeString(V_BSTR(&l
));
2642 SysFreeString(V_BSTR(&r
));
2646 hres
= to_number(ctx
, &l
, ei
, &ln
);
2649 hres
= to_number(ctx
, &r
, ei
, &rn
);
2654 if(V_VT(&ln
) == VT_I4
&& V_VT(&rn
) == VT_I4
) {
2655 *ret
= (V_I4(&ln
) < V_I4(&rn
)) ^ greater
;
2657 DOUBLE ld
= num_val(&ln
);
2658 DOUBLE rd
= num_val(&rn
);
2660 *ret
= !isnan(ld
) && !isnan(rd
) && ((ld
< rd
) ^ greater
);
2666 /* ECMA-262 3rd Edition 11.8.1 */
2667 static HRESULT
interp_lt(exec_ctx_t
*ctx
)
2676 TRACE("%s < %s\n", debugstr_variant(l
), debugstr_variant(r
));
2678 hres
= less_eval(ctx
->parser
->script
, l
, r
, FALSE
, ctx
->ei
, &b
);
2684 return stack_push_bool(ctx
, b
);
2687 /* ECMA-262 3rd Edition 11.8.1 */
2688 static HRESULT
interp_lteq(exec_ctx_t
*ctx
)
2697 TRACE("%s <= %s\n", debugstr_variant(l
), debugstr_variant(r
));
2699 hres
= less_eval(ctx
->parser
->script
, r
, l
, TRUE
, ctx
->ei
, &b
);
2705 return stack_push_bool(ctx
, b
);
2708 /* ECMA-262 3rd Edition 11.8.2 */
2709 static HRESULT
interp_gt(exec_ctx_t
*ctx
)
2718 TRACE("%s > %s\n", debugstr_variant(l
), debugstr_variant(r
));
2720 hres
= less_eval(ctx
->parser
->script
, r
, l
, FALSE
, ctx
->ei
, &b
);
2726 return stack_push_bool(ctx
, b
);
2729 /* ECMA-262 3rd Edition 11.8.4 */
2730 static HRESULT
interp_gteq(exec_ctx_t
*ctx
)
2739 TRACE("%s >= %s\n", debugstr_variant(l
), debugstr_variant(r
));
2741 hres
= less_eval(ctx
->parser
->script
, l
, r
, TRUE
, ctx
->ei
, &b
);
2747 return stack_push_bool(ctx
, b
);
2750 /* ECMA-262 3rd Edition 11.4.8 */
2751 static HRESULT
interp_bneg(exec_ctx_t
*ctx
)
2760 hres
= to_int32(ctx
->parser
->script
, v
, ctx
->ei
, &i
);
2767 return stack_push(ctx
, &r
);
2770 /* ECMA-262 3rd Edition 11.4.9 */
2771 static HRESULT
interp_neg(exec_ctx_t
*ctx
)
2780 hres
= to_boolean(v
, &b
);
2785 return stack_push_bool(ctx
, !b
);
2788 /* ECMA-262 3rd Edition 11.7.1 */
2789 static HRESULT
interp_lshift(exec_ctx_t
*ctx
)
2795 hres
= stack_pop_uint(ctx
, &r
);
2799 hres
= stack_pop_int(ctx
, &l
);
2803 return stack_push_int(ctx
, l
<< (r
&0x1f));
2806 /* ECMA-262 3rd Edition 11.7.2 */
2807 static HRESULT
interp_rshift(exec_ctx_t
*ctx
)
2813 hres
= stack_pop_uint(ctx
, &r
);
2817 hres
= stack_pop_int(ctx
, &l
);
2821 return stack_push_int(ctx
, l
>> (r
&0x1f));
2824 /* ECMA-262 3rd Edition 11.7.3 */
2825 static HRESULT
interp_rshift2(exec_ctx_t
*ctx
)
2830 hres
= stack_pop_uint(ctx
, &r
);
2834 hres
= stack_pop_uint(ctx
, &l
);
2838 return stack_push_int(ctx
, l
>> (r
&0x1f));
2841 /* ECMA-262 3rd Edition 11.13.1 */
2842 static HRESULT
interp_assign(exec_ctx_t
*ctx
)
2852 disp
= stack_pop_objid(ctx
, &id
);
2855 return throw_reference_error(ctx
->parser
->script
, ctx
->ei
, JS_E_ILLEGAL_ASSIGN
, NULL
);
2857 hres
= disp_propput(ctx
->parser
->script
, disp
, id
, v
, ctx
->ei
, NULL
/*FIXME*/);
2858 IDispatch_Release(disp
);
2864 return stack_push(ctx
, v
);
2867 static HRESULT
interp_undefined(exec_ctx_t
*ctx
)
2873 V_VT(&v
) = VT_EMPTY
;
2874 return stack_push(ctx
, &v
);
2877 static HRESULT
interp_jmp(exec_ctx_t
*ctx
)
2879 const unsigned arg
= ctx
->parser
->code
->instrs
[ctx
->ip
].arg1
.uint
;
2887 static HRESULT
interp_pop(exec_ctx_t
*ctx
)
2895 static HRESULT
interp_ret(exec_ctx_t
*ctx
)
2903 static HRESULT
interp_tree(exec_ctx_t
*ctx
)
2905 instr_t
*instr
= ctx
->parser
->code
->instrs
+ctx
->ip
;
2911 hres
= stat_eval(ctx
->parser
->script
, instr
->arg1
.stat
, ctx
->rt
, &v
);
2915 return stack_push(ctx
, &v
);
2918 typedef HRESULT (*op_func_t
)(exec_ctx_t
*);
2920 static const op_func_t op_funcs
[] = {
2921 #define X(x,a,b,c) interp_##x,
2926 static const unsigned op_move
[] = {
2927 #define X(a,x,b,c) x,
2932 HRESULT
compiled_statement_eval(script_ctx_t
*ctx
, statement_t
*stat
, return_type_t
*rt
, VARIANT
*ret
)
2934 exec_ctx_t
*exec_ctx
= ctx
->exec_ctx
;
2935 unsigned prev_ip
, prev_top
;
2936 return_type_t
*prev_rt
;
2937 jsexcept_t
*prev_ei
;
2939 HRESULT hres
= S_OK
;
2943 if(stat
->instr_off
== -1) {
2944 hres
= compile_subscript_stat(exec_ctx
->parser
, stat
, FALSE
, &stat
->instr_off
);
2949 prev_rt
= exec_ctx
->rt
;
2950 prev_top
= exec_ctx
->top
;
2951 prev_ip
= exec_ctx
->ip
;
2952 prev_ei
= exec_ctx
->ei
;
2953 exec_ctx
->ip
= stat
->instr_off
;
2955 exec_ctx
->ei
= &rt
->ei
;
2957 while(exec_ctx
->ip
!= -1 && exec_ctx
->rt
->type
== RT_NORMAL
) {
2958 op
= exec_ctx
->parser
->code
->instrs
[exec_ctx
->ip
].op
;
2959 hres
= op_funcs
[op
](exec_ctx
);
2962 exec_ctx
->ip
+= op_move
[op
];
2965 exec_ctx
->rt
= prev_rt
;
2966 exec_ctx
->ip
= prev_ip
;
2967 exec_ctx
->ei
= prev_ei
;
2970 stack_popn(exec_ctx
, exec_ctx
->top
-prev_top
);
2974 assert(exec_ctx
->top
== prev_top
+1 || exec_ctx
->top
== prev_top
);
2976 if(exec_ctx
->top
== prev_top
)
2977 V_VT(ret
) = VT_EMPTY
;
2979 *ret
= *stack_pop(exec_ctx
);
2983 static HRESULT
expr_eval(script_ctx_t
*ctx
, expression_t
*expr
, jsexcept_t
*ei
, VARIANT
*ret
)
2985 exec_ctx_t
*exec_ctx
= ctx
->exec_ctx
;
2986 unsigned prev_ip
, prev_top
;
2987 jsexcept_t
*prev_ei
;
2989 HRESULT hres
= S_OK
;
2993 if(expr
->instr_off
== -1) {
2994 hres
= compile_subscript(ctx
->exec_ctx
->parser
, expr
, &expr
->instr_off
);
2999 prev_top
= exec_ctx
->top
;
3000 prev_ip
= exec_ctx
->ip
;
3001 prev_ei
= exec_ctx
->ei
;
3002 exec_ctx
->ip
= expr
->instr_off
;
3005 while(exec_ctx
->ip
!= -1) {
3006 op
= exec_ctx
->parser
->code
->instrs
[exec_ctx
->ip
].op
;
3007 hres
= op_funcs
[op
](exec_ctx
);
3010 exec_ctx
->ip
+= op_move
[op
];
3013 exec_ctx
->ip
= prev_ip
;
3014 exec_ctx
->ei
= prev_ei
;
3017 stack_popn(exec_ctx
, exec_ctx
->top
-prev_top
);
3021 assert(exec_ctx
->top
== prev_top
+1);
3023 if(exec_ctx
->top
== prev_top
)
3024 V_VT(ret
) = VT_EMPTY
;
3026 *ret
= *stack_pop(exec_ctx
);