// RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil %s -emit-ir -parse-stdlib -module-name Swift | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize

public protocol Error {}
// CHECK-LABEL: @"$Ss5ErrorMp" = {{(protected )?}}constant %swift.protocol {
// --                 0x0000_0047: special protocol 01, non-class, witness, swift
// CHECK:         i32 71,
// CHECK:         i32 0,
// CHECK:         i32 0 }

public protocol PlainOldProtocol {}
// CHECK-LABEL: @"$Ss16PlainOldProtocolMp" = {{(protected )?}}constant %swift.protocol {
// --                 0x0000_0007: no special protocol, non-class, witness, swift
// CHECK:         i32 7,
// CHECK:         i32 0,
// CHECK:         i32 0 }