[PATCH] D65296: [Attributor] Loop Abstract Attribute

[Hideto Ueno via Phabricator via llvm-commits]

uenoku created this revision.
uenoku added reviewers: jdoerfert, sstefan1.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

This patch would add `Loop Abstract Attribute` which analyses a termination of Loop in Attributor Framework. 
This attribute will determine whether the loop satisfies each of these properties.

- `always-endless`

It means that a loop will terminate finally. This property would be used to improve `willreturn` attribute deduction.

- `never-endless`

It means that a loop will never terminate. This property would be used to improve `noreturn` attribute deduction.

Currently, this patch only contains the prototype of them so a lot of things including tests will be added later.


https://reviews.llvm.org/D65296

Files:
  llvm/include/llvm/Transforms/IPO/Attributor.h
  llvm/lib/Transforms/IPO/Attributor.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65296.211799.patch
Type: text/x-patch
Size: 6104 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190725/314228e9/attachment.bin>