gysit wrote: There was a logic bug in my previous implementation of `getSpeculatibility` for the signed division. Additionally, I moved the tests to the existing licm tests. @Dinistro can you do a last pass if I got it right this time :). https://github.com/llvm/llvm-project/pull/102494