Verify scalar semantics in quantifier fast path
natecook1000 opened this issue · 1 comments
natecook1000 commented
milseman commented
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.