[all-commits] [llvm/llvm-project] b98889: [GVN LoadPRE] Extend the scope of optimization by ...

[serguei-katkov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b9888980132e5511e85d4172a46e02475957298b
      https://github.com/llvm/llvm-project/commit/b9888980132e5511e85d4172a46e02475957298b
  Author: Serguei Katkov <serguei.katkov at azul.com>
  Date:   2020-10-06 (Tue, 06 Oct 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/GVN.cpp
    M llvm/test/Transforms/GVN/loadpre-context.ll

  Log Message:
  -----------
  [GVN LoadPRE] Extend the scope of optimization by using context to prove safety of speculation

Use context to prove that load can be safely executed at a point where load is being hoisted.

Postpone the decision about safety of speculative load execution till the moment we know
where we hoist load and check safety at that context.

Reviewers: nikic, fhahn, mkazantsev, lebedev.ri, efriedma, reames
Reviewed By: reames, mkazantsev
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D88725