| // RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil %s -o - | %FileCheck %s |
| |
| sil_stage canonical |
| |
| import Builtin |
| import Swift |
| import SwiftShims |
| |
| //CHECK: [readonly] @function1 |
| sil [readonly] @function1 : $@convention(thin) () -> () { |
| bb0: |
| %0 = tuple () |
| return %0 : $() |
| } |
| |
| //CHECK: [readnone] @function2 |
| sil [readnone] @function2 : $@convention(thin) () -> () { |
| bb0: |
| %0 = tuple () |
| return %0 : $() |
| } |
| |
| //CHECK: [readwrite] @function3 |
| sil [readwrite] @function3 : $@convention(thin) () -> () { |
| bb0: |
| %0 = tuple () |
| return %0 : $() |
| } |
| |
| //CHECK: [releasenone] @function4 |
| sil [releasenone] @function4 : $@convention(thin) () -> () { |
| bb0: |
| %0 = tuple () |
| return %0 : $() |
| } |