Commit Graph

  • 05290f5ba2 Update base for Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" Joe Savona 2025-06-05 14:17:28 -07:00
  • 8f76abda54 Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-05 14:17:26 -07:00
  • d39766851b Update base for Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-05 14:17:25 -07:00
  • b6c382ac82 Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-05 14:17:23 -07:00
  • cee5770a1b Update base for Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-05 14:17:22 -07:00
  • 5c2e7181e0 Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-05 14:17:20 -07:00
  • 43e487188b Update base for Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-05 14:17:19 -07:00
  • 4960b6f63a Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-05 14:17:17 -07:00
  • 8e733178de Update base for Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-05 14:17:16 -07:00
  • 6863fbcb76 Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-05 14:17:14 -07:00
  • 833e7799d2 Update base for Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-05 14:17:13 -07:00
  • 8594e3d3ee Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-05 14:17:11 -07:00
  • 98829f4ac2 Update base for Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-05 14:17:10 -07:00
  • 2e92f99bd8 Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-05 14:17:08 -07:00
  • 1a40d6045b Update base for Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-05 14:17:07 -07:00
  • 5c3732917c Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-05 14:17:05 -07:00
  • a11a15c6bd Update base for Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-05 14:17:04 -07:00
  • 2409b55825 Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-05 14:17:02 -07:00
  • c9cb952090 Update base for Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-05 14:17:01 -07:00
  • e381b1411c Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-05 14:16:59 -07:00
  • b5917f6c15 Update base for Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-05 14:16:58 -07:00
  • 89ce479dc5 Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-05 14:16:56 -07:00
  • 837e73c105 Update base for Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-05 14:16:55 -07:00
  • bdaaef5c6a Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-05 14:16:53 -07:00
  • a76977f644 Update base for Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-05 14:16:52 -07:00
  • 6fd15dfb5c Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-05 14:16:50 -07:00
  • 5095395c34 Update base for Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-05 14:16:49 -07:00
  • e399ce9cbe Update on "[compiler] comments and todos" Joe Savona 2025-06-05 14:16:47 -07:00
  • b7681822b6 Update base for Update on "[compiler] comments and todos" Joe Savona 2025-06-05 14:16:46 -07:00
  • 64be2423ad Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-05 14:16:44 -07:00
  • 2827a06fde Update base for Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-05 14:16:44 -07:00
  • 13a1e9b0f9 Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-05 14:16:41 -07:00
  • 44ddf19705 Update base for Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-05 14:16:41 -07:00
  • 1e5dffc5f7 Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-05 14:16:38 -07:00
  • b385c02dfe Update base for Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-05 14:16:37 -07:00
  • 58b30a68cb Update on "[compiler] Add ImmutableCapture effect, CreateFrom no longer needs Capture" Joe Savona 2025-06-05 14:16:35 -07:00
  • 83567424ef Update base for Update on "[compiler] Add ImmutableCapture effect, CreateFrom no longer needs Capture" Joe Savona 2025-06-05 14:16:34 -07:00
  • 41e24fe57b Update on "[compiler] Improve inference of function expression mutation/aliasing effects" Joe Savona 2025-06-05 14:16:32 -07:00
  • ab7db629bc Update base for Update on "[compiler] Improve inference of function expression mutation/aliasing effects" Joe Savona 2025-06-05 14:16:31 -07:00
  • 42e305aac8 Update on "[compiler] Alternate pipeline for new mutability model" Joe Savona 2025-06-05 14:16:29 -07:00
  • e90a522e93 Update base for Update on "[compiler] Alternate pipeline for new mutability model" Joe Savona 2025-06-05 14:16:28 -07:00
  • 1d487190ac Update on "[compiler] Add HIRFunction.returns: Place" Joe Savona 2025-06-05 14:16:26 -07:00
  • 6d9f8c240c Update base for Update on "[compiler] Add HIRFunction.returns: Place" Joe Savona 2025-06-05 14:16:25 -07:00
  • ab402e8916 Update on "[compiler] Foundation of new mutability and aliasing (alternate take)" Joe Savona 2025-06-05 14:16:23 -07:00
  • 9f814f2632 Update base for Update on "[compiler] Foundation of new mutability and aliasing (alternate take)" Joe Savona 2025-06-05 14:16:22 -07:00
  • c33c9cf9e8 Update on "[compiler] Add Instruction.effects property" Joe Savona 2025-06-05 14:16:21 -07:00
  • e94d62d168 Update base for Update on "[compiler] Add Instruction.effects property" Joe Savona 2025-06-05 14:16:20 -07:00
  • 5df62a2450 Update on "[compiler] Repro for imprecise memo due to closure capturing changes" Joe Savona 2025-06-05 14:16:18 -07:00
  • be1f2d7113 Update base for Update on "[compiler] Repro for imprecise memo due to closure capturing changes" Joe Savona 2025-06-05 14:16:17 -07:00
  • a0f55dfa3d Update on "[compiler] avoid empty switch case bodies" Joe Savona 2025-06-05 14:16:15 -07:00
  • 2216cae602 Update base for Update on "[compiler] avoid empty switch case bodies" Joe Savona 2025-06-05 14:16:15 -07:00
  • df8d849de9 Update on "[compiler] allow local fixtures to be excluded from git w "nocommit" prefix" Joe Savona 2025-06-05 14:16:13 -07:00
  • 54a67a9df8 Update base for Update on "[compiler] allow local fixtures to be excluded from git w "nocommit" prefix" Joe Savona 2025-06-05 14:16:12 -07:00
  • a3b8b9c09a Update on "[compiler] Fix for PropertyStore object effect" Joe Savona 2025-06-05 14:16:10 -07:00
  • 673491384b Update base for Update on "[compiler] Fix for PropertyStore object effect" Joe Savona 2025-06-05 14:16:10 -07:00
  • 0f487215b5 Update on "[compiler] Fixture tests for PropertyStore effects" Joe Savona 2025-06-05 14:16:08 -07:00
  • 30d0054613 Update base for Update on "[compiler] Fixture tests for PropertyStore effects" Joe Savona 2025-06-05 14:16:08 -07:00
  • c71e6de7df Update on "[compiler] Move co-mutation range extension to InferMutableRanges" Joe Savona 2025-06-05 14:16:06 -07:00
  • 081f5fba04 Update base for Update on "[compiler] Move co-mutation range extension to InferMutableRanges" Joe Savona 2025-06-05 14:16:05 -07:00
  • 9f093fb771 Update on "[compiler] Infer alias effects for function expressions" Joe Savona 2025-06-05 14:16:03 -07:00
  • b623a29cbc Update base for Update on "[compiler] Infer alias effects for function expressions" Joe Savona 2025-06-05 14:16:03 -07:00
  • 62c6a44932 Update on "[compiler] Correctly infer context mutation places as outer (context) places" Joe Savona 2025-06-05 14:16:01 -07:00
  • f1399dbb87 Update base for Update on "[compiler] Correctly infer context mutation places as outer (context) places" Joe Savona 2025-06-05 14:16:01 -07:00
  • f5b3f00280 Update on "[compiler] Repro for false positive ValidateNoFreezingKnownMutableFunctions" Joe Savona 2025-06-05 14:15:59 -07:00
  • 9b0bcfeccd Update base for Update on "[compiler] Repro for false positive ValidateNoFreezingKnownMutableFunctions" Joe Savona 2025-06-05 14:15:58 -07:00
  • ba3cadffe9 [compiler][newinference] ensure fixpoint converges for loops w backedges Joe Savona 2025-06-05 14:00:56 -07:00
  • 301dd5c973 Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-05 14:00:54 -07:00
  • 56fcd7dc46 Update base for Update on "[compiler][newinference] Fix for phi types, extracting primitives from objects" Joe Savona 2025-06-05 14:00:54 -07:00
  • f6b96759db Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-05 14:00:52 -07:00
  • c0cde9b5e3 Update base for Update on "[compiler][newinference] Fixes for transitive function capturing, mutation via property loads" Joe Savona 2025-06-05 14:00:51 -07:00
  • 5c1bccfd7b Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-05 14:00:49 -07:00
  • ae603e44b8 Update base for Update on "[compiler] Effects for Return/MaybeThrow terminals" Joe Savona 2025-06-05 14:00:48 -07:00
  • aaa05cd6bd Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-05 14:00:46 -07:00
  • c95d030c50 Update base for Update on "[compiler] Post/Pre-FixUpdate, try/catch, ConditionallyMutateIterator support" Joe Savona 2025-06-05 14:00:46 -07:00
  • e37daaa89e Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-05 14:00:44 -07:00
  • 8871695888 Update base for Update on "[compiler] Further improve new range inference" Joe Savona 2025-06-05 14:00:43 -07:00
  • 4cdb34ca62 Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-05 14:00:41 -07:00
  • 81187ff89b Update base for Update on "[compiler] InferMutationAliasingRanges precisely models which values mutate when" Joe Savona 2025-06-05 14:00:40 -07:00
  • bd17613522 Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-05 14:00:37 -07:00
  • bccfafbd48 Update base for Update on "[compiler] Fix mutable ranges for StoreContext" Joe Savona 2025-06-05 14:00:37 -07:00
  • 495cc48544 Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-05 14:00:35 -07:00
  • 0e0030c3c3 Update base for Update on "[compiler] Distinguish Alias/Assign effects" Joe Savona 2025-06-05 14:00:34 -07:00
  • 147ff97c97 Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-05 14:00:32 -07:00
  • e812962a98 Update base for Update on "[compiler] Effect inference across signatures and user-provided callbacks" Joe Savona 2025-06-05 14:00:31 -07:00
  • 55760a9071 Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-05 14:00:29 -07:00
  • b75ca8380b Update base for Update on "[compiler] Receiver is mutate? for functions wo signatures" Joe Savona 2025-06-05 14:00:29 -07:00
  • 9d51990aee Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-05 14:00:27 -07:00
  • dd091cb4f2 Update base for Update on "[compiler] Handle legacy mutableIfOperandsMutable signatures" Joe Savona 2025-06-05 14:00:26 -07:00
  • 530f1d1c4a Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-05 14:00:24 -07:00
  • 4ae090860c Update base for Update on "[compiler] Prep for making new/call/etc use Apply effects" Joe Savona 2025-06-05 14:00:23 -07:00
  • a0306cb95f Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-05 14:00:21 -07:00
  • 9e165504a0 Update base for Update on "[compiler] Bailout on mutations of frozen/global values" Joe Savona 2025-06-05 14:00:20 -07:00
  • 8947d14f02 Update on "[compiler] comments and todos" Joe Savona 2025-06-05 14:00:18 -07:00
  • 57f71cd047 Update base for Update on "[compiler] comments and todos" Joe Savona 2025-06-05 14:00:18 -07:00
  • 79c1104c72 Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-05 14:00:15 -07:00
  • 6a13e403a5 Update base for Update on "[compiler] Translate legacy FunctionSignature into new AliasingEffects" Joe Savona 2025-06-05 14:00:15 -07:00
  • d5ae4d6104 Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-05 14:00:13 -07:00
  • f6c0047472 Update base for Update on "[compiler] First example of an aliasing signature (array push)" Joe Savona 2025-06-05 14:00:12 -07:00
  • a4277d84dc Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-05 14:00:10 -07:00
  • 6b7e5a0db2 Update base for Update on "[compiler] Delay mutation of function expr context variables until function is called" Joe Savona 2025-06-05 14:00:09 -07:00