test/SIL/Parser/typed_boxes.sil

// RUN: %target-swift-frontend %s -emit-silgen | FileCheck %s

import Swift

// CHECK-LABEL: sil @alloc_dealloc : $@convention(thin) (Int) -> () {
sil @alloc_dealloc : $@convention(thin) (Int) -> () {
entry(%x : $Int):
  // CHECK: [[B:%.*]] = alloc_box $Int
  %b = alloc_box $Int
  // CHECK: [[PB:%.*]] = project_box [[B]] : $@box Int
  %ba = project_box %b : $@box Int
  // CHECK: store [[X:%.*]] to [[PB]] : $*Int
  store %x to %ba : $*Int
  // CHECK: dealloc_box [[B]] : $@box Int
  dealloc_box %b : $@box Int
  return undef : $()
}