[llvm-dev] Improved jump-threading in LLVM for finite state automata

[Phipps, Alan via llvm-dev]

It is my understanding that the implementation for jump-threading in LLVM is not presently able to effectively optimize code containing a state-machine implemented using a loop + switch.  This is the case, for example, with the Coremark benchmark function core_state_transition().  Bug 42313 was filed to address this in 2019:

https://bugs.llvm.org/show_bug.cgi?id=42313

It appears that GCC improved support for jump threading in 2015 along the same lines:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54742

Is anyone aware of any plan to do improve LLVM jump-threading along the same lines for LLVM?

Thanks!

Alan Phipps

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200923/f0560703/attachment.html>