Erik Eckstein
7cceaff5f3
SIL: don't print operand types in textual SIL
...
Type annotations for instruction operands are omitted, e.g.
```
%3 = struct $S(%1, %2)
```
Operand types are redundant anyway and were only used for sanity checking in the SIL parser.
But: operand types _are_ printed if the definition of the operand value was not printed yet.
This happens:
* if the block with the definition appears after the block where the operand's instruction is located
* if a block or instruction is printed in isolation, e.g. in a debugger
The old behavior can be restored with `-Xllvm -sil-print-types`.
This option is added to many existing test files which check for operand types in their check-lines.
2024-11-21 18:49:52 +01:00
Nate Chandler
87e4c65e28
[Gardening] SIL: "liferange" -> "liverange"
2024-05-10 15:54:07 -07:00
Rick van Voorden
f8ae46b3f3
[inclusive-language] changed sanity to soundness
2024-01-25 18:18:02 -08:00
Josh Soref
730b16c569
Spelling siloptimizer
...
* access
* accessed
* accesses
* accessor
* acquiring
* across
* activated
* additive
* address
* addresses'
* aggregated
* analysis
* and
* appropriately
* archetype
* argument
* associated
* availability
* barriers
* because
* been
* beginning
* belongs
* beneficial
* blocks
* borrow
* builtin
* cannot
* canonical
* canonicalize
* clazz
* cleanup
* coalesceable
* coalesced
* comparisons
* completely
* component
* computed
* concrete
* conjunction
* conservatively
* constituent
* construct
* consuming
* containing
* covered
* creates
* critical
* dataflow
* declaration
* defined
* defining
* definition
* deinitialization
* deliberately
* dependencies
* dependent
* deserialized
* destroy
* deterministic
* deterministically
* devirtualizes
* diagnostic
* diagnostics
* differentiation
* disable
* discipline
* dominate
* dominates
* don't
* element
* eliminate
* eliminating
* elimination
* embedded
* encounter
* epilogue
* epsilon
* escape
* escaping
* essential
* evaluating
* evaluation
* evaluator
* executing
* existential
* existentials
* explicit
* expression
* extended
* extension
* extract
* for
* from
* function
* generic
* guarantee
* guaranteed
* happened
* heuristic
* however
* identifiable
* immediately
* implementation
* improper
* include
* infinite
* initialize
* initialized
* initializer
* inside
* instruction
* interference
* interferes
* interleaved
* internal
* intersection
* intractable
* intrinsic
* invalidates
* irreducible
* irrelevant
* language
* lifetime
* literal
* looks
* materialize
* meaning
* mergeable
* might
* mimics
* modification
* modifies
* multiple
* mutating
* necessarily
* necessary
* needsmultiplecopies
* nonetheless
* nothing
* occurred
* occurs
* optimization
* optimizing
* original
* outside
* overflow
* overlapping
* overridden
* owned
* ownership
* parallel
* parameter
* paths
* patterns
* pipeline
* plottable
* possible
* potentially
* practically
* preamble
* precede
* preceding
* predecessor
* preferable
* preparation
* probably
* projection
* properties
* property
* protocol
* reabstraction
* reachable
* recognized
* recursive
* recursively
* redundant
* reentrancy
* referenced
* registry
* reinitialization
* reload
* represent
* requires
* response
* responsible
* retrieving
* returned
* returning
* returns
* rewriting
* rewritten
* sample
* scenarios
* scope
* should
* sideeffects
* similar
* simplify
* simplifycfg
* somewhat
* spaghetti
* specialization
* specializations
* specialized
* specially
* statistically
* substitute
* substitution
* succeeds
* successful
* successfully
* successor
* superfluous
* surprisingly
* suspension
* swift
* targeted
* that
* that our
* the
* therefore
* this
* those
* threshold
* through
* transform
* transformation
* truncated
* ultimate
* unchecked
* uninitialized
* unlikely
* unmanaged
* unoptimized key
* updataflow
* usefulness
* utilities
* villain
* whenever
* writes
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com >
2022-10-03 18:31:33 -04:00
Erik Eckstein
3f42ad704c
DeadObjectElimination: don't let fix_lifetime prevent dead array elimination
2020-05-26 18:01:17 +02:00
Erik Eckstein
2403e56eb5
SIL: new "array.end_mutation" and "array.finalize_intrinsic" array semantics
...
Used to "finalize" an array literal. It's not used, yet. So this is NFC.
Also handle the "array.finalize_intrinsic" function in various array specific optimizations.
2020-05-26 18:01:17 +02:00
Ravi Kandhadai
a6bed21d9e
[SIL Optimization] Make ArraySemantics.cpp aware of "array.uninitialized_intrinsic"
...
semantics attribute that is used by the top-level array initializer (in ArrayShared.swift),
which is the entry point used by the compiler to initialize array from array literals.
This initializer is early-inlined so that other optimizations can work on its body.
Fix DeadObjectElimination and ArrayCOWOpts optimization passes to work with this
semantics attribute in addition to "array.uninitialized", which they already use.
Refactor mapInitializationStores function from ArrayElementValuePropagation.cpp to
ArraySemantic.cpp so that the array-initialization pattern matching functionality
implemented by the function can be reused by other optimizations.
2020-02-05 14:28:34 -08:00
Saleem Abdulrasool
2c0999f67f
test: port most SILOptimizer tests for Windows
...
This adjusts the SILOptimizer test suite to work on Windows. The
remaining SILOptimizer test failure is a memory issue in the standard
library.
2018-12-24 00:57:25 -08:00
Michael Gottesman
fd4828e40a
Eliminate -assume-parsing-unqualified-ownership-sil from tests.
...
I am doing this separately from the actual change to eliminate the option to
make it easier to review.
2018-12-19 12:54:13 -08:00
Karoy Lorentey
c4c4c17871
[stdlib] _BridgeStorage: Remove second type parameter (ObjCClass)
...
It used to be a shadow protocol existential, but now it’s invariably AnyObject.
I see no reason to keep supporting this unused abstraction.
2018-11-15 09:54:25 +00:00
Karoy Lorentey
ee17e975ca
[stdlib] Make protocol _NSArrayCore internal
...
These shadow protocols don’t add any real type safety, and exposing them in the ABI seems unnecessary.
2018-11-15 09:54:25 +00:00
Mike Ash
798edb9d0e
[Runtime][Stdlib][Overlays] Rename various Objective-C classes and methods that would conflict when loading old Swift libraries into a process alongside ABI-stable libraries.
...
rdar://problem/35768222
2018-09-13 16:55:10 -04:00
Michael Gottesman
48b633b2dc
Fix the build by making dead_array_elim.sil work on 32 bit platforms.
2018-01-08 10:16:07 -08:00
Michael Gottesman
ecc1ed4589
[dead-array] Handle initialization where we pass in an alloc_ref/apply in a +0 context.
...
rdar://34222540
2018-01-07 00:13:38 -08:00
Erik Eckstein
d4db9b8099
SILPrinter: make the printing of debug info optional.
...
With the option -sil-print-debuginfo the printing of debug locations and scopes can be enabled.
I made the default for the option “false”, because in 99% of the time I don’t need the debug info in the printed SIL and I prefer better readability.
2017-04-20 09:18:08 -07:00
Erik Eckstein
805960b0ac
ValueLifetimeAnalysis: fix the lifetime computation in case the value definition is in a single-block loop.
...
This caused DeadObjectElimination to generate a memory leak in case a dead array is in a single-block loop.
rdar://problem/31420889
2017-04-04 10:43:53 -07:00
Michael Gottesman
20dd563efb
[semantic-arc] Update tests for qualified/unqualified ownership and SILGen emission of copy_value, destroy_value.
2016-10-29 20:11:09 -07:00
practicalswift
f44686d825
[gardening] Fix trailing whitespace in *.cfg.in, *.html, *.mm and *.sil files
2016-10-29 14:06:43 +02:00
Dmitri Gribenko
d175b3b66d
Migrate FileCheck to %FileCheck in tests
2016-08-10 23:52:02 -07:00
Andrew Trick
c47687da2c
Add an isStrict flag to SIL pointer_to_address. ( #3529 )
...
Strict aliasing only applies to memory operations that use strict
addresses. The optimizer needs to be aware of this flag. Uses of raw
addresses should not have their address substituted with a strict
address.
Also add Builtin.LoadRaw which will be used by raw pointer loads.
2016-07-15 15:04:02 -05:00
Erik Eckstein
3945539e71
DeadObjectElimination: use the debug location of the array store instead of the (unknown) instruction of the lifetime frontier.
...
The location of the lifetimefrontier can be a return-location which is invalid for the generated release instruction.
2016-04-25 11:38:49 -07:00
Erik Eckstein
b8feb278dc
DeadObjectElemination: fix two problems with handling of the tuple_extract following an array init call
...
1) handle cases where the tuple_extract is not in the same basic block as the init call. This is not a correctness issue, but might miss some opportunities.
2) bail if there are multiple tuple_extract. This is a correctness issue, but a theoretical one. I don't think that in reality we will ever get multiple tuple_extracts out of SILGen.
2016-04-13 13:28:29 -07:00
Max Moiseev
cf4bafe9e3
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-03-03 13:22:03 -08:00
practicalswift
e28be296ab
[gardening] Fix recently introduced typo: "releaese" → "release"
2016-03-02 09:37:16 +01:00
practicalswift
09744e8251
[gardening] Fix recently introduced typo: "pathes" → "paths"
2016-03-02 09:36:40 +01:00
Erik Eckstein
115c50a5c7
DeadObjectElimination: Fix a problem with dead array elimination.
...
With the new ValueLifetimeAnalysis DOE did not handle case where a dead array is not released on a path at all (because it leads to an unreachable).
2016-03-01 12:30:52 -08:00
Max Moiseev
a49dab6bf8
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2016-02-29 12:08:52 -08:00
Erik Eckstein
1730b90ae4
Reinstate "Rewrite the ValueLifetimeAnalysis."
...
Reinstates commit 0c2ca94ef7
2016-02-29 07:42:59 -08:00
Maxim Moiseev
0e54467bfa
Final bulk removal of Type suffix
2015-12-16 17:06:19 -08:00
Andrew Trick
bd35b4789c
Move test/SILOptimizer files to reflect lib/SILOptimizer.
2015-12-11 15:53:22 -08:00
