1e5ae16 | Greg Parker | 09 January 2016, 11:20:11 UTC | [test] Camouflage "XFAIL:" output checks so lit doesn't interpret them. | 09 January 2016, 11:27:56 UTC |
e5bd44a | Greg Parker | 09 January 2016, 11:05:33 UTC | [test] Fix two tests that were missing runAllTests(). | 09 January 2016, 11:27:56 UTC |
302632b | Dmitri Gribenko | 09 January 2016, 10:40:46 UTC | Merge pull request #919 from practicalswift/swiftc-28195-swift-constraints-constraintsystem-resolveoverload [swiftc] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(…) | 09 January 2016, 10:40:46 UTC |
b97cb48 | Jacob Bandes-Storch | 09 January 2016, 09:08:24 UTC | [AST] Fix inconsistent handling of generic args & params during BoundGenericType::getSubstitutions A decl’s full GenericSignature is set during validateGenericTypeSignature(). Then during ConstraintSystem::openTypes(), in ReplaceDependentTypes, the GenericArgs list is built from the generic signature (via getGenericParamTypes()) and passed into a new BoundGenericType. In BoundGenericType::getSubstitutions(), the GenericArgs are assumed to match getGenericParamsOfContext()->getParams(). However, in reality, the GenericArgs include all levels of generic args, whereas getGenericParamsOfContext() are the params of the innermost context only, so the params array is accessed past its end. This commit changes NominalTypeDecl::getGenericParamTypes() to return the innermost params, in order to match the output of BoundGenericType::getGenericArgs(). For clarity and to hopefully prevent future confusion, we also rename getGenericParamTypes() to getInnermostGenericParamTypes(). | 09 January 2016, 10:19:28 UTC |
7acc6ea | Greg Parker | 08 January 2016, 10:35:54 UTC | [stdlib] Fix a backwards NDEBUG check. This was inadvertently broken in d15c24e2. | 09 January 2016, 09:00:31 UTC |
8ee8adb | Greg Parker | 08 January 2016, 10:16:28 UTC | [stdlib] Move protocol conformance checking and caching into its own file. | 09 January 2016, 09:00:31 UTC |
675ca03 | Chris Lattner | 09 January 2016, 07:02:55 UTC | fix a compiler crasher that practicalswift recently found. | 09 January 2016, 07:03:18 UTC |
e21b71a | John McCall | 09 January 2016, 06:49:03 UTC | This test has been fixed. | 09 January 2016, 06:49:03 UTC |
ce2f5d6 | Jacob Bandes-Storch | 09 January 2016, 06:45:52 UTC | [Sema] Skip ErrorTypes in potential bindings during constraint solving | 09 January 2016, 06:45:52 UTC |
5fe5fa4 | John McCall | 09 January 2016, 06:07:08 UTC | Handle indirect conformance when devirtualizing existentials. While I'm in this code, generalize it to propagate the original type information in more cases, including when the original type is still dependent, and teach it to handle existential metatypes. rdar://24114020 | 09 January 2016, 06:33:45 UTC |
824c1c0 | Jacob Bandes-Storch | 09 January 2016, 06:08:11 UTC | [Sema] Fix crash in addCurriedSelfType isGenericContext() returning true doesn’t necessarily imply that getGenericSignature() returns non-null. getGenericSignatureOfContext() performs a traversal equivalent to isGenericContext(), so we use it instead. | 09 January 2016, 06:08:46 UTC |
451ce37 | JohnLui | 09 January 2016, 04:57:55 UTC | [stdlib] Change C-style for loop to Swift-style for-in loop | 09 January 2016, 04:57:55 UTC |
33ed1e0 | Slava Pestov | 09 January 2016, 03:51:55 UTC | IRGen: Add ResilienceExpansion parameter to TypeInfo::isKnownEmpty(), NFC In a few places, we have to be careful about the distinction between "empty in this resilience domain" versus "empty in all resilience domains". Make callers think about this by adding a parameter instead of relying on them to check isFixedSize() as necessary first. While making this change I noticed that the code for checking if types are empty when computing extra inhabitants of structs and enums might be slightly wrong in the face of resilience; I will revisit this later. | 09 January 2016, 03:56:01 UTC |
627c906 | Slava Pestov | 08 January 2016, 22:12:57 UTC | SILGen: Emit alloc_global when initializing global variables It is still not clear to me when we access global variables from other modules directly, versus using accessors; it seems to be controlled by the -sil-serialize-all flag, rather than any language feature. Until/if we add a @_fixed_layout equivalent for globals, I can't really test direct access of globals from other modules; when we figure out the story here I'll be able to add more tests and also tighten up some isResilient() checks in the global code, but what's in there now seems to work. | 09 January 2016, 03:56:00 UTC |
85a3e5c | Chris Lattner | 09 January 2016, 03:39:35 UTC | Merge pull request #921 from practicalswift/sil_witness_archetype_not_found Remove unused diagnostic: sil_witness_archetype_not_found | 09 January 2016, 03:39:35 UTC |
a7bbdd0 | Michael Gottesman | 09 January 2016, 03:26:00 UTC | Remove nullptr access. NewBr here is always nullptr. Found with clang static analyzer. | 09 January 2016, 03:28:43 UTC |
24bd1e3 | Michael Gottesman | 09 January 2016, 03:21:50 UTC | Remove variable that is written to but never read. Found by the clang static analyzer. | 09 January 2016, 03:28:43 UTC |
8344bec | Michael Gottesman | 09 January 2016, 03:19:46 UTC | Another potential nullptr access found by the clang static analyzer! | 09 January 2016, 03:28:43 UTC |
88929f8 | Michael Gottesman | 09 January 2016, 03:17:25 UTC | Fix implicit assumption that RetainArray is not nullptr. The code in question was the following: auto *RetainArray = dyn_cast_or_null<StrongRetainInst>(getInstBefore(Call)); if (!RetainArray && MayHaveBridgedObjectElementType) return false; auto *ReleaseArray = dyn_cast_or_null<StrongReleaseInst>(getInstAfter(Call)); if (!ReleaseArray && MayHaveBridgedObjectElementType) return false; if (ReleaseArray && ReleaseArray->getOperand() != RetainArray->getOperand()) return false; There is no check in the last if if RetainArray is not nullptr even though it is possible for it to be so. Found by clang static analyzer. | 09 January 2016, 03:28:42 UTC |
ca1fcd9 | Michael Gottesman | 09 January 2016, 03:14:03 UTC | Eliminate two never-read variables. Found by the clang static analyzer. | 09 January 2016, 03:28:42 UTC |
b45cec0 | Slava Pestov | 09 January 2016, 01:54:48 UTC | Runtime: Fix a warning | 09 January 2016, 03:21:23 UTC |
250b605 | Slava Pestov | 08 January 2016, 23:17:30 UTC | sil.vim: /* */ and // are valid comments in SIL, too | 09 January 2016, 01:39:23 UTC |
bf969a3 | Maxim Moiseev | 09 January 2016, 01:27:13 UTC | Merge pull request #894 from nonsensery/fix-inc-if-signed-logic [stdlib] Remove confusing `incIfSigned` control flow | 09 January 2016, 01:27:13 UTC |
4f09c4c | Nadav Rotem | 09 January 2016, 01:11:27 UTC | [Compression] Accelerate the decompression of mangled strings. This commit accelerates the phase in the decompression that encodes strings as long numbers. This is optimization is similar to the code that we have in the compressor where we perform as much arithmetic as possible on local 64-bit values before we push them to the APInt. This change accelerates the compression by about 2x. | 09 January 2016, 01:24:49 UTC |
1e80c4a | Nadav Rotem | 09 January 2016, 00:41:20 UTC | [Compression] Refactor the code that computes the number of characters that we fit in a 64bit number. We are going to use this code in one other place. | 09 January 2016, 01:24:49 UTC |
4b7acc7 | Nadav Rotem | 09 January 2016, 00:27:06 UTC | [Compression] Use 64bit variables for the bit manipulation of characters. We need all 64bit here, and size_t is 32bits on 32bit systems. | 09 January 2016, 01:24:49 UTC |
9cb4910 | Nadav Rotem | 09 January 2016, 00:07:45 UTC | Rewrite some assert(false)s as llvm_unreashable()s. | 09 January 2016, 01:24:48 UTC |
1ea38dd | Nadav Rotem | 06 January 2016, 22:46:29 UTC | De-indent the switch cases (that Jordan noticed) | 09 January 2016, 01:24:48 UTC |
7686e3b | practicalswift | 09 January 2016, 01:20:42 UTC | Remove unused diagnostic: sil_witness_archetype_not_found | 09 January 2016, 01:20:42 UTC |
42002a8 | practicalswift | 09 January 2016, 00:41:08 UTC | [swiftc] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) Stack trace: ``` swift: /path/to/swift/lib/Sema/ConstraintSystem.cpp:1399: void swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator *, swift::Type, swift::constraints::OverloadChoice): Assertion `!refType->hasTypeParameter() && "Cannot have a dependent type here"' failed. 8 swift 0x0000000000e8a1da swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) + 4058 9 swift 0x0000000000ee45c1 swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 897 10 swift 0x0000000000eeda26 swift::constraints::ConstraintSystem::solveSimplified(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 3142 11 swift 0x0000000000eeb4c9 swift::constraints::ConstraintSystem::solveRec(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 313 12 swift 0x0000000000eeb289 swift::constraints::ConstraintSystem::solve(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 73 13 swift 0x0000000000dfe2a6 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 614 14 swift 0x0000000000e04669 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569 15 swift 0x0000000000e057e0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112 16 swift 0x0000000000e05989 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265 18 swift 0x0000000000e1a904 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3876 19 swift 0x00000000010097dc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908 20 swift 0x00000000010081ed swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2269 21 swift 0x0000000000e40aeb swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187 24 swift 0x0000000000e6a36e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158 26 swift 0x0000000000e6b274 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164 27 swift 0x0000000000e6a27a swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 42 28 swift 0x0000000000e3ce7f swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 607 29 swift 0x0000000000e3e5ff swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143 30 swift 0x0000000000e3e9b4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116 31 swift 0x0000000000e19b42 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 354 35 swift 0x0000000000e1f2c6 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150 36 swift 0x0000000000deb4e2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474 37 swift 0x0000000000ca2572 swift::CompilerInstance::performSema() + 2946 39 swift 0x0000000000764552 frontend_main(llvm::ArrayRef<char const*>, char const*, void*) + 2482 40 swift 0x000000000075f131 main + 2705 Stack dump: 0. Program arguments: /path/to/build/Ninja-ReleaseAssert/swift-linux-x86_64/bin/swift -frontend -c -primary-file validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -module-name main -o /tmp/28195-swift-constraints-constraintsystem-resolveoverload-3b9977.o 1. While type-checking 'a' at validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:8:1 2. While resolving type h at [validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:11:16 - line:11:16] RangeText="h" 3. While type-checking expression at [validation-test/compiler_crashers/28195-swift-constraints-constraintsystem-resolveoverload.swift:10:7 - line:10:7] RangeText="b" <unknown>:0: error: unable to execute command: Aborted <unknown>:0: error: compile command failed due to signal (use -v to see invocation) ``` | 09 January 2016, 00:41:08 UTC |
73b63c8 | practicalswift | 09 January 2016, 00:38:27 UTC | Conform to standard spacing around operators, etc. | 09 January 2016, 00:39:22 UTC |
57d4f2d | practicalswift | 09 January 2016, 00:37:36 UTC | Remove redundant backslashes. | 09 January 2016, 00:39:22 UTC |
bf90a10 | practicalswift | 09 January 2016, 00:32:51 UTC | Avoid multiple imports on same line. | 09 January 2016, 00:39:22 UTC |
21c3d93 | practicalswift | 09 January 2016, 00:28:05 UTC | Remove unused imports. | 09 January 2016, 00:39:22 UTC |
3022401 | Jesse Rusak | 03 January 2016, 03:26:29 UTC | [SR-392][Runtime] Avoid overrelease when failing cast to protocol Fixes a regression introduced in e09027ca which causes us to release the wrong value when a cast fails. | 09 January 2016, 00:02:37 UTC |
e76dbd5 | nonsensery | 06 January 2016, 19:12:40 UTC | Remove confusing `incIfSigned` control flow This function was named exactly backwards (it incremented only when *not* signed). Investigating this naming error revealed that the call site was also unclear: `incIfSigned` was called from a block where `signed` was known to be False). So, I inlined the logic in the one place where it was actually used, and removed the function. | 08 January 2016, 23:35:15 UTC |
5112864 | John McCall | 08 January 2016, 23:22:54 UTC | Remove the archetype from Substitution. This eliminates some minor overheads, but mostly it eliminates a lot of conceptual complexity due to the overhead basically appearing outside of its context. | 08 January 2016, 23:27:13 UTC |
9c25ce1 | Erik Eckstein | 08 January 2016, 23:07:55 UTC | tests: add a few more import statements to workaround linker errors | 08 January 2016, 23:08:56 UTC |
626efa6 | Dmitri Gribenko | 08 January 2016, 22:37:34 UTC | Merge pull request #890 from practicalswift/unused-import [Python] Remove unused import (recently introduced PEP8 regression) | 08 January 2016, 22:37:34 UTC |
8991424 | Dmitri Gribenko | 08 January 2016, 22:36:34 UTC | Merge pull request #909 from dcci/environfbsd [Glibc] Define 'extern char **environment' correctly on FreeBSD. | 08 January 2016, 22:36:34 UTC |
408f7fa | Dmitri Gribenko | 08 January 2016, 22:35:37 UTC | Merge pull request #915 from practicalswift/swiftc-28194-swift-abstractstoragedecl-isgettermutating [swiftc] Add test case for crash triggered in swift::AbstractStorageDecl::isGetterMutating() | 08 January 2016, 22:35:37 UTC |
f9daf91 | Dmitri Gribenko | 08 January 2016, 22:35:18 UTC | Merge pull request #918 from dcci/library [CMake] Pass -lpthread on FreeBSD. | 08 January 2016, 22:35:18 UTC |
432018b | rjmccall | 08 January 2016, 22:30:46 UTC | Merge pull request #786 from ezephir/sr-247 [SIL]Record conformances when parsing init_existential_metatype | 08 January 2016, 22:30:46 UTC |
c3292db | Davide Italiano | 08 January 2016, 22:26:47 UTC | [CMake] Pass -lpthread on FreeBSD. At the time this code was originally written, Swift standard library hasn't been ported to FreeBSD, so we didn't need any additional library. This is not true anymore, so fix it. | 08 January 2016, 22:26:47 UTC |
4ef0ac1 | Jordan Rose | 08 January 2016, 22:25:47 UTC | [docs] Library Evolution: note that operator decls are not ABI. | 08 January 2016, 22:25:47 UTC |
51736f1 | Davide Italiano | 08 January 2016, 21:52:14 UTC | [Glibc] Define 'extern char **environment' correctly on FreeBSD. | 08 January 2016, 21:52:14 UTC |
9cf84c2 | Andrew Trick | 08 January 2016, 21:37:18 UTC | Fix a leak when interpolating optional references. The runtime support for casting optionals introduced in 35cb1afa resulted in a redundant retain. Fixes SR-459: Weakened optionals don't zero... rdar://24057977. | 08 January 2016, 21:51:02 UTC |
0948c71 | Xi Ge | 08 January 2016, 21:48:45 UTC | Merge pull request #917 from practicalswift/fix-ide-tests-again [tests] Fix IDE test suite: Update with expected exit code (0) | 08 January 2016, 21:48:45 UTC |
0f256b7 | practicalswift | 08 January 2016, 21:44:10 UTC | Fix IDE test suite: Update with expected exit code (0). | 08 January 2016, 21:44:10 UTC |
a48898e | Xi Ge | 08 January 2016, 21:33:15 UTC | Merge pull request #916 from practicalswift/mark-ide-crashers-as-fixed [tests] Mark three IDE crashers as fixed | 08 January 2016, 21:33:15 UTC |
db9fa33 | practicalswift | 08 January 2016, 21:30:26 UTC | Move to IDE/crashers_fixed/ Fixed thanks to @nkcsgexi:s commit f5f796b648ea01dda4b4d825f1aa486343c09310 :-) | 08 January 2016, 21:30:26 UTC |
7382b46 | practicalswift | 08 January 2016, 21:28:29 UTC | Update RUN line to reflect current non-crash status. | 08 January 2016, 21:28:29 UTC |
01a0444 | Slava Pestov | 08 January 2016, 21:24:03 UTC | SIL.rst: Document new alloc_global instruction | 08 January 2016, 21:24:03 UTC |
6a2fc3a | practicalswift | 08 January 2016, 21:06:25 UTC | [swiftc] Add test case for crash triggered in swift::AbstractStorageDecl::isGetterMutating() const Stack trace: ``` swift: /path/to/swift/lib/AST/Decl.cpp:2663: bool swift::AbstractStorageDecl::isGetterMutating() const: Assertion `getGetter()' failed. 8 swift 0x0000000000fcd29a swift::AbstractStorageDecl::isGetterMutating() const + 154 13 swift 0x0000000000f72a35 swift::Expr::walk(swift::ASTWalker&) + 69 14 swift 0x0000000000e91d46 swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 502 15 swift 0x0000000000e046db swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683 19 swift 0x0000000000eacf58 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 104 20 swift 0x0000000000eb180e swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046 21 swift 0x0000000000dfe2d5 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661 22 swift 0x0000000000e04669 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569 25 swift 0x0000000000e64a2a swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 362 26 swift 0x0000000000e6487e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46 27 swift 0x0000000000e65448 swift::TypeChecker::typeCheckAbstractFunctionBody(swift::AbstractFunctionDecl*) + 136 29 swift 0x0000000000deb60b swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1771 30 swift 0x0000000000ca2572 swift::CompilerInstance::performSema() + 2946 32 swift 0x0000000000764552 frontend_main(llvm::ArrayRef<char const*>, char const*, void*) + 2482 33 swift 0x000000000075f131 main + 2705 Stack dump: 0. Program arguments: /path/to/build/Ninja-ReleaseAssert/swift-linux-x86_64/bin/swift -frontend -c -primary-file validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -module-name main -o /tmp/28194-swift-abstractstoragedecl-isgettermutating-e7cbe7.o 1. While type-checking setter for a at validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:20 2. While type-checking expression at [validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:24 - line:9:25] RangeText="a{" 3. While type-checking expression at [validation-test/compiler_crashers/28194-swift-abstractstoragedecl-isgettermutating.swift:9:24 - line:9:24] RangeText="a" <unknown>:0: error: unable to execute command: Aborted <unknown>:0: error: compile command failed due to signal (use -v to see invocation) ``` | 08 January 2016, 21:06:25 UTC |
d4a19cb | Xi Ge | 08 January 2016, 21:02:14 UTC | [test] Add missing run lines. | 08 January 2016, 21:02:32 UTC |
62e3d58 | Mike Ferris | 08 January 2016, 21:02:06 UTC | Merge pull request #913 from kovpas/xctest_autoclosure_message [XCTest] Add @autoclosure to message parameter, so it's constructed only if it's needed | 08 January 2016, 21:02:06 UTC |
f5f796b | Xi Ge | 08 January 2016, 19:30:09 UTC | [CodeCompletion] Add code completion for generic parameters' inherited types. rdar://20699515 | 08 January 2016, 20:51:58 UTC |
a121db8 | Dmitri Gribenko | 08 January 2016, 20:39:17 UTC | Merge pull request #898 from practicalswift/swiftc-28193-swift-typechecker-lookupmembertype [swiftc] Add test case for crash triggered in swift::TypeChecker::lookupMemberType(…) | 08 January 2016, 20:39:17 UTC |
ea1d9df | Dmitri Gribenko | 08 January 2016, 20:37:14 UTC | Merge pull request #914 from ezephir/linux-test-runtime [StdLib] Re-add runAllTests call to Runtime tests | 08 January 2016, 20:37:14 UTC |
1b88571 | Dmitri Gribenko | 08 January 2016, 20:36:59 UTC | Merge pull request #912 from practicalswift/asan-output [crash triaging] Add AddressSanitizer (ASan) output to crash cases | 08 January 2016, 20:36:59 UTC |
55aa681 | Emanuel Zephir | 08 January 2016, 20:11:20 UTC | [StdLib] Re-add runAllTests call to Runtime tests | 08 January 2016, 20:12:26 UTC |
e0c6ac1 | Pavel Mazurin | 08 January 2016, 19:49:48 UTC | Add @autoclosure to message parameter, so it's constructed only if it's needed. | 08 January 2016, 19:49:48 UTC |
2da07db | Maxim Moiseev | 08 January 2016, 19:43:49 UTC | Merge pull request #905 from ezephir/linux-test-reflection-hashing [StdLib] Extend ReflectionHashing test to pass on Linux | 08 January 2016, 19:43:49 UTC |
0c808b0 | John McCall | 08 January 2016, 19:10:35 UTC | Add the AnyObject special case to the SIL parser's conformance logic. | 08 January 2016, 19:11:03 UTC |
4ea2138 | practicalswift | 08 January 2016, 18:55:13 UTC | Add AddressSanitizer (ASan) output to crash cases. | 08 January 2016, 19:04:15 UTC |
bac0bad | Chris Lattner | 08 January 2016, 18:53:58 UTC | Merge pull request #911 from practicalswift/typo-fixes-20160108 [gardening] Fix recently introduced typos | 08 January 2016, 18:53:58 UTC |
f76c616 | Sean Callanan | 07 January 2016, 01:06:00 UTC | [build system] Renamed the preset for LLDB_Embedded and added more comments. This should make it less confusing to figure out what this preset is for, and what configuration it requires. | 08 January 2016, 18:23:05 UTC |
5dce00a | Sean Callanan | 06 January 2016, 22:16:51 UTC | [Build system] Add presets for Swift inside the LLDB tree. This is useful when building LLDB configurations from Xcode that require the Swift sources to be inside the LLDB tree. While we still recommend checking out LLDB as a peer of llvm, clang, and swift, and using build-script to automate the overall build, this allows LLDB to be built from Xcode in the same way that it is in llvm.org. | 08 January 2016, 18:22:51 UTC |
881539e | Maxim Moiseev | 08 January 2016, 18:22:28 UTC | Merge pull request #830 from RLovelett/lit-python-3 [lit] The cmp() function should be treated as gone in Python 3 | 08 January 2016, 18:22:28 UTC |
c37697d | Mark Lacey | 08 January 2016, 09:26:03 UTC | Add the stand-alone generic specializer pass back to the pipeline. On the whole it looks like this currently benefits performance. As with the devirtualization pass, once the updated inliner is committed, the position of this pass in the pipeline will change. | 08 January 2016, 16:21:00 UTC |
b9db679 | Emanuel Zephir | 08 January 2016, 11:08:54 UTC | [IRGen] Convert existential metatypes test to SIL Convert a test in order to test the SIL parser and avoid the front end. The updated test verifies that conformances for the init_existential_metatype instruction are calculated correctly. The matching functionality was added in commit 2df68806. | 08 January 2016, 11:15:17 UTC |
f91dd6f | Greg Parker | 08 January 2016, 09:44:35 UTC | Merge pull request #857 from jder/fix-existential-cast-leak [SR-426][Runtime] Use _fail to ensure src is deallocated in cast | 08 January 2016, 09:44:35 UTC |
57abe19 | Mark Lacey | 08 January 2016, 06:45:33 UTC | Add the stand-alone devirtualizer pass back to the pipeline. It looks like this has minimal performance impact either way. Once the changes to make the inliner a function pass are committed, the position of this in the pipeline will change. | 08 January 2016, 08:40:03 UTC |
59db088 | Mark Lacey | 08 January 2016, 06:03:27 UTC | Silence unused variable warning in release build. | 08 January 2016, 08:40:02 UTC |
7cf882c | practicalswift | 08 January 2016, 08:35:35 UTC | Fix recently introduced typos. | 08 January 2016, 08:35:35 UTC |
8cc8c5c | Jacob Bandes-Storch | 08 January 2016, 06:25:11 UTC | [Sema] Improve handling of invalid protocols during conformance checking | 08 January 2016, 08:27:24 UTC |
2df6880 | John McCall | 08 January 2016, 08:08:34 UTC | Introduce ProtocolConformanceRef. NFC. The main idea here is that we really, really want to be able to recover the protocol requirement of a conformance reference even if it's abstract due to the conforming type being abstract (e.g. an archetype). I've made the conversion from ProtocolConformance* explicit to discourage casual contamination of the Ref with a null value. As part of this change, always make conformance arrays in Substitutions fully parallel to the requirements, as opposed to occasionally being empty when the conformances are abstract. As another part of this, I've tried to proactively fix prospective bugs with partially-concrete conformances, which I believe can happen with concretely-bound archetypes. In addition to just giving us stronger invariants, this is progress towards the removal of the archetype from Substitution. | 08 January 2016, 08:19:59 UTC |
3771e9d | Slava Pestov | 08 January 2016, 07:33:47 UTC | IRGen: Fix global_resilience.sil test for 32-bit (sigh...) | 08 January 2016, 07:34:23 UTC |
8bbc7fd | Greg Parker | 08 January 2016, 07:30:01 UTC | Merge pull request #852 from ezephir/linux-test-set-traps [StdLib] Refactor ObjC dependencies in SetTraps test | 08 January 2016, 07:30:01 UTC |
8b9d017 | Greg Parker | 08 January 2016, 07:29:09 UTC | Merge pull request #855 from ezephir/linux-test-array-traps [StdLib] Refactor ObjC dependencies in ArrayTraps test | 08 January 2016, 07:29:09 UTC |
6e0d832 | Greg Parker | 08 January 2016, 07:28:14 UTC | Merge pull request #862 from ezephir/linux-test-runtime [StdLib] Refactor ObjC dependencies in Runtime tests | 08 January 2016, 07:28:14 UTC |
a0872d8 | Chris Lattner | 08 January 2016, 07:21:54 UTC | Merge pull request #897 from practicalswift/sil-024-swift-expr-walk [SIL] Add test case for crash triggered in swift::Expr::walk(…): UNREACHABLE executed at /path/to/swift/lib/Sema/CSApply.cpp:4913 | 08 January 2016, 07:21:54 UTC |
4ac0faf | Greg Parker | 08 January 2016, 07:16:08 UTC | [stdlib/prototype] Disable test Integers.swift.gyb on all but OS X. The test is running forever on iOS arm64. | 08 January 2016, 07:18:23 UTC |
9bf6ef7 | Slava Pestov | 07 January 2016, 22:30:03 UTC | IRGen: Lowering of alloc_global and global_addr for non-fixed-size types Allocate and project the buffer, respectively, adding the necessary indirection required to handle the size not being known until runtime. For now we don't emit alloc_global instructions anywhere; an upcoming change will add that at the SIL level. Also I suspect debug info needs some work to handle the extra indirection, I'll look into this soon. | 08 January 2016, 07:00:43 UTC |
7b17deb | Michael Gottesman | 08 January 2016, 04:45:43 UTC | Revert "[loop-region] Add in an assert that we should always have a block result for getRegionForNonLocalSuccessors. NFC." This reverts commit 81e7bdfe1b7e3158d4d98247b5a70bbf06b146f2. This is not true in non-loop canonicalized SIL. It is true in loop-canonicalized SIL though. So I need to fix the test to avoid the assert. | 08 January 2016, 04:46:12 UTC |
81e7bdf | Michael Gottesman | 26 December 2015, 19:20:09 UTC | [loop-region] Add in an assert that we should always have a block result for getRegionForNonLocalSuccessors. NFC. | 08 January 2016, 04:32:05 UTC |
385c4a5 | Michael Gottesman | 08 January 2016, 03:14:45 UTC | [passmanager] When visiting functions in runFunctionPasses, make sure to check continueTransforming. While debugging some code I noticed that we were not checking continueTransforming everywhere that we needed to. This commit adds the missing check. | 08 January 2016, 03:22:47 UTC |
25a9990 | Michael Gottesman | 08 January 2016, 03:13:11 UTC | [arc-loop-hoisting] Add motiviation/proofs of correctness of ARCLoopHoisting to ARCOptimization.rst. | 08 January 2016, 03:21:19 UTC |
8c317db | Greg Parker | 08 January 2016, 02:01:55 UTC | Merge pull request #908 from dcci/casesensitive [CMake] Spell freebsd correctly. | 08 January 2016, 02:01:55 UTC |
0001c9e | Davide Italiano | 08 January 2016, 02:00:25 UTC | [CMake] Spell freebsd correctly. Case sensitiveness matters in this case. | 08 January 2016, 02:00:25 UTC |
fcb26ae | Jordan Rose | 08 January 2016, 01:26:24 UTC | [docs] Address some of Slava's feedback on LibraryEvolution.rst. (but not all of it) - Add a note about throwing functions becoming non-throwing. - Clarify that let-properties may not be turned into read-only vars. - Permit new static stored properties on fixed_layout structs. - Drop note about "fixed_layout-since-first-available". - Add note disparaging the utility of @fixed. - Add note about adding defaulted associated types to protcols. - Clarify which members can and cannot be added to a class. - Add some class-specific permitted changes. - Note that adding/removing 'dynamic' is /not/ permitted. - Split up protocol and non-protocol extensions. - Explain why the 'no_payload' performance assertion isn't needed. Saving the rest of the feedback for the next major content addition. | 08 January 2016, 01:26:34 UTC |
d1f124e | Ryan Lovelett | 31 December 2015, 19:40:07 UTC | [lit] The cmp() function should be treated as gone in Python 3 As noted in the "What's New in Python 3.0" [1] documentation the Python 2 `cmp` function no longer exists in Python 3. The document goes on to say that if you really need the `cmp` function you should define your own. Since the function appears to only be used once in the script I defined a local function rather than shadow the Python 2 function. The local function, `_cmp`, implements the recommended expression from the "What's New in Python 3.0" document. The behavior is now defined on both Python 2 and 3. [1] https://docs.python.org/3.0/whatsnew/3.0.html#ordering-comparisons | 08 January 2016, 01:14:06 UTC |
d30df98 | Mike Ferris | 08 January 2016, 00:03:10 UTC | Merge pull request #888 from briancroom/use_StaticString Use StaticString for `file` parameters in the XCTest overlay | 08 January 2016, 00:03:10 UTC |
1eb1a85 | Slava Pestov | 07 January 2016, 22:15:42 UTC | IRGen: StorageType doesn't need to be public, we already have an accessor for it, NFC | 07 January 2016, 22:33:15 UTC |
941e57c | Slava Pestov | 07 January 2016, 22:32:46 UTC | SILGen: Revert accidental edit from alloc_global patch Today is a really bad day as far as me not breaking the build goes. Sorry folks! | 07 January 2016, 22:32:46 UTC |
046606a | Slava Pestov | 07 January 2016, 18:28:49 UTC | SIL: Add a new alloc_global instruction If a global variable in a module we are compiling has a type containing a resilient value type from a different module, we don't know the size at compile time, so we cannot allocate storage for the global statically. Instead, we will use a buffer, just like alloc_stack does for archetypes and resilient value types. This adds a new SIL instruction but does not yet make use of it. | 07 January 2016, 21:40:48 UTC |
66e6b2a | Dmitri Gribenko | 07 January 2016, 21:31:59 UTC | Merge pull request #902 from dcci/unittest [stdlib] Port StdlibUnittest to FreeBSD. | 07 January 2016, 21:31:59 UTC |
2d8a9b0 | Jordan Rose | 07 January 2016, 21:26:33 UTC | Merge pull request #903 from zachpanz88/patch-1 Fix exit bugs of some python scripts | 07 January 2016, 21:26:33 UTC |
3e002b7 | Michael Gottesman | 07 January 2016, 03:03:40 UTC | Use IsTriviallyCopyable instead of std::is_trivially_copyable to work around issues on Linux. | 07 January 2016, 21:16:59 UTC |
3b2b431 | Michael Gottesman | 07 January 2016, 04:33:12 UTC | [ptrintenum] Use PointerLikeTypeTraits to convert PointerTy <-> (void *). This will enable PointerIntEnum to be used with PointerLikeTypes that are not pointers (for instance SILValue). | 07 January 2016, 21:14:34 UTC |