blob: dc0387e57174a92dfeb59bb7461a7ffc3f899629 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
; RUN: opt -passes=function-attrs -stats -disable-output %s 2>&1 | FileCheck %s
; REQUIRES: asserts
@g = global i32 20
define i32 @test_only_read_arg(ptr %ptr) {
entry:
%l = load i32, ptr %ptr
ret i32 %l
}
define void @test_write_global() {
entry:
store i32 0, ptr @g
ret void
}
; CHECK: 1 function-attrs - Number of arguments marked captures(none)
; CHECK-NEXT: 2 function-attrs - Number of functions with improved memory attribute
; 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 arguments marked readonly
; CHECK-NEXT: 2 function-attrs - Number of functions marked as willreturn
|
