sil_stage raw

import Builtin
import Swift
import SwiftShims

// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<UnsafeMutablePointer<Int8>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<UnsafeMutablePointer<Int8>>):
  // function_ref Swift._didEnterMain (Swift.Int32, argv : Swift.UnsafeMutablePointer<Swift.UnsafeMutablePointer<Swift.Int8>>) -> ()
  %2 = function_ref @_TFSs13_didEnterMainFTVSs5Int324argvGVSs20UnsafeMutablePointerGS0_VSs4Int8___T_ : $@convention(thin) (Int32, UnsafeMutablePointer<UnsafeMutablePointer<Int8>>) -> () // user: %3
  %3 = apply %2(%0, %1) : $@convention(thin) (Int32, UnsafeMutablePointer<UnsafeMutablePointer<Int8>>) -> ()
  %4 = integer_literal $Builtin.Int32, 0          // user: %5
  %5 = struct $Int32 (%4 : $Builtin.Int32)        // user: %6
  return %5 : $Int32                              // id: %6
}

// Swift._didEnterMain (Swift.Int32, argv : Swift.UnsafeMutablePointer<Swift.UnsafeMutablePointer<Swift.Int8>>) -> ()
sil [transparent] [fragile] @_TFSs13_didEnterMainFTVSs5Int324argvGVSs20UnsafeMutablePointerGS0_VSs4Int8___T_ : $@convention(thin) (Int32, UnsafeMutablePointer<UnsafeMutablePointer<Int8>>) -> ()

// main.min <A where A: Swift.Comparable> (A, A) -> A
sil hidden @_TF4main3minuRq_Ss10Comparable_FTq_q__q_ : $@convention(thin) <T where T : Comparable> (@out T, @in T, @in T) -> () {
bb0(%0 : $*T, %1 : $*T, %2 : $*T):
  debug_value_addr %1 : $*T  // let x             // id: %3
  debug_value_addr %2 : $*T  // let y             // id: %4
  %5 = alloc_box $T  // var r                     // users: %6, %21, %24, %25
  copy_addr %1 to [initialization] %5#1 : $*T     // id: %6
  // function_ref Swift.Bool._getBuiltinLogicValue (Swift.Bool)() -> Builtin.Int1
  %7 = function_ref @_TFSb21_getBuiltinLogicValuefSbFT_Bi1_ : $@convention(method) (Bool) -> Builtin.Int1 // user: %15
  %8 = witness_method $T, #Comparable."<"!1 : $@convention(witness_method) <τ_0_0 where τ_0_0 : Comparable> (@in τ_0_0, @in τ_0_0, @thick τ_0_0.Type) -> Bool // user: %14
  %9 = metatype $@thick T.Type                    // user: %14
  %10 = alloc_stack $T                            // users: %11, %14, %17
  copy_addr %2 to [initialization] %10#1 : $*T    // id: %11
  %12 = alloc_stack $T                            // users: %13, %14, %16
  copy_addr %1 to [initialization] %12#1 : $*T    // id: %13
  %14 = apply %8<T>(%10#1, %12#1, %9) : $@convention(witness_method) <τ_0_0 where τ_0_0 : Comparable> (@in τ_0_0, @in τ_0_0, @thick τ_0_0.Type) -> Bool // user: %15
  %15 = apply %7(%14) : $@convention(method) (Bool) -> Builtin.Int1 // user: %18
  dealloc_stack %12#0 : $*@local_storage T        // id: %16
  dealloc_stack %10#0 : $*@local_storage T        // id: %17
  cond_br %15, bb1, bb2                           // id: %18

bb1:                                              // Preds: bb0
  %19 = alloc_stack $T                            // users: %20, %21, %22
  copy_addr %2 to [initialization] %19#1 : $*T    // id: %20
  copy_addr [take] %19#1 to %5#1 : $*T            // id: %21
  dealloc_stack %19#0 : $*@local_storage T        // id: %22
  br bb2                                          // id: %23

bb2:                                              // Preds: bb0 bb1
  copy_addr %5#1 to [initialization] %0 : $*T     // id: %24
  strong_release %5#0 : $@box T                   // id: %25
  destroy_addr %2 : $*T                           // id: %26
  destroy_addr %1 : $*T                           // id: %27
  %28 = tuple ()                                  // user: %29
  return %28 : $()                                // id: %29
}

// Swift.Bool._getBuiltinLogicValue (Swift.Bool)() -> Builtin.Int1
sil [transparent] [fragile] @_TFSb21_getBuiltinLogicValuefSbFT_Bi1_ : $@convention(method) (Bool) -> Builtin.Int1