[PATCH] D118143: [GVN] Support loop load PRE through pointer select.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

@fhahn This really looks like an extension of full redundancy elimination.  If we had the select expressed as a phi/branch pattern, wouldn't we be able to determine the value is fully available and do SSA construction to propagate the loaded value?  If so, then this feels like a case where we should extend the fully available logic and SSA construction in FRE rather than add a parallel transform.

(p.s. I might be missing something obvious.  Writing this in a hurry to get you any response at all due to personal life craziness atm.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118143/new/

https://reviews.llvm.org/D118143