Searched refs:rewrite_nboyer (Results 1 - 4 of 4) sorted by relevance
| /external/v8/benchmarks/ |
| H A D | earley-boyer.js | 3452 var rewrite_nboyer; variable
3604 rewrite_nboyer = function(term) {
3616 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3623 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3632 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3790 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3603 rewrite_nboyer = function(term) { function
|
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v4/ |
| H A D | v8-earley-boyer.js | 3446 var rewrite_nboyer; variable
3598 rewrite_nboyer = function(term) {
3610 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3617 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3626 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3784 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3597 rewrite_nboyer = function(term) { function
|
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v5/ |
| H A D | v8-earley-boyer.js | 3446 var rewrite_nboyer; variable
3598 rewrite_nboyer = function(term) {
3610 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3617 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3626 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3784 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3597 rewrite_nboyer = function(term) { function
|
| /external/webkit/PerformanceTests/SunSpider/tests/v8-v6/ |
| H A D | v8-earley-boyer.js | 3446 var rewrite_nboyer; variable
3598 rewrite_nboyer = function(term) {
3610 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3617 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3626 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3784 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3597 rewrite_nboyer = function(term) { function
|
Completed in 589 milliseconds