// RUN: for x in %platform-sdk-overlay-dir/*.swiftmodule; do [[ $(basename "$x") = Swift.swiftmodule ]] && continue; llvm-bcanalyzer $x | %FileCheck %s; %target-sil-opt -sdk %sdk -enable-sil-verify-all $x > /dev/null; done | |
// CHECK-NOT: Unknown | |
// REQUIRES: rdar31683781 | |
// REQUIRES: long_test | |
// REQUIRES: nonexecutable_test |