| 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 |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 48 // effect cancels out any previous effect upon sequencing. A possible effect | 48 // effect cancels out any previous effect upon sequencing. A possible effect |
| 49 // merges into a previous effect, i.e., type bounds are merged. Alternative | 49 // merges into a previous effect, i.e., type bounds are merged. Alternative |
| 50 // composition always merges bounds. It yields a possible effect if at least | 50 // composition always merges bounds. It yields a possible effect if at least |
| 51 // one was only possible. | 51 // one was only possible. |
| 52 struct Effect { | 52 struct Effect { |
| 53 enum Modality { POSSIBLE, DEFINITE }; | 53 enum Modality { POSSIBLE, DEFINITE }; |
| 54 | 54 |
| 55 Modality modality; | 55 Modality modality; |
| 56 Bounds bounds; | 56 Bounds bounds; |
| 57 | 57 |
| 58 Effect() {} | 58 Effect() : modality(DEFINITE) {} |
| 59 Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {} | 59 Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {} |
| 60 | 60 |
| 61 // The unknown effect. | 61 // The unknown effect. |
| 62 static Effect Unknown(Isolate* isolate) { | 62 static Effect Unknown(Isolate* isolate) { |
| 63 return Effect(Bounds::Unbounded(isolate), POSSIBLE); | 63 return Effect(Bounds::Unbounded(isolate), POSSIBLE); |
| 64 } | 64 } |
| 65 | 65 |
| 66 static Effect Forget(Isolate* isolate) { | 66 static Effect Forget(Isolate* isolate) { |
| 67 return Effect(Bounds::Unbounded(isolate), DEFINITE); | 67 return Effect(Bounds::Unbounded(isolate), DEFINITE); |
| 68 } | 68 } |
| (...skipping 283 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 352 NestedEffects result = *this; | 352 NestedEffects result = *this; |
| 353 result.pop(); | 353 result.pop(); |
| 354 ASSERT(!this->is_empty()); | 354 ASSERT(!this->is_empty()); |
| 355 return result; | 355 return result; |
| 356 } | 356 } |
| 357 }; | 357 }; |
| 358 | 358 |
| 359 } } // namespace v8::internal | 359 } } // namespace v8::internal |
| 360 | 360 |
| 361 #endif // V8_EFFECTS_H_ | 361 #endif // V8_EFFECTS_H_ |
| OLD | NEW |