Search results

Overwriting in bytecode

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3350

#3350 In ocaml-flambda/flambda-backend;

· anfelor opened on Dec 6, 2024

Generalize Uniqueness Analysis to arbitrary semirings

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3280

#3280 In ocaml-flambda/flambda-backend;

· anfelor opened on Nov 15, 2024

Move unique barriers from pattern_data to pattern_desc

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3251

#3251 In ocaml-flambda/flambda-backend;

· anfelor opened on Nov 11, 2024

Add unique barriers for Pduprecord, Parraylength, Parrayrefu

flambda2Prerequisite for, or part of, flambda2Prerequisite for, or part of, flambda2

lambdaLambda language changesLambda language changes

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3243

#3243 In ocaml-flambda/flambda-backend;

· anfelor opened on Nov 8, 2024

Testing of always using <code>Must_stay_here</code> as the unique barrier

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3239

#3239 In ocaml-flambda/flambda-backend;

· ncik-roberts opened on Nov 7, 2024

(TESTING) baseline for uniqueness analysis #2

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3176

#3176 In ocaml-flambda/flambda-backend;

· ncik-roberts opened on Oct 23, 2024

(TESTING) baseline for uniqueness analysis #1

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3175

#3175 In ocaml-flambda/flambda-backend;

· ncik-roberts opened on Oct 23, 2024

(TEST) uniqueness extension improvements

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3163

#3163 In ocaml-flambda/flambda-backend;

· ncik-roberts opened on Oct 21, 2024

Use alloc_mode with uniqueness for block allocations in lambda

lambdaLambda language changesLambda language changes

uniqueness

Status: Draft (not ready).

ocaml-flambda/flambda-backendnumber 3116

#3116 In ocaml-flambda/flambda-backend;

· anfelor opened on Oct 4, 2024