4 ms·
What cannot I do myself? Look at the output of gcc -ftree-vectorizer-verbose=2? Run the verifier after picosat? I did both.
by thesz 3y ago
What cannot I do myself? Look at the output of gcc -ftree-vectorizer-verbose=2? Run the verifier after picosat?
I did both.