projects / apple / javascriptcore.git / blame
| Commit | Line | Data |
|---|---|---|
| b37bf2e1 | 1 | /* |
| ed1e77d3 | 2 | * Copyright (C) 2013, 2015 Apple Inc. All rights reserved. |
| b37bf2e1 A |
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 | * | |
| 9dae56ea | 13 | * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY |
| b37bf2e1 A |
14 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| 15 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | |
| 9dae56ea | 16 | * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR |
| b37bf2e1 A |
17 | * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
| 18 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, | |
| 19 | * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR | |
| 20 | * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY | |
| 21 | * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
| 22 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
| 6fe7ccc8 | 23 | * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| b37bf2e1 A |
24 | */ |
| 25 | ||
| 81345200 A |
26 | #ifndef DFGFiltrationResult_h |
| 27 | #define DFGFiltrationResult_h | |
| 6fe7ccc8 | 28 | |
| 81345200 | 29 | #if ENABLE(DFG_JIT) |
| b37bf2e1 | 30 | |
| 81345200 | 31 | namespace JSC { namespace DFG { |
| b37bf2e1 | 32 | |
| ed1e77d3 A |
33 | // Tells you if an operation that filters type (i.e. does a type check/speculation) will always |
| 34 | // exit. Formally, this means that the proven type of a value prior to the filter was not | |
| 35 | // bottom (i.e. not "clear" or "SpecEmpty") but becomes bottom as a result of executing the | |
| 36 | // filter. | |
| 37 | // | |
| 38 | // Note that per this definition, a filter will not return Contradiction if the node's proven | |
| 39 | // type was already bottom. This is necessary because we have this yucky convention of using | |
| 40 | // a proven type of bottom for nodes that don't hold JS values, like Phi nodes in ThreadedCPS | |
| 41 | // and storage nodes. | |
| 81345200 | 42 | enum FiltrationResult { |
| ed1e77d3 | 43 | // Means that this operation may not always exit. |
| 81345200 | 44 | FiltrationOK, |
| ed1e77d3 A |
45 | |
| 46 | // Means taht this operation will always exit. | |
| 81345200 | 47 | Contradiction |
| 6fe7ccc8 | 48 | }; |
| b37bf2e1 | 49 | |
| 81345200 | 50 | } } // namespace JSC::DFG |
| 9dae56ea | 51 | |
| 81345200 A |
52 | #endif // ENABLE(DFG_JIT) |
| 53 | ||
| 54 | #endif // DFGFiltrationResult_h | |
| 6fe7ccc8 | 55 |