
// RUN: %empty-directory(%t)
//
// Compile the external swift module.
// RUN: %target-swift-frontend -g -emit-module -enable-resilience \
// RUN:   -emit-module-path=%t/resilient_struct.swiftmodule \
// RUN:   -module-name=resilient_struct %S/../Inputs/resilient_struct.swift
//
// RUN: %target-swift-frontend -g -I %t -emit-ir -enable-resilience %s  -o - \
// RUN:  | %FileCheck %s
//
// RUN: %target-swift-frontend -g -I %t -emit-ir -enable-resilience %s -o - \
// RUN:    -enable-resilience-bypass | %FileCheck %s --check-prefix=CHECK-LLDB
import resilient_struct

let fixed = Point(x: 1, y: 2)
let non_fixed = Size(w: 1, h: 2)
let int = ResilientInt(i: 1)
// CHECK: @"$S10resilience5fixed16resilient_struct5PointVvp" =
// CHECK-SAME: !dbg ![[FIXED:[0-9]+]]
// CHECK: @"$S10resilience9non_fixed16resilient_struct4SizeVvp" =
// CHECK-SAME: !dbg ![[NON_FIXED:[0-9]+]]
// CHECK: @"$S10resilience3int16resilient_struct12ResilientIntVvp" =
// CHECK-SAME: !dbg ![[INT:[0-9]+]]
// CHECK-LABEL: define{{.*}}main

// CHECK-LABEL: define{{.*}} swiftcc void @"$S10resilience9takesSizeyy16resilient_struct0C0VF"(%swift.opaque* noalias nocapture)
// CHECK-LLDB-LABEL: define{{.*}} swiftcc void @"$S10resilience9takesSizeyy16resilient_struct0C0VF"(%T16resilient_struct4SizeV* noalias nocapture dereferenceable({{8|16}}))
public func takesSize(_ s: Size) {}


// CHECK-LABEL: define{{.*}} swiftcc void @"$S10resilience1fyyF"()
// CHECK-LLDB-LABEL: define{{.*}} swiftcc void @"$S10resilience1fyyF"()
func f() {
  let s1 = Size(w: 1, h: 2)
  takesSize(s1)
  // CHECK: %[[ADDR:.*]] = alloca i8*
  // CHECK: call void @llvm.dbg.declare(metadata i8** %[[ADDR]],
  // CHECK-SAME:                        metadata ![[V1:[0-9]+]],
  // CHECK-SAME:                        metadata !DIExpression(DW_OP_deref))
  // CHECK: %[[S1:.*]] = alloca i8,
  // CHECK: store i8* %[[S1]], i8** %[[ADDR]]

  // CHECK-LLDB: %[[ADDR:.*]] = alloca %T16resilient_struct4SizeV
  // CHECK-LLDB: call void @llvm.dbg.declare(metadata %T16resilient_struct4SizeV* %[[ADDR]],
  // CHECK-LLDB-SAME:                        metadata ![[V1:[0-9]+]],
  // CHECK-LLDB-SAME:                        metadata !DIExpression())
}
f()

// Note that these DW_OP_deref are not necessarily correct, but it's the best
// approxmiation we have until LLDB can query the runtime for whether a relient
// type's storage is inline or not.
// CHECK: ![[FIXED]] = !DIGlobalVariableExpression(
// CHECK-SAME:            expr: !DIExpression())
// CHECK: ![[NON_FIXED]] = !DIGlobalVariableExpression(
// CHECK-SAME:            expr: !DIExpression(DW_OP_deref))
// CHECK: ![[TY:[0-9]+]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Size",
// CHECK: ![[INT]] = !DIGlobalVariableExpression(
// CHECK-SAME:            expr: !DIExpression(DW_OP_deref))

// CHECK: ![[V1]] = !DILocalVariable(name: "s1", {{.*}}type: ![[TY]])

// CHECK-LLDB: ![[TY:[0-9]+]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Size",
// CHECK-LLDB: ![[V1]] = !DILocalVariable(name: "s1", {{.*}}type: ![[TY]])