We found a wrong approximation of Alive2
We are continously monitoring LLVM updates and testing them with Optimuzz.
During our test, we found discrepancy of Alive2 and LLVM semantics for a floating-point operation, frem.
We are continously monitoring LLVM updates and testing them with Optimuzz.
During our test, we found discrepancy of Alive2 and LLVM semantics for a floating-point operation, frem.