// RUN: %target-swift-frontend -enable-sil-ownership -parse-stdlib -emit-silgen %s | %FileCheck %s


//CHECK: [readonly] @func1
@effects(readonly) @_silgen_name("func1") func func1() { }

//CHECK: [readnone] @func2
@effects(readnone) @_silgen_name("func2") func func2() { }

//CHECK: [readwrite] @func3
@effects(readwrite) @_silgen_name("func3") func func3() { }