[PATCH] D63885: [LOOPINFO] Introduce the loop guard API.

[Whitney via Phabricator via llvm-commits]

Whitney created this revision.
Whitney added reviewers: reames, kbarton, hfinkel, jdoerfert, Meinersbur, dmgreen.
Whitney added a project: LLVM.
Herald added subscribers: llvm-commits, jsji, hiraditya.

This is the first patch for the loop guard. We introduced getLoopGuardBranch(), isLoopGuardBranch(), and isGuarded(). In this patch, any conditional branch instructions which can decide if the loop is executed are consider as a loop guard. There can be multiple loop guards for a loop.

Prior discussions leading upto the decision to introduce the loop guard API:
http://lists.llvm.org/pipermail/llvm-dev/2019-May/132607.html


Repository:
  rL LLVM

https://reviews.llvm.org/D63885

Files:
  llvm/include/llvm/Analysis/LoopInfo.h
  llvm/lib/Analysis/LoopInfo.cpp
  llvm/unittests/Analysis/LoopInfoTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63885.206880.patch
Type: text/x-patch
Size: 22025 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190627/eb48f216/attachment.bin>