[LangRef] Adds llvm.loop.mustprogress loop metadata
authorAtmn Patel <a335pate@uwaterloo.ca>
Thu, 5 Nov 2020 03:30:58 +0000 (22:30 -0500)
committerAtmn Patel <a335pate@uwaterloo.ca>
Thu, 5 Nov 2020 03:32:50 +0000 (22:32 -0500)
commitcea0599aa75ba528d077453602945e6d0440f8c3
treea252b373c712dd36a18a94a9b66bfa3e0c5d063b
parent234857f730761a1a662a1b1af6a3b2b7f6e59aac
[LangRef] Adds llvm.loop.mustprogress loop metadata

This patch adds the llvm.loop.mustprogress loop metadata. This is to be
added to loops where the frontend language requires that the loop makes
observable interactions with the environment. This is the loop-level
equivalent to the function attribute `mustprogress` defined in D86233.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D88464
llvm/docs/LangRef.rst
llvm/include/llvm/Analysis/LoopInfo.h
llvm/lib/Analysis/LoopInfo.cpp