slothy-optimizer / slothy

Assembly super-optimization via constraint solving
https://slothy-optimizer.github.io/slothy/
Other
167 stars 10 forks source link

Don't abort if split_estimtate_perf fails #96

Open dop-amin opened 1 month ago

dop-amin commented 1 month ago

Right now, if the performance estimation after the splitting heuristic is applied fails, a slothy.core.core.SlothyException: No solution found exception is raised and not handled. Therefore, all the optimization process is gone.

I think there should be a warning in the output but still, the optimized code should be written.