// RUN: %target-swift-frontend  -parse-as-library -primary-file %s -O -sil-verify-all -module-name=test -Xllvm -sil-print-types -emit-sil | grep -v debug_value | %FileCheck %s
// RUN: %target-swift-frontend  -parse-as-library -primary-file %s -Osize -sil-verify-all -module-name=test -Xllvm -sil-print-types -emit-sil | grep -v debug_value | %FileCheck %s
// REQUIRES: swift_stdlib_no_asserts,optimized_stdlib
// REQUIRES: swift_in_compiler

public struct TestOptions: OptionSet {
    public let rawValue: Int
    public init(rawValue: Int) { self.rawValue = rawValue }

    static let first    = TestOptions(rawValue: 1 << 0)
    static let second  = TestOptions(rawValue: 1 << 1)
    static let third   = TestOptions(rawValue: 1 << 2)
    static let fourth   = TestOptions(rawValue: 1 << 3)
}

// CHECK-LABEL: sil_global hidden [let] @$s4test17globalTestOptionsAA0cD0Vvp : $TestOptions = {
// CHECK:   [[CONST:%.*]] = integer_literal $Builtin.Int{{32|64}}, 15
// CHECK:   [[INT:%.*]] = struct $Int (%0 : $Builtin.Int{{32|64}})
// CHECK:   %initval = struct $TestOptions ([[INT]] : $Int)
let globalTestOptions: TestOptions = [.first, .second, .third, .fourth]

// CHECK-LABEL: sil @$s4test17returnTestOptionsAA0cD0VyF
// CHECK:      bb0:
// CHECK-NEXT:   builtin
// CHECK-NEXT:   integer_literal {{.*}}, 15
// CHECK-NEXT:   struct $Int
// CHECK:        struct $TestOptions
// CHECK-NEXT:   return
// CHECK:      } // end sil function '$s4test17returnTestOptionsAA0cD0VyF'
public func returnTestOptions() -> TestOptions {
    return [.first, .second, .third, .fourth]
}

// CHECK-LABEL: sil @$s4test22returnEmptyTestOptionsAA0dE0VyF
// CHECK:      bb0:
// CHECK-NEXT:   integer_literal {{.*}}, 0
// CHECK-NEXT:   struct $Int
// CHECK:        builtin "onFastPath"() : $()
// CHECK-NEXT:   struct $TestOptions
// CHECK-NEXT:   return
// CHECK:      } // end sil function '$s4test22returnEmptyTestOptionsAA0dE0VyF'
public func returnEmptyTestOptions() -> TestOptions {
    return []
}