HomePhabricator

[IR] Adds mustprogress as a LLVM IR attribute

Authored by adpatel6 on Oct 19 2020, 11:48 PM.

Description

[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

Details

Committed
atmnpatelOct 20 2020, 12:09 AM
Reviewer
nikic
Differential Revision
D85393: [IR] Adds mustprogress as a LLVM IR attribute
Parents
rG08c8d5bc51c5: Properly track whether a variable is constant-initialized.
Branches
Unknown
Tags
Unknown