 
 
 // CHECK: [[RET:%[0-9]+]] = struct $Int32
-// CHECK: return [[RET]]
+// SYNC-CHECK: return [[RET]]
 
-
-
+// ASYNC-CHECK: [[EXITFUNC:%[0-9]+]] = function_ref @exit
+// ASYNC-CHECK: apply [[EXITFUNC]]([[RET]]) : $@convention(c) (Int32) -> Never
+// ASYNC-CHECK: unreachable
 
 // CHECK-LABEL: sil hidden [ossa] @$s8toplevel7print_xyyF
 


// CHECK-LABEL: sil [ossa] @main
// CHECK: bb0({{%.*}} : $Int32, {{%.*}} : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):

// -- initialize x
// CHECK: alloc_global @$s8toplevel1xSiv

// RUN: %target-swift-emit-silgen -Xllvm -sil-full-demangle %s | %FileCheck %s --check-prefixes='CHECK,SYNC-CHECK'
// RUN: %target-swift-emit-silgen -Xllvm -sil-full-demangle -enable-experimental-async-top-level %s | %FileCheck %s --check-prefixes='CHECK,ASYNC-CHECK'

func markUsed<T>(_ t: T) {}

