File: ownership-kind-dumper.sil

package info (click to toggle)

swiftlang 6.0.3-2

links: PTS, VCS
area: main
in suites: forky, sid, trixie
size: 2,519,992 kB
sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573

file content (27 lines) | stat: -rw-r--r-- 903 bytes

// RUN: %target-sil-opt -ownership-dumper %s -o /dev/null | %FileCheck %s

sil_stage canonical

import Builtin

class Klass {}

// CHECK-LABEL: Dumping Function: 'foo'
// CHECK: Visiting:   %1 = unchecked_ref_cast %0 : $Builtin.NativeObject to $Klass
// CHECK: Ownership Constraint:
// CHECK: Op #: 0
// CHECK: Constraint: <Constraint Kind:owned LifetimeConstraint:LifetimeEnding>
// CHECK: Results Ownership Kinds:
// CHECK: Result:   %1 = unchecked_ref_cast %0 : $Builtin.NativeObject to $Klass
// CHECK: Kind: owned
// CHECK: Visiting:   return %1 : $Klass
// CHECK: Ownership Constraint:
// CHECK: Op #: 0
// CHECK: Constraint: <Constraint Kind:owned LifetimeConstraint:LifetimeEnding>
sil [ossa] @foo : $@convention(thin) (@owned Builtin.NativeObject) -> @owned Klass {
bb0(%0 : @owned $Builtin.NativeObject):
  %1 = unchecked_ref_cast %0 : $Builtin.NativeObject to $Klass
  return %1 : $Klass
}