Code

feat!: Add monomorphization pass#1733

Code

Merged

doug-q merged 72 commits intomainCQCL/hugr:mainfrom acl/monomorphizeCQCL/hugr:acl/monomorphizeCopy head branch name to clipboardDec 12, 2024

+992-10

Commits

Commits on Nov 28, 2024

• Add {Dataflow,}OpTrait::substitute - compiles, no tests

  acl-cqc

  committed
  24bff91

  Copy full SHA for 24bff91

• WIP Add Hugr::substitute

  acl-cqc

  committed
  341e537

  Copy full SHA for 341e537

• WIP monomorphize via mono_scan

  acl-cqc

  committed
  6a96b2c

  Copy full SHA for 6a96b2c

• Use continue, match instead of if let |

  acl-cqc

  committed
  7866a62

  Copy full SHA for 7866a62

• WIP start copying edges...no not so simple

  acl-cqc

  committed
  871e796

  Copy full SHA for 871e796

• Break out is_polymorphic_funcdefn, tho only used once; remove obsolete comment

  acl-cqc

  committed
  ac536c5

  Copy full SHA for ac536c5

• Separate 'fn instantiate' to copy edges, add struct Instantiating; mv fn monomorphize

  acl-cqc

  committed
  ff04f13

  Copy full SHA for ff04f13

• Use Instantiating::poly_func, drop is_polymorphic_funcdefn; and ..**inst

  acl-cqc

  committed
  e5f665b

  Copy full SHA for e5f665b

• mangle inner names, switch from impl HugrMut to &mut Hugr

  acl-cqc

  committed
  6c00ad0

  Copy full SHA for 6c00ad0

• two-level Instantiations, flatten in instantiate()

  acl-cqc

  committed
  b666dd5

  Copy full SHA for b666dd5

• Add remove_polyfuncs, using remove_subtree

  acl-cqc

  committed
  5a4a0f9

  Copy full SHA for 5a4a0f9

• comments

  acl-cqc

  committed
  7de2c2b

  Copy full SHA for 7de2c2b

• name_mangle => mangle_name

  acl-cqc

  committed
  5bb0c57

  Copy full SHA for 5bb0c57

• WIP tests

  acl-cqc

  committed
  b04e1cf

  Copy full SHA for b04e1cf

Commits on Dec 1, 2024

• refactor: let mut = Instantiating; use static_output_port

  acl-cqc

  committed
  4aa6c79

  Copy full SHA for 4aa6c79

• Fixes: monomorphize Call op; read static input from old_ch

  acl-cqc

  committed
  a7d6137

  Copy full SHA for a7d6137

• Test: use pair/triple not list

  acl-cqc

  committed
  48a6598

  Copy full SHA for 48a6598

• Implement mangle_name

  acl-cqc

  committed
  937a6d0

  Copy full SHA for 937a6d0

Commits on Dec 2, 2024

• fixup! Test: use pair

  acl-cqc

  committed
  f15f09f

  Copy full SHA for f15f09f

• fix edge handling

  acl-cqc

  committed
  d5f15ff

  Copy full SHA for d5f15ff

• clippy/lint, docs

  acl-cqc

  committed
  ad00327

  Copy full SHA for ad00327

• test remove_polyfuncs

  acl-cqc

  committed
  c5a0f8d

  Copy full SHA for c5a0f8d

• Shorten test a bit

  acl-cqc

  committed
  04d60b1

  Copy full SHA for 04d60b1

• Factor out is_polymorphic_funcdefn, avoid root

  acl-cqc

  committed
  3be790e

  Copy full SHA for 3be790e

• remove_polyfuncs if non-module-rooted; implement mangle_inner_func

  acl-cqc

  committed
  4a9f7a2

  Copy full SHA for 4a9f7a2

• Fix monomorphized func -> Call edges

  acl-cqc

  committed
  8178b5d

  Copy full SHA for 8178b5d

• Test flattening (and multiple calls with different typeargs from one polyfunc)

  acl-cqc

  committed
  2090218

  Copy full SHA for 2090218

• Merge remote-tracking branch 'origin/main' into acl/monomorphize

  acl-cqc

  committed
  6ff4c3b

  Copy full SHA for 6ff4c3b

• tidy

  acl-cqc

  committed
  4429152

  Copy full SHA for 4429152

• clippy

  acl-cqc

  committed
  9fc3271

  Copy full SHA for 9fc3271

Commits on Dec 3, 2024

• Make test_module also test recursion

  acl-cqc

  committed
  9f0b906

  Copy full SHA for 9f0b906

• fix doclink

  acl-cqc

  committed
  1b7f9ee

  Copy full SHA for 1b7f9ee

• helper list_funcs

  acl-cqc

  committed
  8a52185

  Copy full SHA for 8a52185

• Test part-flattening

  acl-cqc

  committed
  5d54ee3

  Copy full SHA for 5d54ee3

• fix tests for all-features

  acl-cqc

  committed
  bbcda39

  Copy full SHA for bbcda39

• Merge remote-tracking branch 'origin/main' into acl/monomorphize

  acl-cqc

  committed
  bdfdbbd

  Copy full SHA for bdfdbbd

Commits on Dec 4, 2024

• silence clippy

  acl-cqc

  committed
  a26fa49

  Copy full SHA for a26fa49

• common up is_polymorphic

  acl-cqc

  committed
  275b155

  Copy full SHA for 275b155

• Move monomorphize.rs into hugr-passes, pub Substitution::new

  acl-cqc

  committed
  f7a6dca

  Copy full SHA for f7a6dca

• substitute(self) -> substitute(&self) calling subst_mut(&mut self)

  acl-cqc

  committed
  3e755d1

  Copy full SHA for 3e755d1

Commits on Dec 6, 2024

• Revert subst_mut; substitute takes &self; OpTrait requires Clone

  acl-cqc

  committed
  41d0812

  Copy full SHA for 41d0812

• Merge remote-tracking branch 'origin/main' into acl/monomorphize

  acl-cqc

  committed
  c0eae19

  Copy full SHA for c0eae19

Commits on Dec 9, 2024

• can't monomorphize array ops polymorphic in size because can't define them

  acl-cqc

  committed
  d4ab4aa

  Copy full SHA for d4ab4aa

• Revert "can't monomorphize array ops polymorphic in size because can't define them"

  Show description for 565a78a
  acl-cqc

  committed
  565a78a

  Copy full SHA for 565a78a

• A couple of test tidies

  acl-cqc

  committed
  134bda4

  Copy full SHA for 134bda4

• Remove remove_polyfuncs

  acl-cqc

  committed
  9f88f97

  Copy full SHA for 9f88f97

• Tests in controlflow.rs

  acl-cqc

  committed
  5d0ca00

  Copy full SHA for 5d0ca00

Commits on Dec 10, 2024

• Merge branch 'main' of gh:CQCL-DEV/hugr into acl/monomorphize

  doug-q

  committed
  2fb8a92

  Copy full SHA for 2fb8a92

• Revert "Remove remove_polyfuncs"

  Show description for 00c918c
  doug-q

  committed
  00c918c

  Copy full SHA for 00c918c

• wip

  doug-q

  committed
  43826be

  Copy full SHA for 43826be

• fix!: Replace LoadFunction::signature with LoadFunction::instantiation

  Show description for 802d361
  doug-q

  committed
  802d361

  Copy full SHA for 802d361

• Merge remote-tracking branch 'origin/doug/loadfunction-instantiation' into acl/monomorphize

  doug-q

  committed
  71253c8

  Copy full SHA for 71253c8

• Adjust flattening test to also check multiple typeargs and BoundedNats

  acl-cqc

  committed
  afb6e17

  Copy full SHA for afb6e17

Commits on Dec 11, 2024

• wip

  doug-q

  committed
  5d2ff7d

  Copy full SHA for 5d2ff7d

• Merge branch 'main' of gh:CQCL-DEV/hugr into acl/monomorphize

  doug-q

  committed
  efc461a

  Copy full SHA for efc461a

• wip

  doug-q

  committed
  703004e

  Copy full SHA for 703004e

Commits on Dec 12, 2024

• Revert "wip"

  Show description for 43c2f3e
  doug-q

  committed
  43c2f3e

  Copy full SHA for 43c2f3e

• Merge branch 'main' of gh:CQCL-DEV/hugr into acl/monomorphize

  doug-q

  committed
  bc839b7

  Copy full SHA for bc839b7

• fix up merge

  doug-q

  committed
  0adb432

  Copy full SHA for 0adb432

• Merge branch 'acl/monomorphize' of gh:CQCL-DEV/hugr into acl/monomorphize

  doug-q

  committed
  d933d59

  Copy full SHA for d933d59

• fmt

  doug-q

  committed
  5845706

  Copy full SHA for 5845706

• add array extension to signatures

  doug-q

  committed
  6049889

  Copy full SHA for 6049889

• fmt

  doug-q

  committed
  144fc47

  Copy full SHA for 144fc47

• lint

  doug-q

  committed
  becc847

  Copy full SHA for becc847

• docs + tweak name mangling

  doug-q

  committed
  df38d88

  Copy full SHA for df38d88

• docs

  doug-q

  committed
  4bde01d

  Copy full SHA for 4bde01d

• Update hugr-passes/src/monomorphize.rs

  Show description for d693c81
  

  doug-q

  and

  ss2165

  authored
  d693c81

  Copy full SHA for d693c81

• Update hugr-passes/src/monomorphize.rs

  Show description for 61afb2e
  

  doug-q

  and

  ss2165

  authored
  61afb2e

  Copy full SHA for 61afb2e

• Update hugr-passes/src/monomorphize.rs

  doug-q

  authored
  7618fa3

  Copy full SHA for 7618fa3

• Update hugr-passes/src/monomorphize.rs

  Show description for 44a354c
  

  doug-q

  and

  ss2165

  authored
  44a354c

  Copy full SHA for 44a354c

• remove call_indirect helper

  doug-q

  committed
  821c68e

  Copy full SHA for 821c68e

• Merge branch 'acl/monomorphize' of gh:CQCL-DEV/hugr into acl/monomorphize

  doug-q

  committed
  ae2b850

  Copy full SHA for ae2b850