diff options
| author | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-07-17 15:15:43 +0000 |
|---|---|---|
| committer | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-07-17 15:15:43 +0000 |
| commit | 11d3710c1cd25adf23a4690076e12d6ece267731 (patch) | |
| tree | ed74b460e55bfb9685fd813358aa526f8fbbd06c /llvm/utils/TableGen/CodeGenTarget.cpp | |
| parent | 629273ec09825b870ce53e6419296d73519b1e24 (diff) | |
| download | llvm-11d3710c1cd25adf23a4690076e12d6ece267731.zip llvm-11d3710c1cd25adf23a4690076e12d6ece267731.tar.gz llvm-11d3710c1cd25adf23a4690076e12d6ece267731.tar.bz2 | |
[Attributor] Deduce "willreturn" function attribute
Summary:
Deduce the "willreturn" attribute for functions.
For now, intrinsics are not willreturn. More annotation will be done in another patch.
Reviewers: jdoerfert
Subscribers: jvesely, nhaehnle, nicholas, hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D63046
llvm-svn: 366335
Diffstat (limited to 'llvm/utils/TableGen/CodeGenTarget.cpp')
| -rw-r--r-- | llvm/utils/TableGen/CodeGenTarget.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/utils/TableGen/CodeGenTarget.cpp b/llvm/utils/TableGen/CodeGenTarget.cpp index 7023172..b65e1b6 100644 --- a/llvm/utils/TableGen/CodeGenTarget.cpp +++ b/llvm/utils/TableGen/CodeGenTarget.cpp @@ -557,6 +557,7 @@ CodeGenIntrinsic::CodeGenIntrinsic(Record *R) { isCommutative = false; canThrow = false; isNoReturn = false; + isWillReturn = false; isCold = false; isNoDuplicate = false; isConvergent = false; @@ -721,6 +722,8 @@ CodeGenIntrinsic::CodeGenIntrinsic(Record *R) { isConvergent = true; else if (Property->getName() == "IntrNoReturn") isNoReturn = true; + else if (Property->getName() == "IntrWillReturn") + isWillReturn = true; else if (Property->getName() == "IntrCold") isCold = true; else if (Property->getName() == "IntrSpeculatable") |