// user: %9 // function_ref static Swift.! prefix (Swift.Bool) -> Swift.Bool %3 = function_ref @_TZFSsop1nFSbSb : $@convention(thin) (Bool) -> Bool // user: %8 %4 = alloc_stack $Array<Int> // users: %5, %7, %10 store %0 to %4#1 : $*Array<Int> // id: %5 // function_ref ext.Swift.Swift.CollectionType<A where A: Swift.CollectionType>.isEmpty.getter : Swift.Bool %6 = function_ref @_TFeRq_Ss14CollectionType_SsS_g7isEmptySb : $@convention(method) <ŵЮ0_0 where ŵЮ0_0 : CollectionType, ŵЮ0_0.Generator : GeneratorType, ŵЮ0_0.Index : ForwardIndexType, ŵЮ0_0.Index.Distance : _SignedIntegerType, ŵЮ0_0.Index.Distance.IntegerLiteralType : _BuiltinIntegerLiteralConvertible, ŵЮ0_0.SubSequence : Indexable, ŵЮ0_0.SubSequence : SequenceType, ŵЮ0_0.SubSequence.Generator : GeneratorType, ŵЮ0_0.SubSequence.Index : ForwardIndexType, ŵЮ0_0.SubSequence.Index.Distance : _SignedIntegerType, ŵЮ0_0.SubSequence.Index.Distance.IntegerLiteralType : _BuiltinIntegerLiteralConvertible> (@in_guaranteed ŵЮ0_0) -> Bool // user: %7 %7 = apply %6<[Int], IndexingGenerator<Array<Int>>, Int, Int, Int, Int, Int, ArraySlice<Int>, IndexingGenerator<ArraySlice<Int>>, Int, Int, Int, Int, Int, ArraySlice<Int>, Int, Int>(%4#1) : $@convention(method) <ŵЮ0_0 where ŵЮ0_0 : CollectionType, ŵЮ0_0.Generator : GeneratorType, ŵЮ0_0.Index : ForwardIndexType, ŵЮ0_0.Index.Distance : _SignedIntegerType, ŵЮ0_0.Index.Distance.IntegerLiteralType : _BuiltinIntegerLiteralConvertible, ŵЮ0_0.SubSequence : Indexable, ŵЮ0_0.SubSequence : SequenceType, ŵЮ0_0.SubSequence.Generator : GeneratorType, ŵЮ0_0.SubSequence.Index : ForwardIndexType, ŵЮ0_0.SubSequence.Index.Distance : _SignedIntegerType, ŵЮ0_0.SubSequence.Index.Distance.IntegerLiteralType : _BuiltinIntegerLiteralConvertible> (@in_guaranteed ŵЮ0_0) -> Bool // user: %8 %8 = apply %3(%7) : $@convention(thin) (Bool) -> Bool // user: %9 %9 = apply %2(%8) : $@convention(method) (Bool) -> Builtin.Int1 // user: %11