[llvm] d90d45f - [FunctionAttrs] Add initial test for pass statistics.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2022-03-10T21:02:41Z
New Revision: d90d45fc9029cc7dbb6d44798f51131df6b2eef1

URL: https://github.com/llvm/llvm-project/commit/d90d45fc9029cc7dbb6d44798f51131df6b2eef1
DIFF: https://github.com/llvm/llvm-project/commit/d90d45fc9029cc7dbb6d44798f51131df6b2eef1.diff

LOG: [FunctionAttrs] Add initial test for pass statistics.

Added: 
    llvm/test/Transforms/FunctionAttrs/stats.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/FunctionAttrs/stats.ll b/llvm/test/Transforms/FunctionAttrs/stats.ll
new file mode 100644
index 0000000000000..4697495de2383
--- /dev/null
+++ b/llvm/test/Transforms/FunctionAttrs/stats.ll
@@ -0,0 +1,27 @@
+; RUN: opt -passes=function-attrs -stats -disable-output %s 2>&1 | FileCheck %s
+
+; REQUIRES: asserts
+
+ at g = global i32 20
+
+define i32 @test_only_read_arg(i32* %ptr) {
+entry:
+  %l = load i32, i32* %ptr
+  ret i32 %l
+}
+
+define void @test_write_global() {
+entry:
+  store i32 0, i32* @g
+  ret void
+}
+
+; CHECK:      1 function-attrs - Number of arguments marked nocapture
+; CHECK-NEXT: 1 function-attrs - Number of functions marked as nofree
+; CHECK-NEXT: 2 function-attrs - Number of functions marked as norecurse
+; CHECK-NEXT: 2 function-attrs - Number of functions marked as nosync
+; CHECK-NEXT: 2 function-attrs - Number of functions marked as nounwind
+; CHECK-NEXT: 1 function-attrs - Number of functions marked readonly
+; CHECK-NEXT: 1 function-attrs - Number of arguments marked readonly
+; CHECK-NEXT: 2 function-attrs - Number of functions marked as willreturn
+; CHECK-NEXT: 1 function-attrs - Number of functions marked writeonly