// RUN: %target-sil-opt %s | %FileCheck %s

import Swift

// CHECK: @_hasStorage var orgx
class Rect {
  @_hasStorage var orgx: Double { get }
  init(orgx: Double)
}

// CHECK_LABEL: sil @_TFC4rect4Rectg4orgxSd
sil @_TFC4rect4Rectg4orgxSd : $@convention(method) (@guaranteed Rect) -> Double {
bb0(%0 : $Rect):
  debug_value %0 : $Rect
  // CHECK: ref_element_addr
  %2 = ref_element_addr %0 : $Rect, #Rect.orgx
  %3 = load %2 : $*Double
  strong_release %0 : $Rect
  return %3 : $Double
}

// CHECK_LABEL: sil_vtable Rect
sil_vtable Rect {
  // CHECK: #Rect.orgx!getter
  #Rect.orgx!getter.1: @_TFC4rect4Rectg4orgxSd
}