Commit Graph

116 Commits

Author SHA1 Message Date
Slava Pestov
65fe44e567 Sema: Record Hashable conformance as used when emitting AnyHashableErasureExpr
Fixes <rdar://problem/27895165>.
2016-08-18 18:44:24 -07:00
Joe Groff
484429daa0 SILGen: Bridge id to Any using a stdlib helper.
Bitcast the AnyObject result to AnyObject?, then call our new helper function, so that we can handle nils without choking. Fixes rdar://problem/27874026.
2016-08-18 15:09:55 -07:00
Doug Gregor
f8e439c142 [SILGen] Correctly manage boxed opened existentials when bridging to Any.
Fixes SR-2380 / rdar://problem/27911827.
2016-08-18 13:45:14 -07:00
Joe Groff
fc544d071a Merge pull request #4233 from jckarter/objc-generic-extension-errors
(WIP) Relax overly conservative "uses generic params" errors in ObjC generic extensions.
2016-08-11 14:04:09 -07:00
Joe Groff
d25b6a5c28 Sema/SILGen: Do erasure from pseudogeneric T to Any without requiring runtime metadata.
Naively wrapping a T in an Any would require metadata for T, but we can go to AnyObject first and put the AnyObject in the Any without T's metadata. This fixes a regression in ObjC generic extension methods when they try to pass their generic parameters to id parameters as Any. rdar://problem/27526877
2016-08-11 11:29:58 -07:00
Dmitri Gribenko
d175b3b66d Migrate FileCheck to %FileCheck in tests 2016-08-10 23:52:02 -07:00
Jordan Rose
b5aca663bc [ClangImporter] Remove importer-based NS stripping. (#3880)
* [ClangImporter] Remove importer-based NS stripping.

As Tony puts it, in the end we wound up with more Foundation
declarations imported as members or keeping "NS" than those that
dropped it, and any further decisions will be made on a case-by-case
basis. Move all of the existing cases of prefix-stripping into
Foundation's API notes and drop the logic from the compiler.

Tested by dumping the generated interface for Foundation and its
submodules for both macOS and the iOS simulator, and comparing the
results. A few cases did slip through here because of the interaction
between "SwiftName" and "Availability: nonswift".

The next commit will re-add "NS" to some stragglers that we missed.

rdar://problem/26880017

* APINotes: Add "NS" back to a few types.

NSKeyedUnarchiverDelegate
NSKeyedArchiverDelegate
NSTextCheckingTypes
NSBinarySearchingOptions
NSEnumerationOptions
NSSortOptions

More rdar://problem/26880017

* Remove now-redundant SwiftNames from API notes.

No change observed in the generated interface of Foundation and its
submodules.

Finishes rdar://problem/26880017.
2016-08-01 20:54:26 -07:00
Joe Groff
ee9675dc33 SILGen: Handle indirect result correctly in throwing foreign-to-native thunks. 2016-07-25 06:40:34 -07:00
Joe Groff
0f47ed8519 Update ClangModules tests for id-as-Any. 2016-07-25 06:40:34 -07:00
Joe Groff
34dd2b8ff8 SILGen: Handle indirect args in foreign-to-native thunks.
These come up with `dynamic` methods and initializers.
2016-07-25 06:01:21 -07:00
Joe Groff
e7f3e25733 SILGen: Relax assertions to admit Any? in bridging positions. 2016-07-19 18:08:14 -07:00
Joe Groff
2841b10d04 SILGen: Peephole Any bridging through optionals.
If a `T?` is converted to `Any?` to pass to a `_Nullable id` interface in ObjC, avoid the intermediate conversion and bridge straight to AnyObject? too.
2016-07-19 18:07:28 -07:00
Joe
67dccb283e [SE-0095] Code feedback changes; Any is parsed as a keyword
- Any is made into a keyword which is always resolved into a TypeExpr,
allowing the removal of the type system code to find TheAnyType before
an unconstrained lookup.
- Types called `Any` can be declared, they are looked up as any other
identifier is
- Renaming/redefining behaviour of source loc methods on
ProtocolCompositionTypeRepr. Added a createEmptyComposition static
method too.
- Code highlighting treats Any as a type
- simplifyTypeExpr also does not rely on source to get operator name.
- Any is now handled properly in canParseType() which was causing
generic param lists containing ‘Any’ to fail
- The import objc id as Any work has been relying on getting a decl for
the Any type. I fix up the clang importer to use Context.TheAnyType
(instead of getAnyDecl()->getDeclaredType()). When importing the id
typedef, we create a typealias to Any and declare it unavaliable.
2016-07-19 12:01:37 -07:00
Slava Pestov
16f60d8064 SILGen: Add bridging support for id-as-Any.
- Previously we didn't know how to bridge address-only types.  Add some
  plumbing for this. Not fully general yet, but with a bit more work we
  could allow resilient value types to adopt _ObjectiveCBridgable, too.
  For now, this is just intended to support the id-as-Any work.

- Specifically when going from a type without any other known bridging
  strategy, emit a call to the new `_bridgeAnythingToObjectiveC` entry
  point from the previous commit.
2016-07-12 14:34:25 -07:00
Joe Groff
7881dc2b4f SILGen: Peephole existential-to-Any upcasts too.
Recognize an erasure of an opened existential and look through it.
2016-07-07 14:02:53 -07:00
Joe Groff
e6ba22fc0e SILGen: Look through ErasureExprs when bridging to AnyObject.
When we have an argument expr of type Any that's being emitted as a bridged ObjC object parameter, look through any ErasureExprs and directly bridge the concrete value. This saves us emitting an intermediate 'Any' value in the common case where a value of known concrete type is passed in from Swift.
2016-07-06 21:25:13 -07:00