OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
11 // with the distribution. | 11 // with the distribution. |
12 // * Neither the name of Google Inc. nor the names of its | 12 // * Neither the name of Google Inc. nor the names of its |
13 // contributors may be used to endorse or promote products derived | 13 // contributors may be used to endorse or promote products derived |
14 // from this software without specific prior written permission. | 14 // from this software without specific prior written permission. |
15 // | 15 // |
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | 27 |
28 this.__proto__ = null; | 28 // Flags: --track-fields --track-double-fields --allow-natives-syntax |
29 this.x = 10; | |
30 delete this.x; | |
31 | 29 |
32 function s(v) { | 30 function smi_field() { |
33 return v.x = 1; | 31 return {"smi":0}; |
34 } | 32 } |
35 | 33 |
36 function s_strict(v) { | 34 function check_smi_repr(o, d1, d2) { |
37 "use strict"; | 35 var s = o.smi; |
38 return v.x = 1; | 36 var d = d1 - d2; |
39 } | 37 s = s + d; |
40 | 38 o.smi = s; |
41 function c() { | |
42 var o = {__proto__:this}; | |
43 return o; | 39 return o; |
44 } | 40 } |
45 | 41 |
46 var o1 = c(); | 42 var test = smi_field(); |
47 var o2 = c(); | 43 check_smi_repr(smi_field(), 5, 3); |
48 var o1_strict = c(); | 44 check_smi_repr(smi_field(), 6, 2); |
49 var o2_strict = c(); | 45 %OptimizeFunctionOnNextCall(check_smi_repr); |
50 var o3 = c(); | 46 var val = check_smi_repr(smi_field(), 8, 1); |
51 var o4 = c(); | 47 assertTrue(%HaveSameMap(val, test)); |
52 | 48 |
53 // Initialize the store IC. | 49 function tagged_smi_field() { |
54 s(o1); | 50 var o = {"tag":false}; |
55 s(o2); | 51 o.tag = 10; |
56 s_strict(o1_strict); | 52 return o; |
57 s_strict(o2_strict); | 53 } |
58 | 54 |
59 Object.defineProperty(this, "x", {writable:false, configurable:true}); | 55 function check_smi_repr_from_tagged(o, o2) { |
| 56 var t = o2.tag; |
| 57 o.smi = t; |
| 58 return o; |
| 59 } |
60 | 60 |
61 // Verify that directly setting x fails. | 61 check_smi_repr_from_tagged(smi_field(), tagged_smi_field()); |
62 o3.x = 1; | 62 check_smi_repr_from_tagged(smi_field(), tagged_smi_field()); |
63 assertEquals(undefined, o3.x); | 63 %OptimizeFunctionOnNextCall(check_smi_repr_from_tagged); |
64 | 64 var val = check_smi_repr_from_tagged(smi_field(), tagged_smi_field()); |
65 // Verify that setting x through the IC fails. | 65 assertTrue(%HaveSameMap(val, test)); |
66 assertThrows("s_strict(o4)", TypeError); | 66 var overflow = tagged_smi_field(); |
67 s(o4); | 67 overflow.tag = 0x80000000; |
68 assertEquals(undefined, o4.x); | 68 var val = check_smi_repr_from_tagged(smi_field(), overflow); |
OLD | NEW |