|
2 | 2 | ///
|
3 | 3 | /// Module 'Lib' imports module 'XLogging', and 'XLogging' is aliased 'AppleLogging'.
|
4 | 4 |
|
5 |
| -// REQUIRES: rdar84436250 |
6 |
| - |
7 | 5 | // RUN: %empty-directory(%t)
|
8 | 6 | // RUN: %{python} %utils/split_file.py -o %t %s
|
9 | 7 |
|
|
17 | 15 | // RUN: not %FileCheck %s -input-file %t/result-sil.output -check-prefix CHECK-NOT-FOUND
|
18 | 16 | // CHECK-NOT-FOUND: XLogging
|
19 | 17 |
|
20 |
| - |
21 | 18 | // CHECK: sil_stage canonical
|
22 | 19 |
|
23 | 20 | // CHECK: import Builtin
|
|
35 | 32 |
|
36 | 33 | // CHECK: public func end(_ arg: Logger)
|
37 | 34 |
|
38 |
| -// CHECK: // main |
39 |
| -// CHECK: sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { |
40 |
| -// CHECK: bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): |
41 |
| -// CHECK: %2 = integer_literal $Builtin.Int32, 0 // user: %3 |
42 |
| -// CHECK: %3 = struct $Int32 (%2 : $Builtin.Int32) // user: %4 |
43 |
| -// CHECK: return %3 : $Int32 // id: %4 |
44 |
| -// CHECK: // end sil function 'main' |
45 |
| - |
46 |
| -// CHECK: // MyLib.verbosity.getter |
47 |
| -// CHECK: sil @$s7FileLib02MyB0V9verbositySivg : $@convention(method) (MyLib) -> Int { |
48 |
| -// CHECK: // %0 "self" // user: %1 |
49 |
| -// CHECK: bb0(%0 : $MyLib): |
50 |
| -// CHECK: debug_value %0 : $MyLib, let, name "self", argno 1, implicit // id: %1 |
51 |
| -// CHECK: %2 = integer_literal $Builtin.Int64, 3 // user: %3 |
52 |
| -// CHECK: %3 = struct $Int (%2 : $Builtin.Int64) // user: %4 |
53 |
| -// CHECK: return %3 : $Int // id: %4 |
54 |
| -// CHECK: } // end sil function '$s7FileLib02MyB0V9verbositySivg' |
55 |
| - |
56 |
| -// CHECK: // Int.init(_builtinIntegerLiteral:) |
57 |
| -// CHECK: sil public_external [transparent] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int { |
58 |
| -// CHECK: // %0 // user: %2 |
59 |
| -// CHECK: bb0(%0 : $Builtin.IntLiteral, %1 : $@thin Int.Type): |
60 |
| -// CHECK: %2 = builtin "s_to_s_checked_trunc_IntLiteral_Int64"(%0 : $Builtin.IntLiteral) : $(Builtin.Int64, Builtin.Int1) // user: %3 |
61 |
| -// CHECK: %3 = tuple_extract %2 : $(Builtin.Int64, Builtin.Int1), 0 // user: %4 |
62 |
| -// CHECK: %4 = struct $Int (%3 : $Builtin.Int64) // user: %5 |
63 |
| -// CHECK: return %4 : $Int // id: %5 |
64 |
| -// CHECK: } // end sil function '$sSi22_builtinIntegerLiteralSiBI_tcfC' |
65 |
| - |
66 | 35 | // CHECK: // protocol witness for Loggable.verbosity.getter in conformance MyLib
|
67 | 36 | // CHECK: sil shared [transparent] [thunk] @$s7FileLib02MyB0V12AppleLogging8LoggableAadEP9verbositySivgTW : $@convention(witness_method: Loggable) (@in_guaranteed MyLib) -> Int {
|
68 | 37 | // CHECK: // %0 // user: %1
|
|
90 | 59 |
|
91 | 60 | // CHECK: // end(_:)
|
92 | 61 | // CHECK: sil @$s7FileLib3endyy12AppleLogging6LoggerVF : $@convention(thin) (Logger) -> () {
|
93 |
| -// CHECK: // %0 "arg" // user: %1 |
94 |
| -// CHECK: bb0(%0 : $Logger): |
95 |
| -// CHECK: debug_value %0 : $Logger, let, name "arg", argno 1 // id: %1 |
96 |
| -// CHECK: %2 = tuple () // user: %3 |
97 |
| -// CHECK: return %2 : $() // id: %3 |
98 | 62 | // CHECK: } // end sil function '$s7FileLib3endyy12AppleLogging6LoggerVF'
|
99 | 63 |
|
100 |
| -// CHECK: sil_witness_table MyLib: Loggable module FileLib { |
101 |
| -// CHECK: method #Loggable.verbosity!getter: <Self where Self : Loggable> (Self) -> () -> Int : @$s7FileLib02MyB0V12AppleLogging8LoggableAadEP9verbositySivgTW // protocol witness for Loggable.verbosity.getter in conformance MyLib |
102 |
| -// CHECK: } |
103 |
| - |
104 |
| -// CHECK: sil_property #MyLib.verbosity () |
105 |
| - |
106 | 64 |
|
107 | 65 |
|
108 | 66 | // BEGIN FileLogging.swift
|
|
0 commit comments