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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-modules 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-MODULES %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-functions 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-FUNCTIONS %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-dump-all 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-ALL %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-modules -sil-stats-only-instructions=integer_literal,builtin 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-ONLY-INSTRUCTIONS %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-functions -sil-stats-only-function=test_simple 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-ONLY-FUNCTION %s
// RUN: %target-sil-opt -enable-sil-verify-all %s -O -sil-stats-functions -sil-stats-only-functions=test 2>&1 | %FileCheck --check-prefix=CHECK-SIL-STATS-ONLY-FUNCTIONS %s
// REQUIRES: swift_in_compiler
// Test different modes of optimizer counters statistics collection.
sil_stage canonical
import Builtin
import Swift
sil @fatalError : $@convention(thin) () -> Never
// Check that module level statistics are produced.
//
// CHECK-SIL-STATS-MODULES: module, block, PrepareOptimizationPasses, Simplification, {{.*}}, 6, 3
// CHECK-SIL-STATS-MODULES: module, inst, PrepareOptimizationPasses, Simplification, {{.*}}, 15, 6
// Check that module level statistics are produced.
//
// CHECK-SIL-STATS-FUNCTIONS: function_history, block,{{.*}}, test_multiply
// CHECK-SIL-STATS-FUNCTIONS: function_history, inst,{{.*}}, test_multiply
// CHECK-SIL-STATS-FUNCTIONS: function_history, block,{{.*}}, test_simple
// CHECK-SIL-STATS-FUNCTIONS: function_history, inst,{{.*}}, test_simple
// CHECK-SIL-STATS-FUNCTIONS: function_history, block,{{.*}}, another_simple_func
// CHECK-SIL-STATS-FUNCTIONS: function_history, inst,{{.*}}, another_simple_func
// Check that -sil-stats-all produces module and function level statistics.
//
// CHECK-SIL-STATS-ALL: module, block,
// CHECK-SIL-STATS-ALL: function, inst
// Check that -sil-stats-only-instructions=integer_literal,builtin produces stats about these instruction.
//
// CHECK-SIL-STATS-ONLY-INSTRUCTIONS: module, inst_integer_literal
// CHECK-SIL-STATS-ONLY-INSTRUCTIONS: module, inst_builtin
sil @test_multiply : $@convention(thin) () -> Builtin.Int64 {
bb0:
%1 = integer_literal $Builtin.Int64, 10
%2 = integer_literal $Builtin.Int1, 0
%3 = builtin "umul_with_overflow_Int64"(%1 : $Builtin.Int64, %1 : $Builtin.Int64, %2 : $Builtin.Int1) : $(Builtin.Int64, Builtin.Int1)
%4 = tuple_extract %3 : $(Builtin.Int64, Builtin.Int1), 1
cond_br %4, bb1, bb2
bb1:
%f = function_ref @fatalError : $@convention(thin) () -> Never
apply %f() : $@convention(thin) () -> Never
unreachable
bb2:
%v = tuple_extract %3 : $(Builtin.Int64, Builtin.Int1), 0
br bb3 (%v : $Builtin.Int64)
bb3(%r : $Builtin.Int64):
return %r: $Builtin.Int64
}
// Check that -sil-stats-only-function=test_simple produces stats only about test_simple
//
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, block,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, inst,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, block,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, inst,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTION: function_history, block,{{.*}}, test_simple
// CHECK-SIL-STATS-ONLY-FUNCTION: function_history, inst,{{.*}}, test_simple
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, block,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, inst,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, block,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTION-NOT: function_history, inst,{{.*}}, another_simple_func
sil @test_simple : $@convention(thin) () -> Builtin.Int64 {
%0 = integer_literal $Builtin.Int64, 10
return %0 : $Builtin.Int64
}
sil @another_simple_func : $@convention(thin) () -> Builtin.Int64 {
%0 = integer_literal $Builtin.Int64, 10
return %0 : $Builtin.Int64
}
// Check that -sil-stats-only-functions=test produces stats only about functions,
// whose name contains "test"
//
// CHECK-SIL-STATS-ONLY-FUNCTIONS-NOT: function_history, block,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTIONS-NOT: function_history, inst,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTIONS: function_history, block,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTIONS: function_history, inst,{{.*}}, test_multiply
// CHECK-SIL-STATS-ONLY-FUNCTIONS: function_history, block,{{.*}}, test_simple
// CHECK-SIL-STATS-ONLY-FUNCTIONS: function_history, inst,{{.*}}, test_simple
// CHECK-SIL-STATS-ONLY-FUNCTIONS-NOT: function_history, block,{{.*}}, another_simple_func
// CHECK-SIL-STATS-ONLY-FUNCTIONS-NOT: function_history, inst,{{.*}}, another_simple_func
|
