// RUN: %target-sil-opt -non-transparent-func-ownership-model-eliminator %s | %FileCheck %s | |
sil_stage raw | |
import Builtin | |
// CHECK-LABEL: sil [transparent] [ossa] @foo : $@convention(thin) () -> () { | |
sil [transparent] [ossa] @foo : $@convention(thin) () -> () { | |
bb0: | |
%9999 = tuple() | |
return %9999 : $() | |
} | |
// CHECK-LABEL: sil @bar : $@convention(thin) () -> () { | |
sil [ossa] @bar : $@convention(thin) () -> () { | |
bb0: | |
%9999 = tuple() | |
return %9999 : $() | |
} |