1# Copyright 2013 the V8 project authors. All rights reserved.
2# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions
6# are met:
7# 1.  Redistributions of source code must retain the above copyright
8#     notice, this list of conditions and the following disclaimer.
9# 2.  Redistributions in binary form must reproduce the above copyright
10#     notice, this list of conditions and the following disclaimer in the
11#     documentation and/or other materials provided with the distribution.
12#
13# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
14# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
15# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
16# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
17# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
18# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
19# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
20# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
22# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23
24Tests that when values predicted but not proven int are used in a tower of additions, we don't eliminate the overflow check unsoundly.
25
26On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
27
28
29PASS bar(1, 2, {f:3}) is 6
30PASS bar(1, 2, {f:3}) is 6
31PASS bar(1, 2, {f:3}) is 6
32PASS bar(1, 2, {f:3}) is 6
33PASS bar(1, 2, {f:3}) is 6
34PASS bar(1, 2, {f:3}) is 6
35PASS bar(1, 2, {f:3}) is 6
36PASS bar(1, 2, {f:3}) is 6
37PASS bar(1, 2, {f:3}) is 6
38PASS bar(1, 2, {f:3}) is 6
39PASS bar(1, 2, {f:3}) is 6
40PASS bar(1, 2, {f:3}) is 6
41PASS bar(1, 2, {f:3}) is 6
42PASS bar(1, 2, {f:3}) is 6
43PASS bar(1, 2, {f:3}) is 6
44PASS bar(1, 2, {f:3}) is 6
45PASS bar(1, 2, {f:3}) is 6
46PASS bar(1, 2, {f:3}) is 6
47PASS bar(1, 2, {f:3}) is 6
48PASS bar(1, 2, {f:3}) is 6
49PASS bar(1, 2, {f:3}) is 6
50PASS bar(1, 2, {f:3}) is 6
51PASS bar(1, 2, {f:3}) is 6
52PASS bar(1, 2, {f:3}) is 6
53PASS bar(1, 2, {f:3}) is 6
54PASS bar(1, 2, {f:3}) is 6
55PASS bar(1, 2, {f:3}) is 6
56PASS bar(1, 2, {f:3}) is 6
57PASS bar(1, 2, {f:3}) is 6
58PASS bar(1, 2, {f:3}) is 6
59PASS bar(1, 2, {f:3}) is 6
60PASS bar(1, 2, {f:3}) is 6
61PASS bar(1, 2, {f:3}) is 6
62PASS bar(1, 2, {f:3}) is 6
63PASS bar(1, 2, {f:3}) is 6
64PASS bar(1, 2, {f:3}) is 6
65PASS bar(1, 2, {f:3}) is 6
66PASS bar(1, 2, {f:3}) is 6
67PASS bar(1, 2, {f:3}) is 6
68PASS bar(1, 2, {f:3}) is 6
69PASS bar(1, 2, {f:3}) is 6
70PASS bar(1, 2, {f:3}) is 6
71PASS bar(1, 2, {f:3}) is 6
72PASS bar(1, 2, {f:3}) is 6
73PASS bar(1, 2, {f:3}) is 6
74PASS bar(1, 2, {f:3}) is 6
75PASS bar(1, 2, {f:3}) is 6
76PASS bar(1, 2, {f:3}) is 6
77PASS bar(1, 2, {f:3}) is 6
78PASS bar(1, 2, {f:3}) is 6
79PASS bar(1, 2, {f:3}) is 6
80PASS bar(1, 2, {f:3}) is 6
81PASS bar(1, 2, {f:3}) is 6
82PASS bar(1, 2, {f:3}) is 6
83PASS bar(1, 2, {f:3}) is 6
84PASS bar(1, 2, {f:3}) is 6
85PASS bar(1, 2, {f:3}) is 6
86PASS bar(1, 2, {f:3}) is 6
87PASS bar(1, 2, {f:3}) is 6
88PASS bar(1, 2, {f:3}) is 6
89PASS bar(1, 2, {f:3}) is 6
90PASS bar(1, 2, {f:3}) is 6
91PASS bar(1, 2, {f:3}) is 6
92PASS bar(1, 2, {f:3}) is 6
93PASS bar(1, 2, {f:3}) is 6
94PASS bar(1, 2, {f:3}) is 6
95PASS bar(1, 2, {f:3}) is 6
96PASS bar(1, 2, {f:3}) is 6
97PASS bar(1, 2, {f:3}) is 6
98PASS bar(1, 2, {f:3}) is 6
99PASS bar(1, 2, {f:3}) is 6
100PASS bar(1, 2, {f:3}) is 6
101PASS bar(1, 2, {f:3}) is 6
102PASS bar(1, 2, {f:3}) is 6
103PASS bar(1, 2, {f:3}) is 6
104PASS bar(1, 2, {f:3}) is 6
105PASS bar(1, 2, {f:3}) is 6
106PASS bar(1, 2, {f:3}) is 6
107PASS bar(1, 2, {f:3}) is 6
108PASS bar(1, 2, {f:3}) is 6
109PASS bar(1, 2, {f:3}) is 6
110PASS bar(1, 2, {f:3}) is 6
111PASS bar(1, 2, {f:3}) is 6
112PASS bar(1, 2, {f:3}) is 6
113PASS bar(1, 2, {f:3}) is 6
114PASS bar(1, 2, {f:3}) is 6
115PASS bar(1, 2, {f:3}) is 6
116PASS bar(1, 2, {f:3}) is 6
117PASS bar(1, 2, {f:3}) is 6
118PASS bar(1, 2, {f:3}) is 6
119PASS bar(1, 2, {f:3}) is 6
120PASS bar(1, 2, {f:3}) is 6
121PASS bar(1, 2, {f:3}) is 6
122PASS bar(1, 2, {f:3}) is 6
123PASS bar(1, 2, {f:3}) is 6
124PASS bar(1, 2, {f:3}) is 6
125PASS bar(1, 2, {f:3}) is 6
126PASS bar(1, 2, {f:3}) is 6
127PASS bar(1, 2, {f:3}) is 6
128PASS bar(1, 2, {f:3}) is 6
129PASS bar(2147483645, 2147483644, {f:9007199254740990}) is -8
130PASS bar(2147483643, 2147483643, {f:18014398509481980}) is -16
131PASS bar(2147483643, 2147483642, {f:36028797018963960}) is -16
132PASS bar(2147483642, 2147483642, {f:36028797018963960}) is -16
133PASS bar(2147483641, 2147483640, {f:144115188075855840}) is -32
134PASS bar(2147483640, 2147483640, {f:144115188075855840}) is -64
135PASS bar(2147483640, 2147483639, {f:288230376151711680}) is -64
136PASS bar(2147483639, 2147483639, {f:288230376151711680}) is -64
137PASS successfullyParsed is true
138
139TEST COMPLETE
140
141