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(ptr %ptr) { 8entry: 9 %l = load i32, ptr %ptr 10 ret i32 %l 11} 12 13define void @test_write_global() { 14entry: 15 store i32 0, ptr @g 16 ret void 17} 18 19; CHECK: 2 function-attrs - Number of functions with improved memory attribute 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 arguments marked readonly 26; CHECK-NEXT: 2 function-attrs - Number of functions marked as willreturn 27