Max Moiseev
614bb13cbf
Merge remote-tracking branch 'origin/master' into master-next
2017-05-11 11:29:22 -07:00
John McCall
ab250848b4
Downgrade dynamic exclusivity failures to a warning in Swift 3 compatibility mode.
2017-05-10 14:44:59 -04:00
John McCall
e01c31a17c
Remember a PC in the exclusivity-tracking set and report it during failures.
2017-05-10 14:44:56 -04:00
swift-ci
502bda365b
Merge remote-tracking branch 'origin/master' into master-next
2017-05-05 13:48:34 -07:00
practicalswift
492f5cd35a
[gardening] Remove redundant repetition of type names (DRY): RepeatedTypeName foo = dyn_cast<RepeatedTypeName>(bar)
...
Replace `NameOfType foo = dyn_cast<NameOfType>(bar)` with DRY version `auto foo = dyn_cast<NameOfType>(bar)`.
The DRY auto version is by far the dominant form already used in the repo, so this PR merely brings the exceptional cases (redundant repetition form) in line with the dominant form (auto form).
See the [C++ Core Guidelines](https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#es11-use-auto-to-avoid-redundant-repetition-of-type-names ) for a general discussion on why to use `auto` to avoid redundant repetition of type names.
2017-05-05 09:45:53 +02:00
swift-ci
d435c194ba
Merge remote-tracking branch 'origin/master' into master-next
2017-05-04 09:28:57 -07:00
adrian-prantl
c6ef8022ae
Merge pull request #9195 from adrian-prantl/17260802
...
Debug info: Represent clang-imported submodules.
2017-05-04 09:20:20 -07:00
swift-ci
3f3f9f6563
Merge remote-tracking branch 'origin/master' into master-next
2017-05-03 14:08:58 -07:00
John McCall
16c500d100
Fix IRGenSIL to always look through DynamicallyEnforcedAddress.
...
rdar://31964550
2017-05-03 16:01:11 -04:00
Adrian Prantl
0cb4a2865d
Refactor/Cleanup IRGenDebugInfo to use a private implementation (NFC)
2017-05-03 08:34:06 -07:00
swift-ci
1378be1c6d
Merge remote-tracking branch 'origin/master' into master-next
2017-05-01 15:55:31 -07:00
Joe Shajrawi
0d0cac357a
retain_value_addr and release_value_addr SIL instructions: take as an input an address, load the value inside it and call retain_value and release_value respectively
2017-04-30 10:23:55 -07:00
swift-ci
cce9eb4f8d
Merge remote-tracking branch 'origin/master' into master-next
2017-04-23 01:48:58 -07:00
John McCall
978f0e05fe
Add unpaired access marker instructions and use them to implement
...
dynamic access tracking in materializeForSet.
2017-04-22 22:52:13 -04:00
swift-ci
4ef7b46971
Merge remote-tracking branch 'origin/master' into master-next
2017-04-21 18:08:32 -07:00
Joe Groff
595e0e4ede
Merge branch 'master' into keypaths
2017-04-19 18:38:24 -07:00
swift-ci
000387aa9e
Merge remote-tracking branch 'origin/master' into master-next
2017-04-18 16:28:31 -07:00
practicalswift
56a9c88ca6
[gardening] Remove unused method getLoweredDynamicallyEnforcedAddress(SILValue)
2017-04-18 23:22:43 +02:00
swift-ci
ae1eb1197c
Merge remote-tracking branch 'origin/master' into master-next
2017-04-18 11:08:33 -07:00
John McCall
6c16cfaa14
Implement a basic dynamic-enforcement runtime and teach IRGen to use it.
2017-04-18 11:23:43 -04:00
Joe Groff
0bb83bb185
KeyPaths: Support out-of-place instantiation of generic key paths.
2017-04-17 22:36:26 -07:00
Joe Groff
aaddafa55b
IRGen: Support for generic key path patterns.
2017-04-17 17:50:57 -07:00
Adrian Prantl
88592ecce6
Merge remote-tracking branch 'origin/master' into master-next
2017-04-17 14:24:23 -07:00
adrian-prantl
f2d2ef1e96
Merge pull request #8784 from adrian-prantl/29007471
...
Debug Info: Emit debug info for Swift types using the default alignment.
2017-04-17 13:16:45 -07:00
Adrian Prantl
8e6d6338ce
Emit debug info for Swift types using the default alignment where possible.
...
This patch emits the alignment for all default-aligned types as 0
which causes the backend to not emit an alignment attribute at
all. This mirrors clang's behavior.
<rdar://problem/29007471>
2017-04-17 11:35:33 -07:00
swift-ci
0142fa1f13
Merge remote-tracking branch 'origin/master' into master-next
2017-04-15 10:08:32 -07:00
practicalswift
65bcc8ff84
[gardening] Use o && isa<T>(o) instead of dyn_cast_or_null<T>(o) when result is unused
2017-04-14 17:33:24 +02:00
Joe Groff
d6ced9d9e4
SIL: Rework KeyPathInst to accommodate computed components.
...
- Separate out a uniquable KeyPathPattern that describes the context-free shape of the key path, with generic parameters and (eventually) subscript index slots factored out.
- Add component kinds for gettable and settable properties.
2017-04-12 20:09:17 -07:00
swift-ci
5ba89103a7
Merge remote-tracking branch 'origin/master' into master-next
2017-04-11 09:28:31 -07:00
Arnold Schwaighofer
b167b4475d
Add SIL and IRGen support for a ConstantStringLiteral instruction
...
This supports a utf8 or utf16 encoding.
rdar://30545013
2017-04-11 08:43:47 -07:00
Joe Groff
f929c29bdf
IRGen: Lower keypath instructions to patterns for the runtime to instantiate.
2017-04-04 11:31:15 -07:00
Joe Groff
638759ac28
SIL: Add a "keypath" instruction for summoning literal keypath objects.
2017-04-04 11:31:15 -07:00
swift-ci
5c5ec5641e
Merge remote-tracking branch 'origin/master' into master-next
2017-04-03 01:08:30 -07:00
practicalswift
00ba5dc248
[gardening] Fix typos
2017-04-02 16:23:45 +02:00
swift-ci
f3d88bd1a1
Merge remote-tracking branch 'origin/master' into master-next
2017-03-27 10:29:48 -07:00
adrian-prantl
b433e5339e
Merge pull request #8344 from adrian-prantl/31253373
...
Debugger type mangling: Pass GenericEnvironment separate from DeclContext
2017-03-27 10:13:14 -07:00
swift-ci
69e4b3b579
Merge remote-tracking branch 'origin/master' into master-next
2017-03-26 10:28:42 -07:00
John McCall
57ecaa7fae
Add begin_access and end_access instructions.
...
NFC because we're not actually emitting them.
2017-03-26 04:37:05 -04:00
Adrian Prantl
b872127b66
Debgger type mangling: Pass GenericEnvironment separate from DeclContext.
...
This fixes a crash while building the Swift standard library when
partial specializations are enabled.
Eventually we should get rid of needing the DeclContext in the mangled
typename at all, and this is one step towards that goal.
rdar://problem/31253373
2017-03-25 14:09:14 -07:00
Saleem Abdulrasool
15565c116a
Adjust for SVN r298393
2017-03-22 07:44:03 -07:00
Arnold Schwaighofer
a4c6af1968
Merge pull request #8122 from aschwaighofer/cow_existential_runtime
...
Runtime changes for the copy-on-write existential implementation
2017-03-16 12:48:35 -07:00
swift-ci
c5df122e59
Merge pull request #8115 from adrian-prantl/31066290
2017-03-16 12:00:34 -07:00
Arnold Schwaighofer
d5cbb0bd62
Runtime changes for the copy-on-write existential implementation
...
Adds the runtime implementation for copy-on-write existentials. This support is
enabled if SWIFT_RUNTIME_ENABLE_COW_EXISTENTIALS is defined. Focus is on
correctness -- not performance yet.
Don't use allocate/deallocate/projectBuffer witnesses for globals in cow
existential mode.
Use SWIFT_RUNTIME_ENABLE_COW_EXISTENTIALS configuration to set the default for
SILOptions.
This includes an IRGen fix to use the right projection in
emitMetatypeOfOpaqueExistential if SWIFT_RUNTIME_ENABLE_COW_EXISTENTIALS is set.
Use unknownRetain instead of native retain in dynamicCastToExistential.
2017-03-15 14:54:55 -07:00
Adrian Prantl
082d36a6bb
Debug Info: Make the lookup of VariableValues deterministic.
...
No deterministically observable functional change.
rdar://problem/31066290
2017-03-15 12:26:55 -07:00
Erik Eckstein
a16beaea3c
Remove the now usused ConformanceCollector utility.
...
It was used for dead witness table elimination. But this is done now by lazy emission in IRGen.
Also update DeadFunctionElimination.
NFC.
2017-03-15 10:18:18 -07:00
John McCall
3c5de5fa0a
Preserve type canonicality better in several places and
...
idiomatize some uses of SILType::getSwiftRValueType().
2017-03-14 14:59:43 -04:00
Arnold Schwaighofer
80732ead34
Non-witness implementations of init_existential_addr, deinit_existential_addr, open_existential_addr, copy_addr, destory_addr
...
For the boxed existential variant.
2017-03-09 17:22:35 -08:00
Joe Groff
99ea154151
Merge pull request #7965 from jckarter/invariant-load
...
Add a `loadInvariant` builtin.
2017-03-09 06:39:42 -08:00
Joe Groff
39ecc53a25
Add a loadInvariant builtin.
...
Lowers to an invariant load in LLVM; probably useful for SIL too at some point too, but NFC at that level yet.
2017-03-08 21:02:03 -08:00
Joe Shajrawi
33b0cf653f
Rename unconditional_checked_cast_opaque to unconditional_checked_cast_value
2017-03-07 18:53:52 -08:00