SFINAE specialization for lns regression tests

stillwater-sc · Nov 14, 2024 · 14deebf · 14deebf
1 parent 8024e39
commit 14deebf
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 17 deletions.
diff --git a/static/lns/arithmetic/addition.cpp b/static/lns/arithmetic/addition.cpp
@@ -14,10 +14,7 @@
 
 namespace sw { namespace universal {
 
-	//template<typename LnsType,
-	//	std::enable_if_t<is_lns<LnsType>, LnsType> = 0
-	//>
-	template<typename LnsType>
+	template<typename LnsType, std::enable_if_t<is_lns<LnsType>, bool> = true>
 	int VerifyAddition(bool reportTestCases) {
 		constexpr size_t nbits = LnsType::nbits;
 		//constexpr size_t rbits = LnsType::rbits;

diff --git a/static/lns/arithmetic/division.cpp b/static/lns/arithmetic/division.cpp
@@ -17,10 +17,7 @@ namespace sw {
 	namespace universal {
 		namespace local {
 
-			//template<typename LnsType,
-			//	std::enable_if_t<is_lns<LnsType>, LnsType> = 0
-			//>
-			template<typename LnsType>
+			template<typename LnsType, std::enable_if_t<is_lns<LnsType>, bool> = true>
 			int VerifyDivision(bool reportTestCases) {
 				constexpr size_t nbits = LnsType::nbits;
 				//constexpr size_t rbits = LnsType::rbits;

diff --git a/static/lns/arithmetic/multiplication.cpp b/static/lns/arithmetic/multiplication.cpp
@@ -17,10 +17,7 @@ namespace sw {
 	namespace universal {
 		namespace local {
 
-			//template<typename LnsType,
-			//	std::enable_if_t<is_lns<LnsType>, LnsType> = 0
-			//>
-			template<typename LnsType>
+			template<typename LnsType, std::enable_if_t<is_lns<LnsType>, bool> = true>
 			int VerifyMultiplication(bool reportTestCases) {
 				constexpr size_t nbits = LnsType::nbits;
 				//constexpr size_t rbits = LnsType::rbits;

diff --git a/static/lns/arithmetic/subtraction.cpp b/static/lns/arithmetic/subtraction.cpp
@@ -14,10 +14,7 @@
 
 namespace sw { namespace universal {
 
-	//template<typename LnsType,
-	//	std::enable_if_t<is_lns<LnsType>, LnsType> = 0
-	//>
-	template<typename LnsType>
+	template<typename LnsType, std::enable_if_t<is_lns<LnsType>, bool> = true>
 	int VerifySubtraction(bool reportTestCases) {
 		constexpr size_t nbits = LnsType::nbits;
 		//constexpr size_t rbits = LnsType::rbits;

diff --git a/static/lns/conversion/assignment.cpp b/static/lns/conversion/assignment.cpp
@@ -12,7 +12,7 @@
 namespace sw { namespace universal {
 
 	// TODO: needs a type trait to only match on lns<> type
-	template<typename LnsType>
+	template<typename LnsType, std::enable_if_t<is_lns<LnsType>, bool> = true>
 	int ValidateAssignment(bool reportTestCases) {
 		constexpr size_t nbits = LnsType::nbits;
 		constexpr size_t NR_ENCODINGS = (1ull << nbits);