[all-commits] [llvm/llvm-project] 595c61: [IR] Adds mustprogress as a LLVM IR attribute

[Atmn Patel via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 595c6156068458481395d0f87da16e51a3121a4e
      https://github.com/llvm/llvm-project/commit/595c6156068458481395d0f87da16e51a3121a4e
  Author: Atmn Patel <atmndp at gmail.com>
  Date:   2020-10-20 (Tue, 20 Oct 2020)

  Changed paths:
    M llvm/include/llvm/Bitcode/LLVMBitCodes.h
    M llvm/include/llvm/IR/Attributes.td
    M llvm/include/llvm/IR/Function.h
    M llvm/lib/AsmParser/LLLexer.cpp
    M llvm/lib/AsmParser/LLParser.cpp
    M llvm/lib/AsmParser/LLToken.h
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/Utils/CodeExtractor.cpp
    A llvm/test/Assembler/mustprogress-parse-error-0.ll
    A llvm/test/Assembler/mustprogress-parse-error-1.ll
    A llvm/test/Assembler/mustprogress-parse-error-2.ll
    M llvm/test/Bitcode/attributes.ll

  Log Message:
  -----------
  [IR] Adds mustprogress as a LLVM IR attribute

This adds the LLVM IR attribute `mustprogress` as defined in LangRef through D86233. This attribute will be applied to functions with in languages like C++ where forward progress is guaranteed. Functions without this attribute are not required to make progress.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D85393