Generalize collectInductionValues (#3031)

* Generalize collectInductionValues

* Support affine transformations of loop index as induction variables

* Test for generalized induction value collection

* Neaten inductive variable finding

* Store the type of implication success when finding inductive variables

* Test that loop induction finding does not alway succeed

* Support chains of additions and branches of additions in induction variable finding

* Use c++17 for downstream compilers

1 files changed, 7 insertions, 0 deletions

diff --git a/source/core/slang-hash.h b/source/core/slang-hash.h
index 8c4fbac42..bc4b30ccc 100644
--- a/source/core/slang-hash.h
+++ b/source/core/slang-hash.h
@@ -164,6 +164,13 @@ namespace Slang
 		return PointerHash<std::is_pointer<TKey>::value>::getHashCode(key);
 	}
 
+    template<typename TKey>
+    HashCode getHashCodeBytewise(const TKey& t)
+    {
+        static_assert(std::has_unique_object_representations_v<TKey>);
+        return getHashCode(reinterpret_cast<const char*>(&t), sizeof(TKey));
+    }
+
     inline HashCode combineHash(HashCode left, HashCode right)
     {
         return (left * 16777619) ^ right;