// RUN: %target-swift-frontend %s -emit-ir -g -o %t.ll
// RUN: %FileCheck %s < %t.ll

// FIXME(TODO: JIRA): As i386 string is now big enough to be a by-address type,
// and due to the peculiarities of debug info ordering and limitations of CHECK-
// DAG and Posix regexes (without going crazy), temporarily disable for i386.
//
// REQUIRES: CPU=x86_64

class UIWindow {}
class AppDelegate {
  var window: UIWindow?
  // CHECK: define hidden {{.*}}i1 {{.*}}11AppDelegateC1f
  func f() -> Bool {
    // Test for -O0 shadow copies.
    // CHECK: #dbg_declare({{.*}}, ![[SELF:.*]], !DIExpression()
    // CHECK-NOT: #dbg_value
    // CHECK: #dbg_declare({{.*}}, ![[A:.*]], !DIExpression()
    let a = "let"
    // CHECK-NOT: #dbg_value
    // CHECK: #dbg_declare({{.*}}, ![[B:.*]], !DIExpression()
    // CHECK-NOT: #dbg_value
    // CHECK: ret
    // CHECK-DAG: ![[SELF]] = !DILocalVariable(name: "self", arg: 1{{.*}} line: [[@LINE-10]],
    // CHECK-DAG: ![[A]] = !DILocalVariable(name: "a",{{.*}} line: [[@LINE-6]],
    // CHECK-DAG: ![[B]] = !DILocalVariable(name: "b",{{.*}} line: [[@LINE+1]],
    var b = "var"
    self.window = UIWindow()
    return true
  }
}

// End-to-end test:
// RUN: llc %t.ll -filetype=obj -o %t.o
// RUN: %llvm-dwarfdump %t.o | %FileCheck %s --check-prefix DWARF-CHECK
// DWARF-CHECK: DW_AT_name ("f")
//
// DWARF-CHECK: DW_TAG_formal_parameter
// DWARF-CHECK:  DW_AT_name ("self")
//
// DWARF-CHECK:  DW_TAG_variable
// DWARF-CHECK:  DW_AT_name ("a")
//
// DWARF-CHECK:  DW_TAG_variable
// DWARF-CHECK:  DW_AT_name ("b")