Erik Eckstein 7ea1b1b23e SIL: add a flag [projection] to index_addr ...

The `projection` flag indicates that `index_addr` projects an element address from an array base address, as opposed to being used for general pointer arithmetic.
When this flag is set, the result address can only reach the single element at the given index — it is not possible to chain multiple `index_addr` instructions to reach other array elements from the result.
Without this flag, the result may be used as the base of another `index_addr`, allowing arithmetic across element boundaries (e.g. an `index_addr` with index 1 followed by an `index_addr` with index 2 reaches the element at offset 3).

An `index_addr [projection]` is mandatory to go from an array base address to an element - even if it's the first element, i.e. the index is zero.
This means that the optimizer must not remove `index_addr [projection]` with a zero index.

2026-06-09 16:17:53 +02:00

..

AllowErrors

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

Inputs

SIL: add a flag [projection] to index_addr

2026-06-09 16:17:53 +02:00

Recovery

[ConstraintSystem] Propagate a hole from function value to arguments/result

2026-06-01 11:28:20 -07:00

Safety

[ModuleInterface] Enable module selectors by default

2026-02-20 00:35:23 -08:00

access-level-import-dependencies.swift

[Tests] Remove the flag AccessLevelOnImport from all tests but one

2023-10-10 09:09:22 -07:00

access-level.swift

…

actor-attr-query-cycle.swift

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07:00

alignment.swift

…

always_inline.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

android-modules.swift

…

apple-default-search-paths.swift

Generalize tests for both diagnostic styles, or force the LLVM style

2024-02-19 02:48:37 -10:00

application-extension.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

array.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

async_initializers.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

async.swift

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07:00

attr-diagnose.swift

[Source Warning Control] Ensure we do not attempt to serialize @diagnose attributes

2026-05-12 18:59:42 +01:00

attr-expose.swift

[wasm] Fix @_expose(wasm) serialization crash

2025-09-11 07:22:22 +00:00

attr-extern.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

attr-frozen.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

attr-inline-always.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

attr-nonisolated.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

attr-rawlayout.swift

[AST] Print movesAsLike if present on @_rawLayout

2026-05-14 11:16:26 -07:00

attr-section.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

autolinking-inlinable-inferred.swift

…

autolinking.swift

Fix directory test/Serialization

2023-06-20 13:15:20 -07:00

availability_custom_domains.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

back-deployed-attr-skip-noninlinable-function-bodies.swift

NFC: Update tests to use accepted spelling for @backDeployed.

2023-02-01 22:04:33 -08:00

basic_sil_objc.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

basic_sil.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

borrow_accessor_client.swift

Enable BorrowAndMutateAccessors by default

2026-03-25 16:52:39 -07:00

borrow_accessor_protocol_client.swift

Enable BorrowAndMutateAccessors by default

2026-03-25 16:52:39 -07:00

builtin.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

caller_isolation_inherit.swift

Cleanups: remove redundant special-casing, fix rebase-dropped test content

2026-04-28 09:21:46 -07:00

can-import-invalid-arch.swift

Do not fail the build on only finding incompatible-architecture modules on 'canImport'

2025-09-23 15:26:02 -07:00

cdecl_attr.swift

…

circular-import.swift

…

clang-function-types-convention-c.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

clang-function-types.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

clang-target-option.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

class-determinism.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

class-roundtrip-module.swift

…

class.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

comments-batch-mode.swift

…

comments-framework.swift

…

comments-hidden.swift

…

comments-params.swift

…

comments.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

concurrency_sil.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

conformance-multi-file.swift

…

conformance-objc-async.swift

Tests: Use a more natural spelling for ABI triple lit substitutions.

2024-10-18 10:11:36 -07:00

cross_module_optional_protocol_reqt.swift

…

debug-scope.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

debug-value.swift

[SILOptimzer] Fix a crash caused by SILCombine mishandling inlined variables

2025-11-07 17:06:33 -08:00

default_silfunction_deserializationfrom_stdlib.swift

…

default-witness-table-deserialization.swift

…

distributed.swift

…

duplicate_normalprotocolconformance.swift

…

early-serialization.swift

Remove the -enable-ossa-modules option.

2025-09-26 08:01:08 +02:00

effectful_properties.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

embedded-swiftdeps.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

empty.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

enum-mutual-circularity.swift

…

enum.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

explicit_lifetime_dependence.swift

LifetimeDependence: Closure lifetimes tests

2026-04-24 16:14:25 +01:00

export_as_xrefs.swift

…

extension_generation_number_1.swift

…

extension_generation_number_2.swift

…

extension-of-typealias.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

external_macros.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

failed-clang-module.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

failed-partial-module.swift

…

function-default-args.swift

…

function.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

generated-ref-to-nserror.swift

Optimizer: add simplifications for destroy_value

2025-12-03 15:53:55 +01:00

generic_extension.swift

…

generic_subscript.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

generic_witness.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

global_init.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

group_info_diags.swift

…

guid-defined-in-module.swift

Fix the GUID type not found error on Windows

2025-11-19 17:27:50 -08:00

hermetic-seal-import.swift

…

ignore-opaque-underlying-type-back-deploy.swift

Sema: Diagnose @backDeployed functions with missing bodies in swiftinterfaces.

2025-01-03 09:15:12 -08:00

ignore-opaque-underlying-type.swift

[Serialization] Fix deserializing opaque types for computed properties and subscripts

2023-11-01 16:04:10 -07:00

implementation-only-embedded-fallback.swift

Serialization: Error on xref to implementation-only dependencies

2025-11-11 13:03:16 -08:00

implementation-only-open.swift

…

implementation-only-testable.swift

Add comments to testcases that need spurious whitespace

2024-02-24 08:33:28 -10:00

implicit_lifetime_dependence.swift

LifetimeDependence: Closure lifetimes tests

2026-04-24 16:14:25 +01:00

import_source.swift

…

import-multi-file.swift

…

import.swift

…

imported_enum_merge.swift

…

incremental-imports.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

index-table-order.sil

…

inferred_nonfrozen_conformance.swift

[TypeCheckAttr] Frozen is valid without resilience

2024-05-20 17:22:47 -07:00

inherited-conformance.swift

…

inherited-initializer.swift

…

init_accessors.swift

[Frontend/NFC] SE-0400: Enable InitAccessors feature by default

2023-07-31 13:18:59 -07:00

inlined-shadowed-clang-vs-swift.swift

[SILGen] Consistently use SIL asmname for foreign function/variable references

2025-10-29 19:35:55 -07:00

inlined-shadowed-layered-modules.swift

[SILGen] Consistently use SIL asmname for foreign function/variable references

2025-10-29 19:35:55 -07:00

interface-module-nested-types.swift

…

isolated_conformance.swift

Fix deserialization assertion involving isolated conformances

2025-04-13 15:42:00 -07:00

isolated-params.swift

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

lazy-typecheck-errors.swift

ModuleInterface: Avoid crashing on invalid extensions in lazy typechecking mode.

2024-07-23 10:32:50 -07:00

lazy-typecheck-rdar147539902.swift

Serialization: Skip invalid @available attributes during lazy serialization.

2025-03-21 15:45:53 -07:00

lazy-typecheck.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

lifetime_dependence_enums.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

lifetime_dependence.swift

Update lifetime_dependence.swift

2025-10-01 12:56:37 -07:00

load_package_module.swift

Revert https://github.com/swiftlang/swift/pull/75745.

2024-11-05 14:37:56 -08:00

load-arch-fallback-framework.swift

…

load-arch-fallback.swift

…

load-file-permissions.swift

…

load-invalid-arch.swift

Generalize tests for both diagnostic styles, or force the LLVM style

2024-02-19 02:48:37 -10:00

load-invalid-doc.swift

…

load-invalid-sourceinfo.swift

…

load-invalid.swift

…

load-missing-dependencies.swift

…

load-missing-dependency.swift

…

load-target-fallback.swift

…

load-target-normalization.swift

[Test] Un-xfail passing load-target-normalization.swift test

2024-05-15 17:36:57 -07:00

load-wrong-name-doc.swift

…

load-wrong-name.swift

…

load.swift

…

macros.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

modularization-error-member.swift

Serialization: Error on type members broken by invalid modularization

2026-02-05 09:56:31 -08:00

modularization-error.swift

Serialization: Limit modularization recovery to clang modules

2026-01-26 09:57:00 -08:00

modularization-recover.swift

Serialization: Limit modularization recovery to clang modules

2026-01-26 09:57:00 -08:00

module_abi_name.swift

…

module_defining_interface_client.swift

[Serialization] Always serialize module-defining '.swiftinterface', even if SDK-relative.

2024-01-10 14:06:10 -08:00

module_defining_interface.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

module_package_name.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

module-dependencies.swift

[Serialization] Store the explicit module map in swiftmodules

2026-02-23 14:07:08 -08:00

module-merging-implementation-only.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

moveonly_deinit.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

multi-file-nested-type-circularity.swift

…

multi-file-nested-type-extension.swift

…

multi-file-nested-type-simple.swift

…

multi-file-protocol-circularity.swift

…

multi-file-subclass-generic-instantiation.swift

…

multi-file-type-eraser.swift

…

multi-file.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

multi-module-nested-type-extension.swift

…

nested_generic_extension.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

nested_opened_archetype.swift

…

nested_pack_expansion.swift

Tests: Remove -disable-availability-checking in variadic generics tests.

2024-10-20 15:37:15 -07:00

nested-protocols.swift

[concurrency] Represent a SILFunction without isolation as std::optional<ActorIsolation> instead of ActorIsolation::Unspecified.

2024-09-18 11:23:22 -07:00

nested-type-with-overlay.swift

…

noinline.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

non_escapable_subst_test.swift

[NFC] Update tests and diagnostics

2025-06-07 12:49:01 -07:00

non-modular-clang-type.swift

…

noncopyable_generics.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

nonsendable.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

objc_async.swift

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07:00

objc_implementation.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

objc_method_table.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

objc_optional_reqs.swift

…

objc_xref.swift

…

objc.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

opaque_circularity_swiftui.swift

Serialization: Lazily deserialize OpaqueTypeDecl's underlying substitutions

2025-11-20 18:13:50 -05:00

opaque_circularity.swift

…

opaque_cross_file.swift

…

opaque_nested.swift

…

opaque_type_structured.swift

…

opaque_types_inlineable.swift

…

opaque_with_availability_cross_module.swift

Sema: Fix opaque type accessors with inactive availability conditions.

2024-11-10 09:23:39 -08:00

operator.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

optimized.swift

…

ossa_sil.sil

Introduce return_borrow instruction

2025-10-23 05:18:59 -07:00

override.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

ownership.swift

ASTPrinter: Turn on explicit any printing for everything and remove the option to disable it

2023-05-13 02:55:49 +03:00

pack_expansion_type.swift

Tests: Remove -disable-availability-checking in variadic generics tests.

2024-10-20 15:37:15 -07:00

package-dependencies.swift

[Tests] Remove the flag AccessLevelOnImport from all tests but one

2023-10-10 09:09:22 -07:00

parameterized_protocol.swift

…

path_obfuscator.swift

…

plugin_search_option_prefixing.swift

Centralize computation of the "code generation model" for object code & SIL

2026-04-15 13:03:55 -07:00

private_import.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

property_wrappers.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00

protocol_with_self_conforming_existential.swift

Add test case for rdar://123335873

2024-04-03 14:10:36 -04:00

raw_layout.swift

Add an "addressable for dependencies" flag to value witness flags.

2025-06-18 12:47:16 -07:00

rdar166359524.swift

[cxx-interop] Fix crash deserializing some Clang function types

2026-01-14 15:39:58 +00:00

recursive_protocol_merge.swift

…

renamed-cycle.swift

Serialization: Stop serializing cached rename decls.

2024-11-29 10:35:02 -05:00

resilience.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

restrict-swiftmodule-to-channel.swift

Serialization: reword diagnostic about serialization channel mismatch

2024-08-15 13:29:10 -07:00

restrict-swiftmodule-to-revision.swift

[Serialization] Only remark if the last digit mismatches in precise tag check

2023-02-13 14:28:10 -08:00

restrict-swiftmodule-to-sdk.swift

[Serialization] Allow rebuilding modules from the resource dir on SDK mismatch

2023-03-07 10:00:27 -08:00

result_builders.swift

…

runtime-import-from-sdk-maccatalyst.swift

Tests: Adopt %target-cpu in a bunch of macCatalyst tests.

2024-09-03 22:07:47 -07:00

runtime-import-from-sdk.swift

…

search-paths-prefix-map.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

search-paths-relative.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

search-paths-sdk-auxiliary.swift

Add additional implicit framework search path for Darwin platforms

2024-12-05 13:56:52 -08:00

search-paths-sdk.swift

[Test] Remove REQUIRES: asserts from tests that use -swift-version 6.

2024-02-13 07:13:35 -08:00

search-paths.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

sending.swift

[sending] Remove transferring.

2024-06-21 16:03:21 -07:00

serialize_attr.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

shadowed-class-vs-protocol.swift

Serialization: Bring back shadowing but only after the filtering

2025-04-04 13:42:42 -07:00

sil_box_types.sil

…

sil_partial_apply_ownership.sil

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

sil-imported-enums.swift

Devirtualizer: don't de-virtualize witness calls to non-generic thunks which call a generic function.

2022-12-21 08:52:53 +01:00

sil-serialize-all-with-cross-module-conformance.swift

…

source-loc.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

sourceinfo.swift

…

spi-only-dependency.swift

Add comments to testcases that need spurious whitespace

2024-02-24 08:33:28 -10:00

static.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

stored_property_default_arg.swift

…

struct.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

swiftdoc-versions.swift

…

target-incompatible.swift

…

target-too-new-ios.swift

…

target-too-new.swift

[test] Move availability tests to later fake OS versions

2024-08-21 11:38:54 -07:00

test_recursive_protocol_deserialization.swift

[Test] NFC: Add test-case for recursive protocol deserialization (rdar://100127674)

2024-02-29 11:22:52 -08:00

testability.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

top-level-code.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

transitive_conformances_and_cgfloat_double.swift

AST: Factor out ASTContext::get{CGFloat,Double}InitDecl() from CSApply.cpp

2026-03-20 15:56:32 -04:00

transparent-std.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

transparent.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

tuple_conformance.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

typealias.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

typed_throws.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

use-class-bound-protocol.swift

Serialization: Serialize ProtocolDecl::getSuperclassDecl() instead of ProtocolDecl::getSuperclass()

2024-03-21 13:09:21 -04:00

using.swift

[Serialization] Prevent using declarations from being serialized

2025-05-31 11:10:39 -07:00

value_generics.swift

Enable InlineArray type sugar

2025-08-04 15:16:30 +01:00

version-mismatches.swift

Fix the Serialization/version-mismatches.swift Swift version

2024-02-20 14:30:12 -08:00

vtable-function-deserialization.swift

…

vtable-lookup.swift

…

wasm-extern-import.swift

[Serialization][wasm] Preserve wasm import metadata for SIL serialization (#87250)

2026-02-23 19:24:50 +00:00

witnesstable-function-deserialization.swift

…

wrapped-modularization-error-remarks.swift

Fix the GUID type not found error on Windows

2025-11-19 17:27:50 -08:00

write-to-locked-dir.swift

…

xref-deinit.swift

…

xref-extensions-counters.swift

Test: update xref-extensions-counters.swift

2024-03-14 23:10:44 -07:00

xref-generic-opaque-type.swift

…

xref-generic-params.swift

…

xref-multi-file.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00

xref-nested-clang-type.swift

…

xref-private-type.swift

Optimizer: extend OSSA throughout the mid-level pass pipeline

2026-03-16 16:12:29 +01:00

xref.swift

test: disallow llvm-bcanalyzer and use new macro

2026-04-13 16:22:02 -07:00