| // Copyright 2018 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| // Flags: --allow-natives-syntax |
| |
| // We need a SpeculativeNumberAdd with Number feedback. |
| function bar(x) { |
| return x + x; |
| } |
| bar(0.1); |
| |
| // We also need an indirection via an object field such |
| // that only after escape analysis TurboFan can figure |
| // out that the value `y` is actually a Number in the |
| // safe integer range. |
| function baz(y) { |
| return {y}; |
| } |
| baz(null); |
| baz(0); |
| |
| // Now we can put all of that together to get a kRepBit |
| // use of a kWord64 value (on 64-bit architectures). |
| function foo(o) { |
| return !baz(bar(o.x)).y; |
| }; |
| %PrepareFunctionForOptimization(foo); |
| assertFalse(foo({x: 1})); |
| assertFalse(foo({x: 1})); |
| %OptimizeFunctionOnNextCall(foo); |
| assertFalse(foo({x: 1})); |
