Aidan Hall 6aa55785f0 LifetimeDependence: Tests for function type attribute ...

Includes:
- rdar://166912068 test case
- Nested type SIL tests
- rdar://160894371 test
- Many more

2026-02-05 14:50:44 +00:00

..

Inputs

…

Instruction

…

OwnershipVerifier

Optimizer: enable complete OSSA lifetimes throughout the pass pipeline

2026-01-22 17:41:48 +01:00

Parser

SIL: Introduce instructions for forming and dereferencing Builtin.Borrow.

2026-01-23 08:02:01 -08:00

Serialization

Fix serialization of init_borrow_addr

2026-01-27 16:20:49 -08:00

availability_query_maccatalyst_zippered_inlined.swift

…

basic_block_unit.sil

Optimizer: convert the SILPrinter and TestInstructionIteration passes to tests

2025-12-15 10:01:41 +01:00

bitwise_copyable.swift

…

borrow_accessor_e2e.swift

Map BorrowAndMutateAccessors experimental feature to swift-syntax equivalent

2025-10-07 14:39:22 -07:00

borrow_accessor_verify_errors.sil

SIL: Handle dereference_borrow returns in SILGenCleanup.

2026-01-23 08:02:09 -08:00

clang-function-type-windows.swift

…

clang-function-types-android.swift

[android][test] Fix or disable the remaining failing tests on the Android CI (#81398)

2025-05-17 13:27:33 +05:30

clang-function-types-nonwindows.swift

…

clone_init_existential.sil

…

cloning_opaque_values_objc.sil

Add experimental feature @inline(always)

2025-09-30 08:36:26 -07:00

cloning_opaque_values.sil

Add experimental feature @inline(always)

2025-09-30 08:36:26 -07:00

cloning-inline-always.sil

Optimizer: require that there are no unreachable blocks and infinite loops in OSSA

2026-01-22 17:41:23 +01:00

cloning.sil

Optimizer: require that there are no unreachable blocks and infinite loops in OSSA

2026-01-22 17:41:23 +01:00

concurrentclosure_capture_verify_canonical_addressonly.sil

…

concurrentclosure_capture_verify_canonical_loadable.sil

…

concurrentclosure_capture_verify_raw.sil

…

diagnose_effects.swift

…

disable_ossa_verification_blocklist.sil

…

dont_print_uuids.sil

add an option -print-no-uuids to suppress printing UUIDs in SIL output

2026-01-23 19:20:19 +01:00

explicit_lifetime_dependence_specifiers.swift

LifetimeDependence: Tests for function type attribute

2026-02-05 14:50:44 +00:00

if_clause_printing.swift

…

implicit_lifetime_dependence.swift

LifetimeDependence: Tests for function type attribute

2026-02-05 14:50:44 +00:00

import-decls.sil

…

instruction_iteration_unit.sil

Optimizer: convert the SILPrinter and TestInstructionIteration passes to tests

2025-12-15 10:01:41 +01:00

lazy_typecheck.swift

…

lifetime_dependence_generics.swift

[NFC] Update tests and diagnostics

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

lifetime_dependence_param_position_test.swift

[NFC] Update tests and diagnostics

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

lifetime_dependence_span_lifetime_attr.swift

[NFC] Update tests and diagnostics

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

manual_ownership_exclusivity.swift

ManualOwnership: provide ability to apply to entire compilation unit

2025-10-24 18:54:07 -07:00

manual_ownership.swift

Test: disable flaky bit of manual_ownership.swift

2025-12-18 11:31:04 -08:00

memory_lifetime_failures.sil

SIL: assume a read-effect for unused indirect arguments

2026-01-23 15:58:23 +01:00

memory_lifetime.sil

SIL: assume a read-effect for unused indirect arguments

2026-01-23 15:58:23 +01:00

modules-extern2.swift

…

modules-extern.swift

…

moveonly_ownership.sil

…

opaque-verify.sil

…

parse_swift_decls_in_sil_mode.sil

…

polymorphic_builtins.sil

…

print_ownership.sil

SILPrinter: add an option -sil-print-ownership to print the ownership of instruction results

2025-12-01 16:00:58 +01:00

printer_include_decls_module.swift

…

printer_include_decls.swift

…

raw_identifiers.swift

…

restricted-partial-apply.sil

…

store_borrow_verify_errors.sil

Teach the SIL verifier to enforce stronger rules around

2025-10-11 02:12:19 -04:00

type_dependent_operands.swift

…

type_lowering_unit.sil

[NFC] TypeLowering: add CustomDeinit.

2025-11-11 17:29:45 -08:00

typed_throws_sil_crash.swift

…

unimplemented_initializer.swift

…

verifier_concurrency_nofail.sil

[SILVerifier] Adjust ownership requirement for ImplicitActorToOpaqueIsolationCast

2026-01-15 10:34:45 -08:00

verifier_failures.sil

SIL: add the InstructionIndices utility and use it in the SILVerifier

2026-01-27 08:52:41 +01:00

verifier_loweredsil_failures.sil

[sil-verifier] Make flow sensitive verification handle begin_apply token/allocation correctly.

2025-12-02 14:17:27 -08:00

verifier_nofail.sil

Add a new semantics attribute to disable SIL verification on a function

2025-05-15 14:30:28 -07:00

verifier_reject.sil

…

verifier-archetype-debugvars.sil

SILVerifier: relax the check for debug vars with different types

2025-10-16 07:14:46 +02:00

verifier-fail-access-scope.sil

SIL Verifier: workaround a MoveOnlyChecker pass bug

2025-12-22 10:57:41 +01:00

verifier-fail-address-phi-ossa.sil

…

verifier-fail-bb.sil

…

verifier-fail-instruction.sil

…

verifier-fail-stack.sil

Teach the SIL verifier to enforce stronger rules around

2025-10-11 02:12:19 -04:00

verifier-init-existential.sil

…

verifier-no-fail-access-scope1.sil

SIL Verifier: don't run read-only access scope verification in lowered SIL

2025-10-23 14:59:02 +02:00

verifier-no-fail-access-scope2.sil

SIL Verifier: don't run read-only access scope verification in lowered SIL

2025-10-23 14:59:02 +02:00

verifier-no-fail-access-scope3.sil

SIL-Verifier: Don't verify that there are no stores in read-only access scopes if there is a conflicting scope

2025-12-04 21:12:32 +01:00

verifier-no-nested-suspend.sil

…

verifier-undefined-function.sil

SILVerifier: print a readable error message when referencing an undefined SIL function

2025-12-19 17:44:01 +01:00

verifier-value-metatype-lowering.sil

…

whole_module_optimization.swift

…