Skip to content

Commit

Permalink
Remove the stale code in backends/p4tools/modules/smith/util/util.cpp…
Browse files Browse the repository at this point in the history
… and backends/p4tools/modules/smith/util/util.h
  • Loading branch information
zzmic committed Jul 4, 2024
1 parent 867d3ce commit 8e1d827
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 109 deletions.
98 changes: 0 additions & 98 deletions backends/p4tools/modules/smith/util/util.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -68,102 +68,4 @@ std::string generateLoopControlVariable() {
return std::string(1, randomChar);
}

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop initialization statement.
// std::string generateForLoopInitialization(const std::string &var) {
// std::stringstream ss;
// int basicTypeOption = Utils::getRandInt(0, 3);
// int bitFieldWidth = 0;
// switch (basicTypeOption) {
// // Unsigned integer (bitstring) of size n.
// case 0:
// bitFieldWidth = Utils::getRandInt(1, 64);
// ss << "bit<" << std::to_string(bitFieldWidth) << "> " << var << " = 0";
// break;
// // bit is the same as bit<1>.
// case 1:
// ss << "bit " << var << " = 0";
// break;
// // Signed integer (bitstring) of size n (>= 2).
// case 2:
// bitFieldWidth = Utils::getRandInt(2, 32);
// ss << "int<" << std::to_string(bitFieldWidth) << "> " << var << " = 0";
// break;
// // Variable-length bitstring.
// case 3:
// bitFieldWidth = Utils::getRandInt(1, 64);
// ss << "varbit<" << std::to_string(bitFieldWidth) << "> " << var << " = 0";
// break;
// }
// return ss.str();
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop condition statement.
// std::string generateForLoopCondition(const std::string &var) {
// std::stringstream ss;
// int upperBound = Utils::getRandInt(0, 100);
// ss << var << " < " << std::to_string(upperBound);
// return ss.str();
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop update (only consider increments for now) statement.
// std::string generateForLoopUpdate(const std::string &var) {
// std::stringstream ss;
// int stepSize = Utils::getRandInt(0, 100);
// ss << var << " = " << var << " + " << std::to_string(stepSize);
// return ss.str();
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop progression statement (for for-in loop generation).
// std::string generateForInLoopProgression(const std::string &var, const std::string &start, const std::string &end) {
// std::stringstream ss;
// int basicTypeOption = Utils::getRandInt(0, 3);
// int bitFieldWidth = 0;
// switch (basicTypeOption) {
// // Unsigned integer (bitstring) of size n.
// case 0:
// bitFieldWidth = Utils::getRandInt(1, 64);
// ss << "bit<" << std::to_string(bitFieldWidth) << ">" << var;
// break;
// // bit is the same as bit<1>.
// case 1:
// ss << "bit " << var;
// break;
// // Signed integer (bitstring) of size n (>= 2).
// case 2:
// bitFieldWidth = Utils::getRandInt(2, 32);
// ss << "int<" << std::to_string(bitFieldWidth) << "> " << var;
// break;
// // Variable-length bitstring.
// case 3:
// bitFieldWidth = Utils::getRandInt(1, 64);
// ss << "varbit<" << std::to_string(bitFieldWidth) << "> " << var;
// break;
// }
// ss << " in " << start << " .. " << end;
// return ss.str();
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop body that involves one variable.
// std::string generateLoopBody(const std::string &var) {
// return "";
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop body that involves two variables.
// std::string generateLoopBody(const std::string &var1, const std::string &var2) {
// return "";
// }

// /// TODO(zzmic): Consider deprecating the following function.
// /// Generate a random loop body that involves multiple (two or more but undetermined) variables.
// template <typename... Args>
// std::string generateLoopBody(const std::string &var1, const std::string &var2, const Args&... args) {
// return "";
// }

} // namespace P4Tools::P4Smith
11 changes: 0 additions & 11 deletions backends/p4tools/modules/smith/util/util.h
Original file line number Diff line number Diff line change
Expand Up @@ -24,17 +24,6 @@ std::string getRandomString(size_t len);
/// @return Each of them returns a string representation of each part of a for-loop.
/// In tandem, they can be used to generate a complete for-loop by calling `generateForLoop()`.
std::string generateLoopControlVariable();

// /// TODO(zzmic): Consider deprecating the following functions.
// std::string generateForLoopInitialization(const std::string &var);
// std::string generateForLoopCondition(const std::string &var);
// std::string generateForLoopUpdate(const std::string &var);
// std::string generateLoopBody(const std::string &var);
// std::string generateLoopBody(const std::string &var1, const std::string &var2);
// template <typename... Args>
// std::string generateLoopBody(const std::string &var1, const std::string &var2, const Args&... args);
// std::string generateForInLoopProgression(const std::string &var, const std::string &start, const std::string &end);

} // namespace P4Tools::P4Smith

#endif /* BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_UTIL_H_ */

0 comments on commit 8e1d827

Please sign in to comment.