r367184 - [FunctionAttrs] Annotate "willreturn" for intrinsics

[Hideto Ueno via cfe-commits]

Author: uenoku
Date: Sat Jul 27 23:09:56 2019
New Revision: 367184

URL: http://llvm.org/viewvc/llvm-project?rev=367184&view=rev
Log:
[FunctionAttrs] Annotate "willreturn" for intrinsics

Summary:
In D62801, new function attribute `willreturn` was introduced. In short, a function with `willreturn` is guaranteed to come back to the call site(more precise definition is in LangRef).

In this patch, willreturn is annotated for LLVM intrinsics.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: jvesely, nhaehnle, sstefan1, llvm-commits

Tags: #llvm

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

Modified:
    cfe/trunk/test/CodeGen/libcalls.c

Modified: cfe/trunk/test/CodeGen/libcalls.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/libcalls.c?rev=367184&r1=367183&r2=367184&view=diff
==============================================================================
--- cfe/trunk/test/CodeGen/libcalls.c (original)
+++ cfe/trunk/test/CodeGen/libcalls.c Sat Jul 27 23:09:56 2019
@@ -124,4 +124,4 @@ void test_builtins(double d, float f, lo
 }
 
 // CHECK-NO-DAG: attributes [[NUW_RN]] = { nounwind readnone{{.*}} }
-// CHECK-NO-DAG: attributes [[NUW_RNI]] = { nounwind readnone speculatable }
+// CHECK-NO-DAG: attributes [[NUW_RNI]] = { nounwind readnone speculatable willreturn }