PR #14474 elide code marked with `@boundscheck(...)`.

elide code marked with `@boundscheck(...)`. #14474

blakejohnson merged 18 commits into master from brj/boundscheck

blakejohnson force pushed from 04cce565 to 2793ca75 10 years ago

sjkelly reviewed on 2015-12-24

JeffBezanson reviewed on 2015-12-30

blakejohnson force pushed from 3d52676c to 3bb35b72 10 years ago

blakejohnson force pushed from 3bb35b72 to d45d8ccc 10 years ago

blakejohnson force pushed from d68b82a3 to 475498aa 10 years ago

blakejohnson force pushed from f2972bf0 to 5f319689 10 years ago

blakejohnson changed the title ~~WIP: elide code marked with `@boundscheck(...)`.~~ RFC: elide code marked with `@boundscheck(...)`. 10 years ago

blakejohnson reviewed on 2016-01-08

blakejohnson changed the title ~~RFC: elide code marked with `@boundscheck(...)`.~~ elide code marked with `@boundscheck(...)`. 10 years ago

blakejohnson force pushed from 5f319689 to 92ffbf45 10 years ago

blakejohnson force pushed from 92ffbf45 to 7fc535a2 10 years ago

tkelman added priority

blakejohnson force pushed from 5ec4e640 to 01d0f772 10 years ago

blakejohnson force pushed from 01d0f772 to f5033adf 10 years ago

JeffBezanson reviewed on 2016-01-13

blakejohnson force pushed from f5033adf to b74533ad 10 years ago

Elide boundscheck blocks when inbounds.

220807b3

Add tests for bounds check elimination.

c9587a7c

Update inbounds context regardless of options.

c3776240

Inject inbounds statements during inlining.

cd7686b4

Fix inbounds blocks inside boundscheck blocks.

ef07a232

Add inbounds meta elimination pass.

7f330f06

Update AST docs for :inbounds and :boundscheck.

4c93e673

Minor boundscheck test refactoring.

0f6ec72c

Add deprecation for 2-arg `@boundscheck`.

1c29b3c7

Create a mechanism to propagate an inbounds context.

09fb69b0

Add a user-facing version of `@propagate_inbounds`.

bf5d6cac

Patch up dangling BasicBlocks from skipped labels.

5ea20fcc

Throw error in emit_gcpops on a malformed BasicBlock.

96e8230a

Minor formatting change in codegen.

d50f28fd

Enable boundscheck tests.

43357df7

Mark `checkbounds(...)` callsites with `@boundscheck`.

ab57cac1

Document boundscheck elimination mechanism.

03a4e511

`boundscheck` to `inbounds` in comprehension lowering.

b74533ad

blakejohnson merged 99e292af into master 10 years ago

blakejohnson deleted the brj/boundscheck branch 10 years ago

rfourquet reviewed on 2016-01-14

mschauer reviewed on 2016-01-14

Reviewers

No reviews

Assignees

No one assigned

Labels

priority

Milestone

No milestone

julia elide code marked with `@boundscheck(...)`. #14474 Merged

elide code marked with `@boundscheck(...)`. #14474

julia
elide code marked with `@boundscheck(...)`.
#14474

Merged