Skip to content
This repository has been archived by the owner on Jan 23, 2023. It is now read-only.

Jit: fix issue with single-def type propagation #10867

Merged
merged 1 commit into from
Apr 11, 2017
Merged

Jit: fix issue with single-def type propagation #10867

merged 1 commit into from
Apr 11, 2017

Commits on Apr 10, 2017

  1. Jit: fix issue with single-def type propagation 

    To avoid overly aggressive type propagation when there are multiple
reaching definitions, only propagate types to single-IL-def locals
when the definiting value comes from the same basic block as the store.
We check this conservatively by insisting that the block's entry stack
be empty.

Added a test case where the jit will improperly devirtualize without
such a check.

Closes #10858.
    @AndyAyersMS
    AndyAyersMS committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    a9044a1 View commit details
    Browse the repository at this point in the history