Swift synthesized == function for a struct

Puppy-equatable.ast

(func_decl implicit "__derived_struct_equals(_:_:)" interface type='(Puppy.Type) -> (Puppy, Puppy) -> Bool' access=internal type
  (parameter_list
    (parameter "self" interface type='Puppy.Type'))
  (parameter_list
    (parameter "a" type='Puppy' interface type='Puppy')
    (parameter "b" type='Puppy' interface type='Puppy'))
  (brace_stmt
    (guard_stmt implicit
      (call_expr implicit type='Int1' nothrow arg_labels=
        (dot_syntax_call_expr implicit type='() -> Int1' nothrow
          (declref_expr implicit type='(Bool) -> () -> Int1' decl=Swift.(file).Bool._getBuiltinLogicValue() function_ref=double)
          (binary_expr implicit type='Bool' nothrow
            (dot_syntax_call_expr implicit type='(String, String) -> Bool' nothrow
              (declref_expr implicit type='(String.Type) -> (String, String) -> Bool' decl=Swift.(file).String.== function_ref=unapplied)
              (type_expr implicit type='String.Type' typerepr='<<NULL>>'))
            (tuple_expr implicit type='(String, String)'
              (member_ref_expr implicit type='String' decl=eq.(file).Puppy.name@eq.swift:2:7 direct_to_storage
                (declref_expr implicit type='Puppy' decl=eq.(file).Puppy.__derived_struct_equals(_:_:).a function_ref=unapplied))
              (member_ref_expr implicit type='String' decl=eq.(file).Puppy.name@eq.swift:2:7 direct_to_storage
                (declref_expr implicit type='Puppy' decl=eq.(file).Puppy.__derived_struct_equals(_:_:).b function_ref=unapplied)))))
        (tuple_expr implicit type='()'))
      (brace_stmt
        (return_stmt implicit
          (call_expr implicit type='Bool' nothrow arg_labels=_builtinBooleanLiteral:
            (constructor_ref_call_expr implicit type='(Int1) -> Bool' nothrow
              (declref_expr implicit type='(Bool.Type) -> (Int1) -> Bool' decl=Swift.(file).Bool.init(_builtinBooleanLiteral:) function_ref=single)
              (type_expr implicit type='Bool.Type' typerepr='<<NULL>>'))
            (tuple_expr implicit type='(_builtinBooleanLiteral: Builtin.Int1)' names=_builtinBooleanLiteral
              (boolean_literal_expr implicit type='Builtin.Int1' value=false))))))
    (guard_stmt implicit
      (call_expr implicit type='Int1' nothrow arg_labels=
        (dot_syntax_call_expr implicit type='() -> Int1' nothrow
          (declref_expr implicit type='(Bool) -> () -> Int1' decl=Swift.(file).Bool._getBuiltinLogicValue() function_ref=double)
          (binary_expr implicit type='Bool' nothrow
            (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' nothrow
              (declref_expr implicit type='(Int.Type) -> (Int, Int) -> Bool' decl=Swift.(file).Int.== function_ref=unapplied)
              (type_expr implicit type='Int.Type' typerepr='<<NULL>>'))
            (tuple_expr implicit type='(Int, Int)'
              (member_ref_expr implicit type='Int' decl=eq.(file).Puppy.age@eq.swift:3:7 direct_to_storage
                (declref_expr implicit type='Puppy' decl=eq.(file).Puppy.__derived_struct_equals(_:_:).a function_ref=unapplied))
              (member_ref_expr implicit type='Int' decl=eq.(file).Puppy.age@eq.swift:3:7 direct_to_storage
                (declref_expr implicit type='Puppy' decl=eq.(file).Puppy.__derived_struct_equals(_:_:).b function_ref=unapplied)))))
        (tuple_expr implicit type='()'))
      (brace_stmt
        (return_stmt implicit
          (call_expr implicit type='Bool' nothrow arg_labels=_builtinBooleanLiteral:
            (constructor_ref_call_expr implicit type='(Int1) -> Bool' nothrow
              (declref_expr implicit type='(Bool.Type) -> (Int1) -> Bool' decl=Swift.(file).Bool.init(_builtinBooleanLiteral:) function_ref=single)
              (type_expr implicit type='Bool.Type' typerepr='<<NULL>>'))
            (tuple_expr implicit type='(_builtinBooleanLiteral: Builtin.Int1)' names=_builtinBooleanLiteral
              (boolean_literal_expr implicit type='Builtin.Int1' value=false))))))
    (return_stmt implicit
      (call_expr implicit type='Bool' nothrow arg_labels=_builtinBooleanLiteral:
        (constructor_ref_call_expr implicit type='(Int1) -> Bool' nothrow
          (declref_expr implicit type='(Bool.Type) -> (Int1) -> Bool' decl=Swift.(file).Bool.init(_builtinBooleanLiteral:) function_ref=single)
          (type_expr implicit type='Bool.Type' typerepr='<<NULL>>'))
        (tuple_expr implicit type='(_builtinBooleanLiteral: Builtin.Int1)' names=_builtinBooleanLiteral
          (boolean_literal_expr implicit type='Builtin.Int1' value=true))))))

Puppy-equatable.sil

// static Puppy.__derived_struct_equals(_:_:)
sil hidden @_T02eq5PuppyV23__derived_struct_equalsSbAC_ACtFZ : $@convention(method) (@owned Puppy, @owned Puppy, @thin Puppy.Type) -> Bool {
// %0                                             // users: %34, %15, %7, %3
// %1                                             // users: %33, %16, %9, %4
// %2                                             // user: %5
bb0(%0 : $Puppy, %1 : $Puppy, %2 : $@thin Puppy.Type):
  debug_value %0 : $Puppy, let, name "a", argno 1 // id: %3
  debug_value %1 : $Puppy, let, name "b", argno 2 // id: %4
  debug_value %2 : $@thin Puppy.Type, let, name "self", argno 3 // id: %5
  %6 = metatype $@thin String.Type                // user: %12
  %7 = struct_extract %0 : $Puppy, #Puppy.name    // users: %12, %8
  retain_value %7 : $String                       // id: %8
  %9 = struct_extract %1 : $Puppy, #Puppy.name    // users: %12, %10
  retain_value %9 : $String                       // id: %10
  // function_ref static String.== infix(_:_:)
  %11 = function_ref @_T0SS2eeoiSbSS_SStFZ : $@convention(method) (@owned String, @owned String, @thin String.Type) -> Bool // user: %12
  %12 = apply %11(%7, %9, %6) : $@convention(method) (@owned String, @owned String, @thin String.Type) -> Bool // user: %13
  %13 = struct_extract %12 : $Bool, #Bool._value  // user: %14
  cond_br %13, bb1, bb4                           // id: %14

bb1:                                              // Preds: bb0
  %15 = struct_extract %0 : $Puppy, #Puppy.age    // user: %17
  %16 = struct_extract %1 : $Puppy, #Puppy.age    // user: %18
  %17 = struct_extract %15 : $Int, #Int._value    // user: %19
  %18 = struct_extract %16 : $Int, #Int._value    // user: %19
  %19 = builtin "cmp_eq_Int64"(%17 : $Builtin.Int64, %18 : $Builtin.Int64) : $Builtin.Int1 // user: %20
  %20 = struct $Bool (%19 : $Builtin.Int1)        // user: %21
  %21 = struct_extract %20 : $Bool, #Bool._value  // user: %22
  cond_br %21, bb2, bb3                           // id: %22

bb2:                                              // Preds: bb1
  %23 = integer_literal $Builtin.Int1, -1         // user: %24
  %24 = struct $Bool (%23 : $Builtin.Int1)        // user: %25
  br bb5(%24 : $Bool)                             // id: %25

bb3:                                              // Preds: bb1
  %26 = integer_literal $Builtin.Int1, 0          // user: %27
  %27 = struct $Bool (%26 : $Builtin.Int1)        // user: %28
  br bb5(%27 : $Bool)                             // id: %28

bb4:                                              // Preds: bb0
  %29 = integer_literal $Builtin.Int1, 0          // user: %30
  %30 = struct $Bool (%29 : $Builtin.Int1)        // user: %31
  br bb5(%30 : $Bool)                             // id: %31

// %32                                            // user: %35
bb5(%32 : $Bool):                                 // Preds: bb2 bb3 bb4
  release_value %1 : $Puppy                       // id: %33
  release_value %0 : $Puppy                       // id: %34
  return %32 : $Bool                              // id: %35
} // end sil function '_T02eq5PuppyV23__derived_struct_equalsSbAC_ACtFZ'

Puppy.swift

struct Puppy: Equatable {
  let name: String
  let age: Int
}