Ticket #9476: f-5-5.txt

File f-5-5.txt, 11.3 KB (added by sgraf, 12 months ago)

Don't turn known into unknown calls, allow max 5 (non-)recursive non-void parameters after lifting, don't lift things with undersaturated applications or partial applications

Line 
1NoFib Results
2
3--------------------------------------------------------------------------------
4        Program         Allocs    Instrs
5--------------------------------------------------------------------------------
6             CS          -0.0%     +0.0%
7            CSD          -0.0%     +0.0%
8             FS          -0.0%     +0.0%
9              S          -0.0%     +0.0%
10             VS          -0.0%     +0.0%
11            VSD          -0.3%     +0.0%
12            VSM           0.0%     -0.1%
13           anna          -1.1%     -0.4%
14           ansi          -0.3%     +0.0%
15           atom          -0.8%     -1.1%
16         awards          -0.3%     +0.0%
17         banner          -0.3%     +0.0%
18     bernouilli          -0.0%     -0.0%
19   binary-trees          -0.0%     -0.0%
20          boyer          -0.0%     +0.0%
21         boyer2          -0.1%     +0.0%
22           bspt          -0.2%     -0.1%
23       calendar          -0.9%     +0.0%
24       cichelli          -0.0%     +0.0%
25        circsim          -1.0%     -0.7%
26       clausify          -1.9%     -0.4%
27  comp_lab_zift          -0.0%     -0.1%
28       compress          -0.0%     -0.0%
29      compress2          -0.0%     -0.0%
30    constraints          -0.8%     -0.7%
31   cryptarithm1          -2.8%     -7.9%
32   cryptarithm2          -4.0%     -2.4%
33            cse          -0.2%     -0.0%
34   digits-of-e1          -0.0%     -0.0%
35   digits-of-e2          -0.0%     +0.0%
36          eliza          -0.2%     -0.0%
37          event          -0.0%     +0.0%
38    exact-reals          -2.1%     -0.0%
39         exp3_8           0.0%     -0.0%
40         expert          -1.0%     -0.0%
41 fannkuch-redux          -0.4%      0.0%
42          fasta          -0.0%     +0.0%
43            fem          -0.1%     -0.0%
44            fft          -0.2%     -0.3%
45           fft2          -1.0%     -0.3%
46       fibheaps          -1.4%     -0.7%
47           fish          -0.0%     +0.0%
48          fluid          -1.5%     -0.6%
49         fulsom          -0.0%     +0.0%
50         gamteb          -0.4%     -0.1%
51            gcd          -0.0%     +0.0%
52    gen_regexps          -0.3%     +0.0%
53         genfft          -0.0%     +0.0%
54             gg          -0.3%     -0.0%
55           grep          -0.2%     +0.0%
56         hidden          -1.0%     -0.6%
57            hpg          -0.2%     -0.1%
58            ida          -0.0%     -0.3%
59          infer          -0.6%     -1.1%
60        integer          -0.0%     -0.0%
61      integrate          -0.0%     -0.0%
62   k-nucleotide          -0.0%     +2.4%
63          kahan          -0.4%     -2.0%
64        knights          -0.2%     -0.0%
65         lambda          +0.0%     +0.0%
66     last-piece          -0.0%     +0.0%
67           lcss          -0.1%     -5.8%
68           life          -0.0%     +0.0%
69           lift          -0.1%     +0.0%
70         linear          -0.2%     -0.0%
71      listcompr          -0.1%     -0.1%
72       listcopy          -0.1%     -0.1%
73       maillist          -0.0%     -0.0%
74         mandel          -0.4%     -0.3%
75        mandel2          -0.0%     +0.0%
76           mate          -8.4%     -3.5%
77        minimax          -0.0%     +0.0%
78        mkhprog          -1.3%     -0.1%
79     multiplier          -0.2%     -0.4%
80         n-body         -20.2%     -0.0%
81       nucleic2          -1.0%     -0.1%
82           para          -0.0%     -0.0%
83      paraffins          -0.0%     +0.0%
84         parser          -0.1%     -0.0%
85        parstof          -0.0%     -0.0%
86            pic          -0.1%     -0.0%
87       pidigits          -0.0%     -0.0%
88          power          -0.7%     -0.7%
89         pretty          -0.1%     +0.0%
90         primes          +0.0%     -0.0%
91      primetest          -0.0%     -0.0%
92         prolog          -0.9%     -0.1%
93         puzzle          -0.0%     +0.0%
94         queens         -17.7%     -0.8%
95        reptile          -0.3%     -0.2%
96reverse-complem          -0.0%     +0.0%
97        rewrite          -0.2%     -0.0%
98           rfib          -0.3%     +0.0%
99            rsa          -0.0%     +0.0%
100            scc          -0.6%     -0.0%
101          sched          -0.0%     +0.0%
102            scs          -0.1%     -0.2%
103         simple          -0.2%     -0.1%
104          solid          -0.0%     -0.0%
105        sorting          -0.0%     +0.0%
106  spectral-norm          -0.2%     +0.0%
107         sphere          -0.2%     -0.1%
108         symalg          -0.1%     +0.0%
109            tak          -0.4%     +0.0%
110      transform          -0.7%     -0.6%
111       treejoin          -0.0%     -0.0%
112      typecheck          -2.7%     -1.8%
113        veritas          -0.3%     +0.0%
114           wang          -0.0%     +0.0%
115      wave4main          -0.0%     -0.0%
116   wheel-sieve1          -0.0%     -0.0%
117   wheel-sieve2          -0.0%     -0.0%
118           x2n1          -0.1%     +0.0%
119--------------------------------------------------------------------------------
120            Min         -20.2%     -7.9%
121            Max          +0.0%     +2.4%
122 Geometric Mean          -0.8%     -0.3%
123
124Binary Sizes
125
126-------------------------------------------------------------------------------
127        Program     base-2018-08-31- ll-2018-09-07-07
128-------------------------------------------------------------------------------
129             CS              4920481            -0.1%
130            CSD              4923169            -0.1%
131             FS              4925457            -0.1%
132              S              4920321            -0.1%
133             VS              4920641            -0.1%
134            VSD              4920209            -0.1%
135            VSM              6057185            -0.1%
136           anna              5984245            -0.0%
137           ansi              4944261            -0.1%
138           atom              4943813            -0.1%
139         awards              4946661            -0.1%
140         banner              4947329            -0.1%
141     bernouilli              4940917            -0.1%
142   binary-trees              5013461            -0.1%
143          boyer              4967269            -0.1%
144         boyer2              4980241            -0.1%
145           bspt              5159569            -0.1%
146       calendar              4951365            -0.1%
147       cichelli              4953121            -0.1%
148        circsim              4994677            -0.1%
149       clausify              4959253            -0.1%
150  comp_lab_zift              5008565            -0.1%
151       compress              4946673            -0.1%
152      compress2              5013777            -0.1%
153    constraints              4968709            -0.1%
154   cryptarithm1              4924065            -0.1%
155   cryptarithm2              4946817            -0.1%
156            cse              4951201            -0.1%
157   digits-of-e1              4938053            -0.1%
158   digits-of-e2              4939237            -0.1%
159          eliza              4963105            -0.1%
160          event              4954725            -0.1%
161    exact-reals              5034017            -0.1%
162         exp3_8              4939893            -0.1%
163         expert              4988789            -0.1%
164 fannkuch-redux              4946853            -0.1%
165          fasta              6078054            -0.1%
166            fem              5065505            -0.1%
167            fft              5959957            -0.1%
168           fft2              5966725            -0.1%
169       fibheaps              4958597            -0.1%
170           fish              4953473            -0.1%
171          fluid              5289521            -0.1%
172         fulsom              5138085            -0.1%
173         gamteb              4990129            -0.1%
174            gcd              4937109            -0.1%
175    gen_regexps              4926977            -0.1%
176         genfft              4957589            -0.1%
177             gg              5266629            -0.1%
178           grep              5126773            -0.1%
179         hidden              5041077            -0.1%
180            hpg              5081525            -0.1%
181            ida              4976325            -0.1%
182          infer              5038289            -0.0%
183        integer              4942965            -0.1%
184      integrate              4940245            -0.1%
185   k-nucleotide              5920530            -0.1%
186          kahan              5243813            -0.1%
187        knights              4980997            -0.1%
188         lambda              6100213            -0.1%
189     last-piece              6345617            -0.1%
190           lcss              4944453            -0.1%
191           life              4928881            -0.1%
192           lift              5160977            -0.1%
193         linear              5053585            -0.1%
194      listcompr              4944401            -0.1%
195       listcopy              4944689            -0.1%
196       maillist              4930753            -0.1%
197         mandel              5945073            -0.1%
198        mandel2              4931153            -0.1%
199           mate              5056949            -0.1%
200        minimax              5105665            -0.1%
201        mkhprog              4968613            -0.1%
202     multiplier              4982117            -0.1%
203         n-body              5012341            -0.1%
204       nucleic2              5095393            -0.1%
205           para              5006357            -0.1%
206      paraffins              4954149            -0.1%
207         parser              5140321            -0.1%
208        parstof              5087025            -0.1%
209            pic              4972737            -0.1%
210       pidigits              4938693            -0.1%
211          power              4982933            -0.1%
212         pretty              4950225            -0.1%
213         primes              4935333            -0.1%
214      primetest              4939857            -0.1%
215         prolog              4983601            -0.1%
216         puzzle              4961825            -0.1%
217         queens              4935125            -0.1%
218        reptile              5092577            -0.1%
219reverse-complem              4934434            -0.1%
220        rewrite              4994709            -0.1%
221           rfib              4934149            -0.1%
222            rsa              4931841            -0.1%
223            scc              4924433            -0.1%
224          sched              4958053            -0.1%
225            scs              5206085            -0.1%
226         simple              5173185            -0.1%
227          solid              4990629            -0.1%
228        sorting              4941825            -0.1%
229  spectral-norm              5008117            -0.1%
230         sphere              5026325            -0.1%
231         symalg              5048833            -0.1%
232            tak              4934789            -0.1%
233      transform              5101781            -0.1%
234       treejoin              4944741            -0.1%
235      typecheck              4978901            -0.1%
236        veritas              5854353            -0.0%
237           wang              4958261            -0.1%
238      wave4main              4959557            -0.1%
239   wheel-sieve1              4945701            -0.1%
240   wheel-sieve2              4943621            -0.1%
241           x2n1              4936405            -0.1%
242        -1 s.d.                -----            -0.1%
243        +1 s.d.                -----            -0.1%
244        Average                -----            -0.1%