| // RUN: %empty-directory(%t) |
| // RUN: echo "public var x = Int64()" \ |
| // RUN: | %target-swift-frontend -module-name FooBar -emit-module -o %t - |
| // RUN: %target-swift-frontend %s -O -I %t -emit-ir -g -o %t.ll |
| // RUN: %FileCheck %s < %t.ll |
| // RUN: %FileCheck %s -check-prefix=TRANSPARENT-CHECK < %t.ll |
| |
| // CHECK: define{{( protected)?( signext)?}} i32 @main |
| // CHECK: call {{.*}}noinline{{.*}}, !dbg ![[CALL:.*]] |
| // CHECK-DAG: ![[TOPLEVEL:.*]] = !DIFile(filename: "inlinescopes.swift" |
| |
| import FooBar |
| |
| func use<T>(_ t: T) {} |
| |
| @inline(never) |
| func noinline(_ x: Int64) -> Int64 { return x } |
| |
| @_transparent |
| func transparent(_ x: Int64) -> Int64 { return noinline(x) } |
| |
| |
| @inline(__always) |
| func inlined(_ x: Int64) -> Int64 { |
| // CHECK-DAG: ![[CALL]] = !DILocation(line: [[@LINE+2]], column: {{.*}}, scope: ![[SCOPE:.*]], inlinedAt: ![[INLINED:.*]]) |
| // CHECK-DAG: ![[SCOPE:.*]] = distinct !DILexicalBlock( |
| let result = transparent(x) |
| // TRANSPARENT-CHECK-NOT: !DISubprogram(name: "transparent" |
| return result |
| } |
| // CHECK-DAG: !DIGlobalVariable(name: "y",{{.*}} file: ![[TOPLEVEL]],{{.*}} line: [[@LINE+1]] |
| let y = inlined(x) |
| use(y) |
| |
| // Check if the inlined and removed function still has the correct linkage name. |
| // CHECK-DAG: !DISubprogram(name: "inlined", linkageName: "$s4main7inlinedys5Int64VADF" |