[swift-dev] Emitted SIL does not parse

[Ben Ng]

I see that SR-3774 already exists, but that ticket was about declarations not appearing in the emitted SIL.

I'm able to get declarations to appear with the -frontend flag, but the emitted SIL still doesn't parse on master:

> $  echo 'print("moof")' > test.swift
> $  swiftc -frontend -emit-sil test.swift > test.sil
> $  swiftc -parse-sil test.sil
>
> Assertion failed: ((Qualifier != StoreOwnershipQualifier::Unqualified) || F.hasUnqualifiedOwnership() && "Unqualified inst in qualified function"), function createStore, file /swift-dev/swift/include/swift/SIL/SILBuilder.h, line 503.
> 0  swift                    0x000000011298d4d8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
> 1  swift                    0x000000011298db86 SignalHandler(int) + 454
> 2  libsystem_platform.dylib 0x00007fffa48ceb3a _sigtramp + 26
> 3  libsystem_platform.dylib 000000000000000000 _sigtramp + 1534268640
> 4  libsystem_c.dylib        0x00007fffa4753420 abort + 129
> 5  libsystem_c.dylib        0x00007fffa471a893 basename_r + 0
> 6  swift                    0x000000011017b2fc swift::SILBuilder::createStore(swift::SILLocation, swift::SILValue, swift::SILValue, swift::StoreOwnershipQualifier) + 396
> 7  swift                    0x000000011038ddec (anonymous namespace)::SILParser::parseSILInstruction(swift::SILBasicBlock*, swift::SILBuilder&) + 70412
> 8  swift                    0x0000000110373217 swift::Parser::parseDeclSIL() + 5111
> 9  swift                    0x000000011033112d swift::Parser::parseTopLevel() + 269
> 10 swift                    0x0000000110367edb swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 283
> 11 swift                    0x000000011011da0c swift::CompilerInstance::performSema() + 3580
> 12 swift                    0x000000010f676f6d swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 4621
> 13 swift                    0x000000010f6338f0 main + 3312
> 14 libdyld.dylib            0x00007fffa46bf235 start + 1

Is this a bug? Am I using the wrong combination of flags?

Ben Ng
https://benng.me
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170403/e55e8cae/attachment.html>