Code

Take purity modeling seriously#43852

Code

Merged

Keno merged 20 commits intomasterJuliaLang/julia:masterfrom kf/effectsstagingJuliaLang/julia:kf/effectsstagingCopy head branch name to clipboardFeb 9, 2022

+1,143-186

Commits

Commits on Feb 9, 2022

• Implement new effect system

  Show description for 2b87116
  Keno

  committed
  2b87116

• Make INV_2PI a tuple

  Show description for bfa17ba
  Keno

  committed
  bfa17ba

• Evalute :total function in the proper world

  Keno

  committed
  aaeb0d2

• Finish effects implementation for ccall

  Keno

  committed
  405a4f8

• Add missing esc

  Keno

  committed
  7bbf411

• Actually make use of terminates_locally override

  Keno

  committed
  c5f3804

• Mark ^(x::Float64, n::Integer) as locally terminating

  Keno

  committed
  d821b5a

• Shove effects into calling convention field

  Keno

  committed
  2f4c092

• Make inbounds taint consistency

  Show description for b9d6a21
  Keno

  committed
  b9d6a21

• Allow constprop to refine effects

  Keno

  committed
  c3fceed

• Properly taint unknown call in apply

  Keno

  committed
  7f14975

• Add NEWS and doc anchor

  Keno

  committed
  4b506e5

• Correct effect modeling for arraysize

  Keno

  committed
  c2ba653

• Address Shuhei's review

  Keno

  committed
  012d762

• Fix regression on inference time benchmark

  Show description for c25f4de
  Keno

  committed
  c25f4de

• refine docstrings of @assume_effects

  Show description for bfeaf3e
  

  aviatesk

  authored and

  Keno

  committed
  bfeaf3e

• improve effect analysis on allocation

  Show description for f0b081b
  

  aviatesk

  authored and

  Keno

  committed
  f0b081b

• address some reviews

  

  aviatesk

  authored and

  Keno

  committed
  511ddfa

• Address Jameson's review feedback

  Keno

  committed
  ab90932

• Fix tests - address rebase issues

  Keno

  committed
  b30e99c