Max Moiseev
02006f20bc
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-03-09 16:05:03 -08:00
Joe Groff
77dd9b2992
Split exact-subclass and bindable-to-subclass queries.
...
In many places, we're interested in whether a type with archetypes *might be* a superclass of another type with the right bindings, particularly in the optimizer. Provide a separate Type::isBindableToSuperclassOf method that performs this check. Use it in the devirtualizer to fix rdar://problem/24993618. Using it might unblock other places where the optimizer is conservative, but we can fix those separately.
2016-03-09 11:14:45 -08:00
Max Moiseev
7fe6916bf6
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-03-07 12:10:47 -08:00
Chris Lattner
cef7455aa9
[ASTVerifier] Strength reduce some code, since we know we have an extension (NFC).
2016-03-06 21:18:42 -08:00
Chris Lattner
868a795566
Introduce a new class between TypeDecl and NominalTypeDecl named GenericTypeDecl.
...
This factors the DeclContext and generic signature behavior out of NTD, allowing
it to be reused in the future. NFC.
2016-03-04 23:09:15 -08:00
Max Moiseev
cf4bafe9e3
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-03-03 13:22:03 -08:00
Doug Gregor
659811e261
[AST Verifier] Don't deserialize protocol conformances just to verify them.
...
Fixes rdar://problem/24922889.
2016-03-02 09:49:24 -08:00
Dmitri Gribenko
dd75aed67a
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-02-17 14:40:05 -08:00
Daniel Duan
efe230774b
[AST] rename some isXXX methods to getAsXXX
...
There's a group of methods in `DeclContext` with names that start with *is*,
such as `isClassOrClassExtensionContext()`. These names suggests a boolean
return value, while the methods actually return a type declaration. This
patch replaces the *is* prefix with *getAs* to better reflect their interface.
2016-02-11 16:23:40 -08:00
Max Moiseev
61c837209b
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-02-04 16:13:39 -08:00
Denis Vnukov
9dd8bede8a
Fixed source range for ParamDecl with implicit type location
2016-01-27 13:43:38 -08:00
practicalswift
33312eac6b
[gardening] Remove unreachable/unused/redundant code
...
* Make parameter naming in forward declaration match definition
* Remove unused argument to function persistAsync(…)
* Remove unused enum ShouldHalt
* Remove unused enum class IsProtocol
* Remove unused function dumpTypeSubstitutionMap()
* Remove unused function template getFirstPairElt(…)
* Remove unused method addConstantWordInWords(…)
* Remove unused method asExistentialTI()
* Remove unused method currentTrackedState()
* Remove unused method getNumBodyParameters()
* Remove unused method getSuccIndex()
* Remove unused method getTypeOfDeclReference(…)
* Remove unused method hasStructWithAtMostOneNonTrivialField(…)
* Remove unused method initForDirectValues()
* Remove unused method nextIfNot(…)
* Remove unused method overwriteLoweredValue(…)
* Remove unused method removeColumn(…)
* Remove unused methods HasSingleDecl() and GetFirstDecl()
* Remove unused methods overwriteLoweredExplosion(…) and setLoweredSingleValue(…)
* Remove unused methods requireRetainablePointerValue(…), getMethodSelfInstanceType(…) and isSelfArchetype(…)
* Remove unused methods setAsEmptyDirect(), setAsSingleDirectUnmanagedFragileValue(…), setAsIndirectAddress(…) and getDirectValues()
* Remove unused struct CachedMemberInfo
* Remove unused struct CallEdit
* Remove unused struct ErrorImportInfo
* Remove unused synonym ConformancePair
* Remove unused variable SemaInfo
* Remove unused variable localDeclNameNode
* Remove unused variables kindToken and kindLoc
2016-01-22 09:43:24 +01:00
Chris Lattner
8954f3c14d
Rename the two Verifier.cpp files to ASTVerifier.cpp and SIL/SILVerifier.cpp
...
This makes open quickly and lldb file/line breakpoints happier. NFC.
2016-01-21 19:45:30 -08:00
