1; RUN: opt -passes=function-attrs -stats -disable-output %s 2>&1 | FileCheck %s
2
3; REQUIRES: asserts
4
5@g = global i32 20
6
7define i32 @test_only_read_arg(i32* %ptr) {
8entry:
9  %l = load i32, i32* %ptr
10  ret i32 %l
11}
12
13define void @test_write_global() {
14entry:
15  store i32 0, i32* @g
16  ret void
17}
18
19; CHECK:      1 function-attrs - Number of functions marked argmemonly
20; CHECK-NEXT: 1 function-attrs - Number of arguments marked nocapture
21; CHECK-NEXT: 1 function-attrs - Number of functions marked as nofree
22; CHECK-NEXT: 2 function-attrs - Number of functions marked as norecurse
23; CHECK-NEXT: 2 function-attrs - Number of functions marked as nosync
24; CHECK-NEXT: 2 function-attrs - Number of functions marked as nounwind
25; CHECK-NEXT: 1 function-attrs - Number of functions marked readonly
26; CHECK-NEXT: 1 function-attrs - Number of arguments marked readonly
27; CHECK-NEXT: 2 function-attrs - Number of functions marked as willreturn
28; CHECK-NEXT: 1 function-attrs - Number of functions marked writeonly
29