aviatesk/escapeanalysis.jl issues and pull requests

#95 - update with https://github.com/JuliaLang/julia/pull/43852

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#94 - improve `MethodError` analysis

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#93 - wip: interprocedural alias analysis

Pull Request - State: open - Opened by aviatesk almost 3 years ago

#92 - run `IPO EA` only when any of arguments is mutable

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#91 - sync implementations

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#90 - Implement FinalizerEscape

Pull Request - State: open - Opened by jpsamaroo almost 3 years ago - 1 comment

#89 - fix #88, account for aliases between arguments

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#88 - need to implement `ArgEscape`

Issue - State: closed - Opened by aviatesk almost 3 years ago

#87 - run EA before inlining for generating IPO cache

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 2 comments

#86 - fixes from code review

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#85 - add a simple array indexing analysis

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#84 - encode liveness information in `EscapeLattice`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#83 - liveness information

Issue - State: closed - Opened by aviatesk almost 3 years ago

#82 - generalize `FieldEscapes`/`ArrayEscapes` to `Indexable`/`Unindexable`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#81 - handle `:foreigncall` more seriously

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#80 - allow EA to run `IRCode` with new nodes

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#79 - generalize the idea of field/alias/array analysis

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#78 - documentations

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#77 - respect the current semantics of `BoundsError`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#76 - bandaid for #75, conservatively propagate `AllEscape` upon pointer operations

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 5 comments

#75 - EA doesn't account for escapes via pointer operations

Issue - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#74 - improve lattice operation performance

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#73 - simplify `NotAnalyzed` handling, minor performance optimization

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#72 - propagate escapes via exception

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 4 comments

#71 - update with https://github.com/JuliaLang/julia/pull/42465

Pull Request - State: open - Opened by aviatesk almost 3 years ago

#70 - add ImmutableArray support

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#69 - handle conflicting field information correctly

Pull Request - State: closed - Opened by aviatesk almost 3 years ago

#68 - add support for array primitives

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 2 comments

#67 - fix alias analysis, correctly propagate escapes via nested allocations

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#66 - add support for array primitives

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 3 comments

#65 - add support for array primitives

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#64 - setup `AnalysisState` struct and simplify signatures of subroutines

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#63 - perf: don't maintain `EscapeLattice` for no-longer existing `argtypes`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#62 - perf: maintain a single escape vector representing `Argument` and `SSAValue`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#61 - perf: avoid allocations from `EscapeSites::BitSet`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#60 - handle SSA values as statement

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#59 - make it easier to port to `Core.Compiler`

Pull Request - State: closed - Opened by aviatesk almost 3 years ago - 1 comment

#58 - Interprocedural info based on optimized IR can be invalid

Issue - State: open - Opened by ianatol about 3 years ago - 1 comment

#57 - fix #56, propagate `AllEscape` on global load/store

Pull Request - State: closed - Opened by aviatesk about 3 years ago

#56 - `GlobalEscape` should be `AllEscape`?

Issue - State: closed - Opened by aviatesk about 3 years ago - 2 comments

#55 - generalize flow-sensitivity

Pull Request - State: closed - Opened by aviatesk about 3 years ago - 4 comments

#54 - add flow-insensitive, local field / alias analysis

Pull Request - State: closed - Opened by aviatesk about 3 years ago - 4 comments

#53 - specialized escape_builtin! code quality tests throw exception from JET

Issue - State: closed - Opened by ianatol about 3 years ago - 2 comments

#52 - Update convert_to_ircode

Pull Request - State: closed - Opened by ianatol about 3 years ago - 1 comment

#51 - add `typeassert` handling

Pull Request - State: closed - Opened by aviatesk about 3 years ago - 1 comment

#50 - update to [email protected]

Pull Request - State: closed - Opened by aviatesk about 3 years ago - 1 comment

#49 - fix #48, handle variadic arguments

Pull Request - State: closed - Opened by aviatesk about 3 years ago - 1 comment

#48 - invalid escape lattice element returned from inter-procedural context

Issue - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#47 - Add flag setting code fro heap-to-stack optimization

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#46 - fix #45, propagate `GlobalEscape` from global load

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#45 - missing GlobalEscape for GlobalRef loads

Issue - State: closed - Opened by vtjnash over 3 years ago

#44 - fix strict lattice order `⋤`

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#43 - wip: field analysis

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 2 comments

#42 - add broken tests for incoming field analysis

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#41 - some housekeeping

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#40 - in-place state update and eliminate copies

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#39 - propagate escape information imposed on exception

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 4 comments

#38 - fix wrong initialization of the first argument

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#37 - make `ReturnEscape` flow-sensitive

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 3 comments

#36 - separate `OtherEscape` into `ThrownEscape` and `GlobalEscape`

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#35 - fix lattice ordering, make it consistent with `Core.Compiler`

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#34 - fix `nargs` handling

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#33 - initialize non-call arguments as `NoInformation`

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#32 - Several updates to sync with Julia master

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago

#31 - RFC: make lattice concrete

Pull Request - State: closed - Opened by vtjnash over 3 years ago - 2 comments

#30 - Support remaining unhandled exprs

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#29 - Handle `cfunction` exprs

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#28 - Conservatively handle `foreigncall` exprs

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 2 comments

#27 - Handle `isdefined` exprs

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#26 - Port EscapeAnalysis to Base.Compiler

Issue - State: closed - Opened by TH3CHARLie over 3 years ago - 2 comments

#25 - handle some of easy `Expr`s

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

#24 - follow up #16, fix unsound propagation for unhandled `Expr`s

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#23 - unhandled `Expr`s

Issue - State: closed - Opened by aviatesk over 3 years ago - 5 comments

#22 - head-to-stack optimization pass stage 1: set flag in Julia scope

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 3 comments

#21 - refactor lattice queries

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#20 - fix #7, appropriate conversion of inter-procedural context

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#19 - refactor builtin handlings

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#18 - end-to-end early-finalizer optimization targets

Issue - State: open - Opened by aviatesk over 3 years ago

#17 - finalizer elision

Issue - State: closed - Opened by aviatesk over 3 years ago

#16 - Only propagate escape information to non-bitstype arguments

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 14 comments

#15 - circumvent escapes through potential `throw` calls

Issue - State: closed - Opened by aviatesk over 3 years ago - 4 comments

#14 - simple optimization targets

Issue - State: closed - Opened by TH3CHARLie over 3 years ago - 1 comment

#13 - builtin: add `===` operator handling

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago - 2 comments

#12 - fix #6, escape (possibly) `throw`n arguments

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 6 comments

#11 - assert we're free from dynamic dispatches

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 4 comments

#10 - fix #8, fancy escape information printing

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 3 comments

#9 - recognize `eltype` usage

Issue - State: closed - Opened by TH3CHARLie over 3 years ago - 12 comments

#8 - nicer printing of escape information

Issue - State: closed - Opened by aviatesk over 3 years ago

#7 - incorrect interprocedural escape information conversion

Issue - State: closed - Opened by aviatesk over 3 years ago

#6 - recognize escapes from implicit `throw`s involved with builtins

Issue - State: closed - Opened by aviatesk over 3 years ago

#5 - builtin: add `sizeof` handling

Pull Request - State: closed - Opened by TH3CHARLie over 3 years ago

#4 - builtin: add `ifelse` handling

Pull Request - State: closed - Opened by aviatesk over 3 years ago

#3 - builtin: add `arrayset` handling

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 3 comments

#2 - correct propagation of changes

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 3 comments

#1 - initialize function arguments with `ReturnEscape`

Pull Request - State: closed - Opened by aviatesk over 3 years ago - 1 comment

GitHub / aviatesk/escapeanalysis.jl issues and pull requests