Skip to content

Commit

Permalink
Widen summaries to finish faster.
Browse files Browse the repository at this point in the history
  • Loading branch information
@dimvar
dimvar committed Oct 19, 2011
1 parent a4b110f commit 8d031a0
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 9 deletions.
6 changes: 4 additions & 2 deletions lib/cfa2/jscfa.js
View file
Expand Up @@ -2643,7 +2643,8 @@ function searchSummary(n, args, ts) {
// Start from the end to find the elm that was pushed last
for (var i = insouts.length - 1; i >= 0; i--) {
summary = insouts[i];
if (arrayeq(aveq, args, summary[0])) return summary.slice(-2);
// If no widening, turn avlt to aveq in the next line.
if (arrayeq(avlt, args, summary[0])) return summary.slice(-2);
}
return false;
}
Expand Down Expand Up @@ -2686,7 +2687,8 @@ function searchPending(n, args) {
if (bucket[0].ts < timestamp) return len;
// Start from the end to find the elm that was pushed last
for (var i = len - 1; i >= 0; i--)
if (arrayeq(aveq, args, bucket[i].args)) return;
// If no widening, turn avlt to aveq in the next line.
if (arrayeq(avlt, args, bucket[i].args)) return;
return 0;
}

Expand Down
2 changes: 1 addition & 1 deletion lib/cfa2/sunspider/check-3d-raytrace.tags
View file
Expand Up @@ -7,7 +7,7 @@
createVector check-3d-raytrace.js /^function createVector(x,y,z) {$/;" f lineno:26 type:Array[number] function(number, number, number)
sqrLengthVector check-3d-raytrace.js /^function sqrLengthVector(self) {$/;" f lineno:30 type:number function(any)
lengthVector check-3d-raytrace.js /^function lengthVector(self) {$/;" f lineno:34 type:number function(Array[number])
addVector check-3d-raytrace.js /^function addVector(self, v) {$/;" f lineno:38 type:Array[number] function(Array[number], <null | Array[number]>)
addVector check-3d-raytrace.js /^function addVector(self, v) {$/;" f lineno:38 type:<null | Array[number]> function(<null | Array[number]>, <null | Array[number]>)
subVector check-3d-raytrace.js /^function subVector(self, v) {$/;" f lineno:45 type:Array[number] function(Array[number], Array[number])
scaleVector check-3d-raytrace.js /^function scaleVector(self, scale) {$/;" f lineno:52 type:<null | Array[number]> function(<null | Array[number]>, <number | undefined>)
normaliseVector check-3d-raytrace.js /^function normaliseVector(self) {$/;" f lineno:59 type:Array[number] function(Array[number])
Expand Down
12 changes: 6 additions & 6 deletions lib/cfa2/v8/v6/earley-boyer.tags
View file
Expand Up @@ -122,12 +122,12 @@ sc_remq earley-boyer.js /^function sc_remq(o, l) {$/;" f lineno:815 type:<null |
sc_remqBang earley-boyer.js /^function sc_remqBang(o, l) {$/;" f lineno:829 type:null function(any, any)
sc_delete earley-boyer.js /^function sc_delete(o, l) {$/;" f lineno:850 type:<null | sc_Pair> function(any, any)
sc_deleteBang earley-boyer.js /^function sc_deleteBang(o, l) {$/;" f lineno:864 type:null function(any, any)
sc_reverseAppendBang earley-boyer.js /^function sc_reverseAppendBang(l1, l2) {$/;" f lineno:884 type:<number | string | boolean | undefined | null | sc_Pair | Array> function(<null | sc_Pair>, <number | string | boolean | undefined | null | sc_Pair | Array>)
sc_dualAppend earley-boyer.js /^function sc_dualAppend(l1, l2) {$/;" f lineno:895 type:<number | string | boolean | undefined | null | sc_Pair | Array> function(<number | string | boolean | undefined | null | sc_Pair | Array>, <number | string | boolean | undefined | null | sc_Pair | Array>)
sc_append earley-boyer.js /^function sc_append() {$/;" f lineno:903 type:<number | string | boolean | undefined | null | sc_Pair | Array> function()
sc_reverseAppendBang earley-boyer.js /^function sc_reverseAppendBang(l1, l2) {$/;" f lineno:884 type:<null | sc_Pair> function(<null | sc_Pair>, <null | sc_Pair>)
sc_dualAppend earley-boyer.js /^function sc_dualAppend(l1, l2) {$/;" f lineno:895 type:<null | sc_Pair> function(<null | sc_Pair>, <null | sc_Pair>)
sc_append earley-boyer.js /^function sc_append() {$/;" f lineno:903 type:<null | sc_Pair> function()
sc_dualAppendBang earley-boyer.js /^function sc_dualAppendBang(l1, l2) {$/;" f lineno:912 type:null function(null, any)
sc_appendBang earley-boyer.js /^function sc_appendBang() {$/;" f lineno:922 type:null function()
sc_reverse earley-boyer.js /^function sc_reverse(l1) {$/;" f lineno:930 type:<null | sc_Pair> function(<number | string | boolean | undefined | null | sc_Pair | Array>)
sc_reverse earley-boyer.js /^function sc_reverse(l1) {$/;" f lineno:930 type:<null | sc_Pair> function(<null | sc_Pair>)
sc_reverseBang earley-boyer.js /^function sc_reverseBang(l) {$/;" f lineno:940 type:null function(null)
sc_listTail earley-boyer.js /^function sc_listTail(l, k) {$/;" f lineno:945 type:any function(any, any)
sc_listRef earley-boyer.js /^function sc_listRef(l, k) {$/;" f lineno:954 type:any function(any, any)
Expand Down Expand Up @@ -202,7 +202,7 @@ sc_map earley-boyer.js /^function sc_map(proc, l1) {$/;" f lineno:1495 type:<nul
sc_mapBang earley-boyer.js /^function sc_mapBang(proc, l1) {$/;" f lineno:1513 type:null function(any, any)
sc_forEach earley-boyer.js /^function sc_forEach(proc, l1) {$/;" f lineno:1532 type:void function(any, any)
sc_filter earley-boyer.js /^function sc_filter(proc, l1) {$/;" f lineno:1550 type:<null | sc_Pair> function(any, any)
sc_filterBang earley-boyer.js /^function sc_filterBang(proc, l1) {$/;" f lineno:1564 type:<number | string | boolean | undefined | null | sc_Pair | Array> function(any, any)
sc_filterBang earley-boyer.js /^function sc_filterBang(proc, l1) {$/;" f lineno:1564 type:<null | sc_Pair> function(any, any)
sc_filterMap1 earley-boyer.js /^function sc_filterMap1(proc, l1) {$/;" f lineno:1579 type:<null | sc_Pair> function(any, any)
sc_filterMap2 earley-boyer.js /^function sc_filterMap2(proc, l1, l2) {$/;" f lineno:1588 type:<null | sc_Pair> function(any, any, any)
sc_filterMap earley-boyer.js /^function sc_filterMap(proc, l1, l2, l3) {$/;" f lineno:1600 type:<null | sc_Pair> function(any, any, any, any)
Expand Down Expand Up @@ -480,7 +480,7 @@ is_parsed earley-boyer.js /^ is_parsed = function(nt, i, j, s
deriv_trees earley-boyer.js /^ deriv_trees = function(sc_conf_91, i, j, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2) {$/;" f lineno:4248 type:<null | sc_Pair> function(<number | string | boolean | undefined | null | sc_Pair | Array>, number, number, Array, Array, Array, Array, Array, number)
sc_loop1_98 earley-boyer.js /^ return ((name = (sc_names_94[sc_conf_91])), ((name!== false)?((sc_conf_91<BgL_sc_nbzd2nts_97zd2)?(sc_list((sc_list(name, ((sc_toks_95[i]).car))))):(sc_list((sc_list(name))))):((prev = (sc_conf_91-(1))), (sc_loop1_98 = function(l1, l2) {$/;" f lineno:4252 type:any function(<number | string | boolean | undefined | null | sc_Pair | Array | string function(string function()) | string function() | any function() | string function(any)>, null)
loop2 earley-boyer.js /^ loop2 = function(k, l2) {$/;" f lineno:4266 type:any function(any, any)
loop3 earley-boyer.js /^ loop3 = function(l3, l2) {$/;" f lineno:4280 type:any function(<number | string | boolean | undefined | null | sc_Pair | Array>, sc_Pair)
loop3 earley-boyer.js /^ loop3 = function(l3, l2) {$/;" f lineno:4280 type:any function(any, sc_Pair)
BgL_sc_derivzd2treesza2_47z70 earley-boyer.js /^ BgL_sc_derivzd2treesza2_47z70 = function(nt, i, j, sc_nts_101, sc_enders_102, sc_steps_103, sc_names_104, sc_toks_105, sc_states_106) {$/;" f lineno:4318 type:<boolean | null | sc_Pair> function(string, number, number, Array, Array, Array, Array, Array, Array)
nb_deriv_trees earley-boyer.js /^ nb_deriv_trees = function(sc_conf_110, i, j, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2) {$/;" f lineno:4351 type:number function(number, any, any, any, any, any, any, any)
sc_loop1_116 earley-boyer.js /^ return ((prev = (sc_conf_110-(1))), ((((tmp1124 = (sc_conf_110<BgL_sc_nbzd2nts_115zd2)), ((tmp1124!== false)?tmp1124:((sc_steps_112[prev])<(0))))!== false)?(1):((sc_loop1_116 = function(l, sc_n_118) {$/;" f lineno:4355 type:any function(any, number)
Expand Down

0 comments on commit 8d031a0

Please sign in to comment.