| // RUN: %target-swift-frontend %s -g -emit-ir -o - | FileCheck %s |
| |
| class X { |
| init (i : Int64) { x = i } |
| var x : Int64 |
| } |
| |
| // CHECK: define {{.*}}ifelseexpr |
| public func ifelseexpr() -> Int64 { |
| var x = X(i:0) |
| // CHECK: [[META:%.*]] = call %swift.type* @_TMaC6return1X() |
| // CHECK: [[X:%.*]] = call %C6return1X* @_TFC6return1XCfT1iVs5Int64_S0_( |
| // CHECK-SAME: i64 0, %swift.type* [[META]]) |
| // CHECK: @rt_swift_release to void (%C6return1X*)*)(%C6return1X* [[X]]) |
| if true { |
| x.x += 1 |
| } else { |
| x.x -= 1 |
| } |
| // CHECK: @rt_swift_release to void (%C6return1X*)*)(%C6return1X* [[X]]) |
| // CHECK: @rt_swift_release to void (%C6return1X*)*)(%C6return1X* [[X]]) |
| // CHECK-SAME: , !dbg ![[RELEASE:.*]] |
| |
| // The ret instruction should be in the same scope as the return expression. |
| // CHECK: ret{{.*}}, !dbg ![[RELEASE]] |
| return x.x // CHECK: ![[RELEASE]] = !DILocation(line: [[@LINE]], column: 3 |
| } |
| |
