Was made aware that we have some long-standing miscompiles in #LLVM due to fundamental design issues. Fixing them is very very hard, and it doesn't look like anyone is tackling them at the moment :(
Discussion
Loading...
Post
We've also had issues with SCEV because it's very hard to map back from the abstract world of scalar evolution to the actual transform that might be done. This means that it can recommend transformations on loops that take pointers so far out of bounds for the initial loop iteration that they are unrepresentable on CHERI.