[all-commits] [llvm/llvm-project] 312a53: [GVN/FP] Considate logic for reasoning about equal...

[Philip Reames via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 312a532dc0456b8901de43fd3f1c6ec9d551a80d
      https://github.com/llvm/llvm-project/commit/312a532dc0456b8901de43fd3f1c6ec9d551a80d
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2020-01-07 (Tue, 07 Jan 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/GVN.cpp
    M llvm/test/Transforms/GVN/edge.ll

  Log Message:
  -----------
  [GVN/FP] Considate logic for reasoning about equality vs equivalance for floats

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.

Differential Revision: https://reviews.llvm.org/D67126