| // 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 {{.*}} [Ospeed] @{{.*}}test_ospeed |
| // CHECK: checked_cast_br |
| // CHECK: checked_cast_br |
| // CHECK: } |
| // CHECK-IR: define hidden {{.*}}test_ospeed{{.*}} [[NOSIZE_ATTR:#[0-9]+]] |
| @_optimize(speed) |
| func test_ospeed(_ a: A) -> Int { |
| return donothing(a.foo(27)) |
| } |
| |
| // 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-IR: attributes [[NOSIZE_ATTR]] = { " |
| // CHECK-IR: attributes [[SIZE_ATTR]] = { minsize " |
