1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2013 the V8 project authors. All rights reserved.
2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch//
4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Redistribution and use in source and binary forms, with or without
5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// modification, are permitted provided that the following conditions
6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// are met:
7b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 1.  Redistributions of source code must retain the above copyright
8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch//     notice, this list of conditions and the following disclaimer.
9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 2.  Redistributions in binary form must reproduce the above copyright
10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch//     notice, this list of conditions and the following disclaimer in the
11b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch//     documentation and/or other materials provided with the distribution.
12b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch//
13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochdescription(
25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch"Tests that a dead use of Math.min(a,b) at least speculates that its arguments are indeed numbers."
26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch);
27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction foo(a, b) {
29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    Math.min(a.f, b.f);
30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return 100;
31b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction bar(a, b) {
34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    Math.min(a.f, b.f);
35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return 100;
36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar x = {f:42};
39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar y = {f:43};
40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar ok = null;
41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar expected = 42;
42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar empty = "";
43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfor (var i = 0; i < 200; ++i) {
45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i == 150) {
46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        x = {f:{valueOf:function(){ ok = i; return 37; }}};
47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        expected = 37;
48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    var result = eval(empty + "foo(x, y)");
50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i >= 150)
51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        shouldBe("ok", "" + i);
52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    shouldBe("result", "100");
53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = {f:42};
56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochy = {f:43};
57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochok = null;
58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochexpected = 42;
59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
60b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfor (var i = 0; i < 200; ++i) {
61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i == 150) {
62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        y = {f:{valueOf:function(){ ok = i; return 37; }}};
63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        expected = 37;
64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    var result = eval(empty + "bar(x, y)");
66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i >= 150)
67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        shouldBe("ok", "" + i);
68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    shouldBe("result", "100");
69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
70