Neboat/beta3 consolidate #17
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
disable cilksan instrumentation when reducing views of reducer hyperobjects, and update cilksan to use opencilk runtime interface for checking reducer races.
…tes instrumented of different sizes.
… memory for the call stack of the program-under-test.
…er than 8-byte lines
…n relevant for shadow-memory maintenance or series-parallel maintenance.
…ntation for parallel control flow out of the serialized loop, in order to respect the loop's grainsize.
…n Tapir loops with exceptional returns from the loop body.
… is interposed for reducer race detection, in order to clearly denote that method as an internal runtime method.
…lel), and add documentation about MAAPs.
…n Tapir loops with exceptional returns from the loop body.
…ion when releasing memory.
… multiple calls to find the taskframe tree occur on the same TaskInfo analysis.
…nitizer instrumentation, and address some bugs including bugs with handling analyses.
…ving instrumentation out of a serial loop from multiple task exits.
…ting a program with CilkSanitizer by running the CilkSanitizer pass multiple times, where different runs insert different sets of instrumentation.
…hen loop hoisting was enabled.
…c race detection is disabled.
… Start to generalize sunk instrumentation to handle loops with multiple exits.
…tation that is sunk to the loop exits.
…simply clear the freed shadow memory, rather than treat it as a write.
… and make sure to use the right trip-count computation.
… due to a realloc.
…d when the accessed addresses can be computed before entering the loop.
…llocate page-table shadow memory structure to conserve memory footprint
This was referenced Apr 25, 2021
Closed
This was referenced Jul 15, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Opening this WIP pull request for consolidating compiler changes for beta 3.