Index: src/IceClFlags.h |
diff --git a/src/IceClFlags.h b/src/IceClFlags.h |
index 7df697303c5d6a5d77cae079e25f88a770743aaf..962f2ed3a8af1f53e932097e50c756aa349254e9 100644 |
--- a/src/IceClFlags.h |
+++ b/src/IceClFlags.h |
@@ -176,6 +176,16 @@ public: |
uint64_t getRandomSeed() const { return RandomSeed; } |
void setRandomSeed(size_t NewValue) { RandomSeed = NewValue; } |
+ // Immediates Randomization and Pooling options getter and setter |
+ void |
+ setRandomizeAndPoolImmediatesOption(RandomizeAndPoolImmediatesEnum Option) { |
+ RandomizeAndPoolImmediatesOption = Option; |
+ } |
+ |
+ RandomizeAndPoolImmediatesEnum getRandomizeAndPoolImmediatesOption() const { |
+ return RandomizeAndPoolImmediatesOption; |
+ } |
+ |
private: |
bool AllowErrorRecovery; |
bool AllowUninitializedGlobals; |
@@ -211,6 +221,9 @@ private: |
IceString TranslateOnly; |
IceString VerboseFocusOn; |
+ // Immediates Randomization and Pooling options |
+ RandomizeAndPoolImmediatesEnum RandomizeAndPoolImmediatesOption; |
+ |
size_t NumTranslationThreads; // 0 means completely sequential |
uint64_t RandomSeed; |
}; |