Justification: it's used for more than just predictions. It's also used for type proofs in the CFA and DFG backend. The only thing in common between all uses of the types in PredictedType is that they are all used for creating and optimizing speculations, even though sometimes they mean predictions and other times they mean proofs. Already rubber stamped by Gavin Barraclough.
Created attachment 146169 [details] the patch Putting up for EWS.
Attachment 146169 [details] did not pass style-queue: Failed to run "['Tools/Scripts/check-webkit-style', '--diff-files', u'Source/JavaScriptCore/CMakeLists.txt', u'S..." exit_code: 1 Source/JavaScriptCore/bytecode/LazyOperandValueProfile.h:177: The parameter name "key" adds no information, so it should be removed. [readability/parameter_name] [5] Total errors found: 1 in 33 files If any of these errors are false positives, please file a bug against check-webkit-style.
Created attachment 146170 [details] improved patch Found places where my rename was a bit overzealous.
Attachment 146170 [details] did not pass style-queue: Failed to run "['Tools/Scripts/check-webkit-style', '--diff-files', u'Source/JavaScriptCore/CMakeLists.txt', u'S..." exit_code: 1 Source/JavaScriptCore/bytecode/LazyOperandValueProfile.h:177: The parameter name "key" adds no information, so it should be removed. [readability/parameter_name] [5] Total errors found: 1 in 33 files If any of these errors are false positives, please file a bug against check-webkit-style.
Landed in http://trac.webkit.org/changeset/119660