sil_stage canonical import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue var a: Int? { get set } @_hasStorage var b: Optional<Int> { get set } // a sil_global hidden @$s4main1aSiSgvp : $Optional<Int> // b sil_global hidden @$s4main1bSiSgvp : $Optional<Int> // main sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSiSgvp // id: %2 %3 = global_addr @$s4main1aSiSgvp : $*Optional<Int> // user: %6 %4 = metatype $@thin Optional<Int>.Type %5 = enum $Optional<Int>, #Optional.none!enumelt // user: %6 store %5 to %3 : $*Optional<Int> // id: %6 alloc_global @$s4main1bSiSgvp // id: %7 %8 = global_addr @$s4main1bSiSgvp : $*Optional<Int> %9 = integer_literal $Builtin.Int32, 0 // user: %10 %10 = struct $Int32 (%9 : $Builtin.Int32) // user: %11 return %10 : $Int32 // id: %11 } // end sil function 'main'