3 ms·
I'd say probably too much effort? First, it does an exhaustive search on all possible instruction combinations. Second, it does not _prove_ that the resulting
by lysium 11y ago
I'd say probably too much effort?
First, it does an exhaustive search on all possible instruction combinations.
Second, it does not _prove_ that the resulting instructions do the same as the original code. It shows it only for some random numbers and border cases.
- TheLoneWolfling 11y agoIt's fairly easy to extend this to either an exhaustive search afterwards, or to run into a SMT solver to prove that it's correct / incorrect. Though that's probably too much machinery to add on to a compiler.