[all-commits] [llvm/llvm-project] cea059: [LangRef] Adds llvm.loop.mustprogress loop metadata

[Atmn Patel via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cea0599aa75ba528d077453602945e6d0440f8c3
      https://github.com/llvm/llvm-project/commit/cea0599aa75ba528d077453602945e6d0440f8c3
  Author: Atmn Patel <a335pate at uwaterloo.ca>
  Date:   2020-11-04 (Wed, 04 Nov 2020)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/include/llvm/Analysis/LoopInfo.h
    M llvm/lib/Analysis/LoopInfo.cpp

  Log Message:
  -----------
  [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