[PATCH] D67126: [GVN/FP] Considate logic for reasoning about equality vs equivalance for floats

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: fhahn, dberlin, scanon.
Herald added subscribers: bollu, mcrosier.
Herald added a project: LLVM.

Factor out common logic into some reasonable commented helper functions.  In the process, ensure that the in-block vs cross-block cases are handled the same.  They previously weren't.

(Carefully review here would be appreciated.  I'm by no means a floating point expert and am going solely off existing comments and LangRef.)


Repository:
  rL LLVM

https://reviews.llvm.org/D67126

Files:
  lib/Transforms/Scalar/GVN.cpp
  test/Transforms/GVN/edge.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D67126.218529.patch
Type: text/x-patch
Size: 6478 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190903/5c5647b8/attachment.bin>