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
|
// RUN: %target-swift-frontend -primary-file %s -O -emit-sil | %FileCheck %s
// RUN: %target-swift-frontend -primary-file %s -Osize -emit-sil | %FileCheck %s
// RUN: %target-swift-frontend -primary-file %s -O -emit-ir | %FileCheck -check-prefix=CHECK-IR %s
// RUN: %target-swift-frontend -primary-file %s -Osize -emit-ir | %FileCheck -check-prefix=CHECK-IR %s
// REQUIRES: swift_stdlib_no_asserts,optimized_stdlib
class A {
func foo(_ x: Int) -> Int { return x }
}
class B : A {
override func foo(_ x: Int) -> Int { return x + 1 }
}
func donothing(_ x: Int) -> Int { return x }
// CHECK-LABEL: sil {{.*}} [Osize] @{{.*}}test_osize
// CHECK: [[M:%[0-9]+]] = class_method
// CHECK: [[A:%[0-9]+]] = apply [[M]]
// CHECK: return [[A]]
// CHECK-IR: define hidden {{.*}}test_osize{{.*}} [[SIZE_ATTR:#[0-9]+]]
@_optimize(size)
func test_osize(_ a: A) -> Int {
return donothing(a.foo(27))
}
// CHECK-LABEL: sil {{.*}} [Onone] @{{.*}}test_onone
// CHECK: [[M:%[0-9]+]] = class_method
// CHECK: [[A:%[0-9]+]] = apply [[M]]
// CHECK: [[A2:%[0-9]+]] = apply
// CHECK: return [[A2]]
// CHECK-IR: define hidden {{.*}}test_onone{{.*}} [[NOSIZE_ATTR:#[0-9]+]]
@_optimize(none)
func test_onone(_ a: A) -> Int {
return donothing(a.foo(27))
}
// CHECK-LABEL: sil {{.*}} [Ospeed] @{{.*}}test_ospeed
// CHECK: [[M:%[0-9]+]] = class_method
// CHECK: [[A:%[0-9]+]] = apply [[M]]
// CHECK: return [[A]]
// CHECK-IR: define hidden {{.*}}test_ospeed{{.*}} [[NOSIZE_ATTR:#[0-9]+]]
@_optimize(speed)
func test_ospeed(_ a: A) -> Int {
return donothing(a.foo(27))
}
// CHECK-IR-DAG: attributes [[SIZE_ATTR]] = { minsize optsize "
// CHECK-IR-DAG: attributes [[NOSIZE_ATTR]] = { "
|
