mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
17fc00f8a7
This attribute was introduced in 7eca38ce76d5d1915f4ab7e665964062c0b37697 (llvm-project). Match it using a wildcard regex, since it is not relevant to these tests. This is intended to reduce future conflicts with rebranch.
43 lines
2.1 KiB
Swift
43 lines
2.1 KiB
Swift
// RUN: %target-swift-frontend %s -emit-sil -Xllvm -sil-print-debuginfo -Xllvm -sil-print-debuginfo-verbose -g -o - | %FileCheck %s --check-prefix=SILCHECK
|
|
// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s --check-prefix=IRCHECK
|
|
func markUsed<T>(_ t: T) {}
|
|
|
|
func foo(_ x: inout Int64) {
|
|
|
|
// Make sure that the begin_access, load, and end_access instructions
|
|
// are not marked as isImplicit: true. They should not be implicit
|
|
// because they are generated from a member_ref_expr which is the
|
|
// lvalue SubExpr of a LoadExpr. LoadExpr's are always implicit, but
|
|
// that doesn't necessarily mean their SubExprs are implicit as well.
|
|
// SILCHECK: sil hidden @$s4main3fooyys5Int64VzF
|
|
// SILCHECK: debug_value %0, var, name "x", argno 1, expr op_deref, loc {{.*}} isImplicit: false, isAutoGenerated: false, isHiddenFromDebugInfo: false, scope 7 // id: %1
|
|
// SILCHECK: begin_access [read] [static] %0, loc {{.*}} isImplicit: false, isAutoGenerated: false, isHiddenFromDebugInfo: false
|
|
// SILCHECK-NEXT: load %2, loc {{.*}} isImplicit: false, isAutoGenerated: false, isHiddenFromDebugInfo: false
|
|
// SILCHECK-NEXT: end_access %2, loc * {{.*}} isImplicit: false, isAutoGenerated: true, isHiddenFromDebugInfo: true
|
|
|
|
// Make sure the shadow copy is being made in the prologue or (at
|
|
// line 0), but the code to load the value from the inout storage is
|
|
// not.
|
|
// IRCHECK: define hidden swiftcc void @"$s4main3fooyys5Int64VzF"
|
|
// IRCHECK: %[[X:.*]] = alloca ptr, align {{(4|8)}}
|
|
// IRCHECK-NEXT: #dbg_declare
|
|
// IRCHECK-NEXT: call void @llvm.memset.{{.*}}(ptr align {{(4|8)}} %[[X]], i8 0
|
|
// IRCHECK: store ptr %0, ptr %[[X]], align {{(4|8)}}
|
|
// IRCHECK-SAME: !dbg ![[LOC0:.*]]
|
|
// IRCHECK-NEXT: %[[VALUE:.*]] = getelementptr inbounds{{.*}} %Ts5Int64V, ptr %0, i32 0, i32 0,
|
|
// IRCHECK-SAME: !dbg ![[LOCLOAD:.*]]
|
|
// IRCHECK-NEXT: load i64, ptr %[[VALUE]], align {{(4|8)}}
|
|
// IRCHECK-SAME: !dbg ![[LOCLOAD]]
|
|
// IRCHECK: ![[LOC0]] = !DILocation(line: 0,
|
|
// IRCHECK: !DILocation(line: [[@LINE+1]],
|
|
x = x + 2
|
|
}
|
|
|
|
func main() {
|
|
var x : Int64 = 1
|
|
foo(&x)
|
|
markUsed("break here to see \(x)")
|
|
}
|
|
|
|
main()
|