Verify scalar semantics in quantifier fast path
natecook1000 opened this issue · comments
Note that we currently don't perform the compiler optimizations to enable those specialized instructions in scalar-semantic mode. We should enable them and test them.