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
  // function_ref Swift.Bool._getBuiltinLogicValue (Swift.Bool)() -> Builtin.Int1
  %5 = function_ref @_TFSb21_getBuiltinLogicValuefSbFT_Bi1_ : $@convention(method) (Bool) -> Builtin.Int1 // user: %13
  %6 = 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: %12
  %7 = metatype $@thick T.Type                    // user: %12
  %8 = alloc_stack $T                             // users: %9, %12, %15
  copy_addr %1 to [initialization] %8#1 : $*T     // id: %9
  %10 = alloc_stack $T                            // users: %11, %12, %14
  copy_addr %2 to [initialization] %10#1 : $*T    // id: %11
  %12 = apply %6<T>(%8#1, %10#1, %7) : $@convention(witness_method) <τ_0_0 where τ_0_0 : Comparable> (@in τ_0_0, @in τ_0_0, @thick τ_0_0.Type) -> Bool // user: %13
  %13 = apply %5(%12) : $@convention(method) (Bool) -> Builtin.Int1 // user: %16
  dealloc_stack %10#0 : $*@local_storage T        // id: %14
  dealloc_stack %8#0 : $*@local_storage T         // id: %15
  cond_br %13, bb1, bb2                           // id: %16

bb1:                                              // Preds: bb0
  copy_addr %1 to [initialization] %0 : $*T       // id: %17
  br bb3                                          // id: %18

bb2:                                              // Preds: bb0
  copy_addr %2 to [initialization] %0 : $*T       // id: %19
  br bb3                                          // id: %20

bb3:                                              // Preds: bb1 bb2
  destroy_addr %2 : $*T                           // id: %21
  destroy_addr %1 : $*T                           // id: %22
  %23 = tuple ()                                  // user: %24
  return %23 : $()                                // id: %24
}

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