| // RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s |
| // RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s --check-prefix=CHECK2 |
| |
| // UNSUPPORTED: OS=watchos |
| |
| func use<T>(_ t: T) {} |
| |
| public func f(_ i : Int?) |
| { |
| // CHECK: define {{.*}}@_T04main1fySiSgF |
| // The shadow copy store should not have a location. |
| // Note that the store must be in the same scope or else it might defeat |
| // livedebugvalues. |
| // CHECK1: @llvm.dbg.declare(metadata {{(i32|i64)}}* %val.addr, {{.*}}, !dbg ![[DBG0:.*]] |
| // CHECK1: %[[PHI:.*]] = phi |
| // CHECK1: store {{(i32|i64)}} %[[PHI]], {{(i32|i64)}}* %val.addr, align {{(4|8)}}, !dbg ![[DBG1:.*]] |
| // CHECK1: ![[F:.*]] = distinct !DISubprogram(name: "f", |
| // CHECK1: ![[BLK:.*]] = distinct !DILexicalBlock(scope: ![[F]], |
| // CHECK1: ![[DBG0]] = !DILocation(line: [[@LINE+2]], |
| // CHECK1: ![[DBG1]] = !DILocation(line: 0, scope: ![[BLK]]) |
| guard let val = i else { return } |
| use(val) |
| } |
| |
| // With large type optimizations the string is passed indirectly on i386 so |
| // there is no shadow copy happening. |
| // UNSUPPORTED: CPU=i386 |
| |
| public func g(_ s : String?) |
| { |
| // CHECK2: define {{.*}}@_T04main1gySSSgF |
| // The shadow copy store should not have a location. |
| // CHECK2: getelementptr inbounds {{.*}} %s.debug, {{.*}}, !dbg ![[DBG0:.*]] |
| // CHECK2: ![[G:.*]] = distinct !DISubprogram(name: "g" |
| // CHECK2: ![[DBG0]] = !DILocation(line: 0, scope: ![[G]]) |
| guard let val = s else { return } |
| use(val) |
| } |
