// RUN: %target-sil-opt -enable-sil-verify-all %s -sil-combine -devirtualizer -dce | FileCheck %s

sil_stage canonical

import Builtin
import Swift
import SwiftShims

class A {
  init(m: Int)
  convenience init(n: Int)
  func foo() -> Int32
   deinit 
}

// test.A.foo (test.A)() -> Swift.Int32
sil hidden [noinline] @_TFC4test1A3foofS0_FT_Vs5Int32 : $@convention(method) (@guaranteed A) -> Int32 {
bb0(%0 : $A):
  debug_value %0 : $A
  %2 = integer_literal $Builtin.Int32, 1
  %3 = struct $Int32 (%2 : $Builtin.Int32)
  strong_release %0 : $A
  return %3 : $Int32
}

// CHECK-LABEL: @test_alloc_ref_dynamic_devirt
// CHECK-NOT: class_method
// CHECK: function_ref @_TFC4test1A3foofS0_FT_Vs5Int32
// CHECK: apply
// CHECK: return
sil @test_alloc_ref_dynamic_devirt : $@convention(thin) () -> Int32 {
bb0:
  %1 = metatype $@thick A.Type
  %2 = alloc_ref_dynamic %1 : $@thick A.Type, $A
  strong_retain %2 : $A
  %8 = class_method %2 : $A, #A.foo!1 : A -> () -> Int32 , $@convention(method) (@guaranteed A) -> Int32
  %9 = apply %8(%2) : $@convention(method) (@guaranteed A) -> Int32
  strong_release %2 : $A
  return %9 : $Int32
}

sil_vtable A {
  #A.foo!1: _TFC4test1A3foofS0_FT_Vs5Int32
}