Lucas Ly Ba 2cc3c4ffc9 [SILOptimizer] Simplify Int1 comparisons with boolean constants ...

`x == false` and `!x` are equivalent on Bool but lowered to different
builtins (cmp_eq_Int1 vs xor_Int1), so only `!x` optimized well. Fold
comparisons of a Builtin.Int1 with a boolean constant so both forms
produce the same SIL.

Fixes #70655

2026-07-13 11:56:02 +02:00

..

CMakeLists.txt

Optimizer: add simplification for end_lifetime

2026-07-03 10:32:32 +02:00

SimplifyAllocPack.swift

…

SimplifyAllocRefDynamic.swift

…

SimplifyAllocStack.swift

…

SimplifyApply.swift

SimplifyApply: when optimizing a keypath application, put the keypath instruction back into the worklist

2026-06-26 14:50:18 +02:00

SimplifyBeginBorrow.swift

…

SimplifyBeginCOWMutation.swift

…

SimplifyBorrow.swift

…

SimplifyBranch.swift

…

SimplifyBuiltin.swift

[SILOptimizer] Simplify Int1 comparisons with boolean constants

2026-07-13 11:56:02 +02:00

SimplifyCheckedCast.swift

…

SimplifyClassifyBridgeObject.swift

…

SimplifyCondBranch.swift

…

SimplifyCondFail.swift

…

SimplifyConvertEscapeToNoEscape.swift

…

SimplifyCopyBlock.swift

…

SimplifyCopyValue.swift

SimplifyCopyValue: remove copy of projections

2026-06-29 17:54:05 +02:00

SimplifyDebugStep.swift

…

SimplifyDestroyValue.swift

…

SimplifyDestructure.swift

SimplifyDestructure: fold destructure of undef into per-element undefs

2026-07-03 10:32:32 +02:00

SimplifyDifferentiableFunction.swift

…

SimplifyEndCOWMutationAddr.swift

…

SimplifyEndLifetime.swift

SimplifyEndLifetime: remove end_lifetime undef

2026-07-03 10:32:33 +02:00

SimplifyExplicitCopy.swift

…

SimplifyFixLifetime.swift

Optimizer: remove fix_lifetime instructions if the underlying object is immortal

2026-07-03 10:32:32 +02:00

SimplifyGlobalValue.swift

…

SimplifyIndexingInstructions.swift

Optimizer: simplify index_addr and index_raw_pointer

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

SimplifyInitEnumDataAddr.swift

…

SimplifyKeyPath.swift

SimplifyKeyPath: some improvements and fixes

2026-06-26 14:52:45 +02:00

SimplifyLoad.swift

SimplifyLoad: replace a load [trivial] from an unchecked_addr_cast between two trivial types

2026-07-03 10:32:32 +02:00

SimplifyLoadBorrow.swift

…

SimplifyMarkDependence.swift

…

SimplifyMoveValue.swift

…

SimplifyPartialApply.swift

…

SimplifyPointerToAddress.swift

SimplifyPointerToAddress: correctly handle index_addr in lifetime computation

2026-06-15 16:57:38 +02:00

SimplifyRefCasts.swift

SimplifyRefCast: add an additional ownership check

2026-07-03 10:32:26 +02:00

SimplifyRetainReleaseValue.swift

…

SimplifyStoreBorrow.swift

Optimizer: remove dead store_borrow instructions

2026-07-03 10:32:26 +02:00

SimplifyStrongRetainRelease.swift

…

SimplifyStruct.swift

…

SimplifyStructExtract.swift

…

SimplifySwitchEnum.swift

…

SimplifyTuple.swift

…

SimplifyTupleExtract.swift

…

SimplifyTuplePackElementAddr.swift

…

SimplifyTypeValue.swift

…

SimplifyUncheckedAddrCast.swift

…

SimplifyUncheckedEnumData.swift

…

SimplifyUncheckedOwnershipConversion.swift

…

SimplifyValueToBridgeObject.swift

…

SimplifyWitnessMethod.swift

…