mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
21f2c3d35b
This applies the same changes from Clang CFE r349065 to the Swift frontend to unify how filenames, cmpilation directories and absolute paths in filenames and path remappings are handled.
118 lines
4.6 KiB
Swift
118 lines
4.6 KiB
Swift
// RUN: %target-swift-frontend %s -g -emit-ir -o - | %FileCheck %s
|
||
|
||
// Ensure that the debug info we're emitting passes the back end verifier.
|
||
// RUN: %target-swift-frontend %s -g -S -o - | %FileCheck %s --check-prefix ASM-%target-object-format
|
||
// ASM-macho: .section __DWARF,__debug_info
|
||
// ASM-elf: .section .debug_info,"",{{[@%]}}progbits
|
||
// ASM-coff: .section .debug_info,"dr"
|
||
|
||
// Test variables-interpreter.swift runs this code with `swift -g -i`.
|
||
// Test variables-repl.swift runs this code with `swift -g < variables.swift`.
|
||
|
||
// CHECK-DAG: ![[TLC:.*]] = !DIModule({{.*}}, name: "variables"
|
||
|
||
// Global variables.
|
||
var glob_i8: Int8 = 8
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_i8",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[I8:[^,]+]]
|
||
var glob_i16: Int16 = 16
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_i16",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[I16:[^,]+]]
|
||
var glob_i32: Int32 = 32
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_i32",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[I32:[^,]+]]
|
||
var glob_i64: Int64 = 64
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_i64",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[I64:[^,]+]]
|
||
var glob_f: Float = 2.89
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_f",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[F:[^,]+]]
|
||
var glob_d: Double = 3.14
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_d",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[D:[^,]+]]
|
||
var glob_b: Bool = true
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_b",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[B:[^,]+]]
|
||
var glob_s: String = "😄"
|
||
// CHECK-DAG: !DIGlobalVariable(name: "glob_s",{{.*}} scope: ![[TLC]],{{.*}} line: [[@LINE-1]],{{.*}} type: ![[S:[^,]+]]
|
||
// FIXME: Dreadful type-checker performance prevents this from being this single
|
||
// print expression:
|
||
// print("\(glob_v), \(glob_i8), \(glob_i16), \(glob_i32), \(glob_i64), \(glob_f), \(glob_d), \(glob_b), \(glob_s)", terminator: "")
|
||
print(", \(glob_i8)", terminator: "")
|
||
print(", \(glob_i16)", terminator: "")
|
||
print(", \(glob_i32)", terminator: "")
|
||
print(", \(glob_i64)", terminator: "")
|
||
print(", \(glob_f)", terminator: "")
|
||
print(", \(glob_d)", terminator: "")
|
||
print(", \(glob_b)", terminator: "")
|
||
print(", \(glob_s)", terminator: "")
|
||
var unused: Int32 = -1
|
||
|
||
// CHECK-DAG: ![[RT:[0-9]+]] ={{.*}}"{{.*}}Swift.swiftmodule"
|
||
|
||
|
||
// Stack variables.
|
||
func foo(_ dt: Float) -> Float {
|
||
// CHECK-DAG: call void @llvm.dbg.declare
|
||
// CHECK-DAG: !DILocalVariable(name: "f"
|
||
let f: Float = 9.78
|
||
|
||
// CHECK-DAG: !DILocalVariable(name: "r"
|
||
let r: Float = f*dt
|
||
|
||
return r
|
||
}
|
||
|
||
var g = foo(1.0);
|
||
|
||
// Tuple types.
|
||
var tuple: (Int, Bool) = (1, true)
|
||
// CHECK-DAG: !DIGlobalVariable(name: "tuple", linkageName: "$s{{9variables|4main}}5tupleSi_Sbtvp",{{.*}} type: ![[TUPTY:[^,)]+]]
|
||
// CHECK-DAG: ![[TUPTY]] = !DICompositeType({{.*}}identifier: "$sSi_SbtD"
|
||
func myprint(_ p: (i: Int, b: Bool)) {
|
||
print("\(p.i) -> \(p.b)")
|
||
}
|
||
|
||
|
||
|
||
myprint(tuple)
|
||
|
||
// Arrays are represented as an instantiation of Array.
|
||
// CHECK-DAG: ![[ARRAYTY:.*]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Array",
|
||
// CHECK-DAG: !DIGlobalVariable(name: "array_of_tuples",{{.*}} type: ![[ARRAYTY]]
|
||
var array_of_tuples : [(a : Int, b : Int)] = [(1,2)]
|
||
var twod : [[Int]] = [[1]]
|
||
|
||
func bar(_ x: [(a : Int, b : Int)], y: [[Int]]) {
|
||
}
|
||
|
||
|
||
// CHECK-DAG: !DIGlobalVariable(name: "P",{{.*}} type: ![[PTY:[0-9]+]]
|
||
// CHECK-DAG: ![[PTUP:.*]] = !DICompositeType(tag: DW_TAG_structure_type, name: "$sSd1x_Sd1ySd1ztD",
|
||
// CHECK-DAG: ![[PTY]] = !DIDerivedType(tag: DW_TAG_typedef, name: "$s{{9variables|4main}}5PointaD",{{.*}} baseType: ![[PTUP]]
|
||
typealias Point = (x: Double, y: Double, z: Double)
|
||
var P:Point = (1, 2, 3)
|
||
func myprint(_ p: (x: Double, y: Double, z: Double)) {
|
||
print("(\(p.x), \(p.y), \(p.z))")
|
||
}
|
||
myprint(P)
|
||
|
||
// CHECK-DAG: !DIGlobalVariable(name: "P2",{{.*}} type: ![[APTY:[0-9]+]]
|
||
// CHECK-DAG: ![[APTY]] = !DIDerivedType(tag: DW_TAG_typedef, name: "$s{{9variables|4main}}13AliasForPointaD",{{.*}} baseType: ![[PTY:[0-9]+]]
|
||
typealias AliasForPoint = Point
|
||
var P2:AliasForPoint = (4, 5, 6)
|
||
myprint(P2)
|
||
|
||
// Unions.
|
||
enum TriValue {
|
||
case false_
|
||
case true_
|
||
case top
|
||
}
|
||
// CHECK-DAG: !DIGlobalVariable(name: "unknown",{{.*}} type: ![[TRIVAL:[0-9]+]]
|
||
// CHECK-DAG: ![[TRIVAL]] = !DICompositeType({{.*}}name: "TriValue",
|
||
var unknown = TriValue.top
|
||
func myprint(_ value: TriValue) {
|
||
switch value {
|
||
case TriValue.false_: print("false")
|
||
case TriValue.true_: print("true")
|
||
case TriValue.top: print("⊤")
|
||
}
|
||
}
|
||
myprint(unknown)
|
||
|
||
// CHECK-DAG: !DIFile(filename: "{{.*}}variables.swift"
|