Commit 0f56bbc1 authored by Sanjay Patel's avatar Sanjay Patel
Browse files

[InstCombine] reduce FP-casted and bitcasted signbit check

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

Alive2 proofs:
http://volta.cs.utah.edu:8080/z/bVyrko
http://volta.cs.utah.edu:8080/z/Vxpz9q
parent e72730ee
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment