xdslproject/xdsl: v0.22.0

xDSL framework core: Assembly format shouldn't require $*SegmentSizes @alexarice (#3123) core: Add successors to assembly format @alexarice (#3124) core: (irdl) Add support for regions in optional groups to declarative assembly format @kimxworrall (#3106) core: Implement speculability trait and helper. @PapyChacal (#3102) frontend: (stablehlo) add ir generation from jaxpr @shreya-um (#3038) core: Implement IRDL SameSize options @PapyChacal (#3067) rewriting: Make modify_block_argument_type modify_value_type @PapyChacal (#3045) transformations: Implement shape-inference pass @PapyChacal (#3047) core: Improved treatment of whitespace in assembly format @alexarice (#3044) core: CanonicaliZation naming consistency @PapyChacal (#3040) core: helpers for IRDL construct type access. @PapyChacal (#3025) core: Implement simple helpers for construct type access. @PapyChacal (#3024) core: implement EffectInstance @PapyChacal (#2987) (core) Support UnitAttr in assembly format @n-io (#2995) core: (irdl) Add regions to declarative assembly format @kimxworrall (#3065) core: Add BitEnumAttribute @zero9178 (#2617) core: (affine) override python floordiv symbol @jorendumoulin (#2942) Dialects dialects: (csl) added csl.addressof_fn @dk949 (#3135) dialects: Add NoMemoryEffect trait in various LLVM and builtin ops @JosseVanDelm (#3127) dialects: (riscv) canonize x ^ x = 0 @mamanain (#3121) dialects: (stim) initialise dialect @kimxworrall (#3042) dialects: (stablehlo) add stablehlo.dot @superlopuh (#3090) dialects: (stablehlo) add stablehlo.after_all @efferifick (#3104) dialects: (stablehlo) add stablehlo.case @efferifick (#3095) dialects: (stablehlo) add stablehlo.bitcast_convert @efferifick (#3100) dialects: (transform) Fix amount of returned loops in TileOp @JonasCrols (#3080) dialects: (stablehlo) add stablehlo.token @efferifick (#3093) dialects: (stablehlo) add stablehlo.precision @superlopuh (#3089) dialects: (stablehlo) Add support for returnOp @efferifick (#3085) dialects: (transform) Add structured match operation @JonasCrols (#3079) dialects: (stablehlo) Add support for andOp @efferifick (#3081) dialects: stencil: Allow loading and storing from a same field. @PapyChacal (#3071) dialects: Update dialects with SameSize IRDL options. @PapyChacal (#3070) dialects: Update tensor side-effect traits @n-io (#3069) transformations: Enable dmp.swap stencil bufferization. @PapyChacal (#3066) dialects: Update dmp.swap @PapyChacal (#3056) transformations: Decouple distribute-stencil from shape-inference @PapyChacal (#3054) dialects: dmp: make strategies attributes and carry them in IR @PapyChacal (#3050) dialects: (Transform) Add new selecting operations @JonasCrols (#3015) dialect: (irdl) Add region and attributes operations @alexarice (#3049) dialects: (stablehlo) add transpose @superlopuh (#3031) dialects: (irdl) Update for mlir compatibility @alexarice (#3002) dialects: (stablehlo) add elementwise add, sub, mul @superlopuh (#3030) dialects: (stablehlo) Add initial contribution for stablehlo dialect @efferifick (#3020) dialects: (csl_stencil) Enable bufferized csl_stencil.apply @n-io (#2994) dialects: (riscv_snitch) add vfmax.s @superlopuh (#2988) dialects: Add stencil features meant for bufferization @PapyChacal (#2985) dialects: Enable bufferized stencil.apply @PapyChacal (#2982) dialects: (tensor) Incorrect default 'dynamic index' on insert_slice op @n-io (#2974) dialects: (arith, core) Constant op to accept tensor and memref @n-io (#2969) (bug): linalg named ops to include hidden regions in generic print @n-io (#2957) (dialects): improving stencil attr syntax mlir compatibility @n-io (#2947) dialects: (scf) Add parse/print to scf.if @alexarice (#3126) dialects: (vector) add pure trait to vector.broadcast and vector.fma @knickish (#3094) dialects: (bufferization) Add to_memref op @n-io (#2996) dialects: (linalg) Add Quantized Matmul @JonasCrols (#2999) dialects: (stencil) Relax stencil.return for tensors @n-io (#2989) dialects: (transform) Add some transform dialect operations @JonasCrols (#2973) dialects: (tensor) add tensor.dim and tensor.cast op @jorendumoulin (#2968) dialects: (linalg) add correct generic printing for fill, and matmul @jorendumoulin (#2971) transforms: (memref_stream) add missing doc and library call in generic constructors @jorendumoulin (#2941) Transformations transformations: (stencil-tensorize-z-dim) Support loops @n-io (#3118) transforms: Fix constant pinning breaking for external functions @AntonLydike (#3131) bug: (csl-stencil-to-csl-wrapper) Reverse generated operands @n-io (#3112) transformations: (csl-stencil-to-csl-wrapper) Generate symbol export and no memref.globals @n-io (#3101) transformations: Translate memref to dsd @n-io (#3092) transformations: Support safe inplace stencil bufferization. @PapyChacal (#3077) transformations: Implement control-flow-hoist @PapyChacal (#3103) transformations: (csl-stencil-to-csl-wrapper) Support reading properties from bufferized csl-stencil @n-io (#3083) transformations: (csl-stencil-bufferize) Fold csl_stencil.access that have no effect @n-io (#3084) transformations: stencil-bufferize side-effect analysis fix @PapyChacal (#3076) dialects: stencil: Allow loading and storing from a same field. @PapyChacal (#3071) transformations: Enable bufferized dmp.swap lowering. @PapyChacal (#3073) transformations: Forgotten xdsl/transforms/shape_inference_patterns/init.py @PapyChacal (#3072) transformations: (stencil-to-csl-stencil) Support also bufferized dmp.swap @n-io (#3068) transformations: Enable dmp.swap stencil bufferization. @PapyChacal (#3066) transformations: Tensorize new result of dmp.swap @n-io (#3063) dialects: Update dmp.swap @PapyChacal (#3056) transformations: Decouple distribute-stencil from shape-inference @PapyChacal (#3054) dialects: dmp: make strategies attributes and carry them in IR @PapyChacal (#3050) transformations: (csl-stencil-to-csl-wrapper) Translate func args to exportable memref.global @n-io (#3051) transformations: update stencil lowering to properly accomodate bufferized stencils. @PapyChacal (#3016) transformations: Implement shape-inference pass @PapyChacal (#3047) transformations: stencil shape inference polish @PapyChacal (#3046) transformations: stencil bufferization polish @PapyChacal (#3001) transformations: Add linalg-to-csl pass @n-io (#3028) transformations: (csl-stencil-bufferize) Inject iter_arg into linalg compute @n-io (#3033) transformations: (csl_stencil) Add bufferization pass @n-io (#3004) transformations: First implementation of stencil-bufferize @PapyChacal (#2983) transformations: Enable bufferized stencil lowering. @PapyChacal (#2984) transformations: (stencil-tensorize-z-dim) Scaling z-shifts to avoid negative offsets @n-io (#2975) transform: (stencil-tensorize-z-dimension) Tensorize arith.constant directly @n-io (#2970) transformations: lift arith to linalg named ops @n-io (#2963) (transforms): dont have tensor inside memref @n-io (#2962) (transform): csl_wrapper program module init @n-io (#2891) (transform): csl_stencil canonicalization pass @n-io (#2814) transformations: (memref_stream) add memref_stream.generic legalization pass @nazavode (#2929) Backend fix: Param names were not correctly referenced in the printer @dk949 (#3108) backend: (riscv) print list of registers to regalloc stats @superlopuh (#3111) backend: (JAX) add some syntax sugar for typed compiled functions @superlopuh (#3058) backend: (JAX) add export to JAX executable @superlopuh (#3057) backend: (riscv) fix register allocation stats @superlopuh (#2961) backend: (riscv) add option to insert regalloc stats @superlopuh (#2958) backend: (snitch) add an optimization-level option to linalg-snitch pass @superlopuh (#2956) backend: (snitch) unify all the test passes as a single end-to-end pass @superlopuh (#2955) dialects: (riscv_snitch) lower arith.addf on vector to vfadd.h @nazavode (#2934) Interpreter interpreter: fix int64 format in ptr dtypes @superlopuh (#3035) API api: deprecate print_string_raw in favor of indent=0 @superlopuh (#2951) api: remove parameters field from Trait @superlopuh (#2940) 🗎 Documentation docs: (marimo) use carousel in linalg snitch notebook @superlopuh (#2933) 🐛 Bug Fixes core: Assembly format shouldn't require $*SegmentSizes @alexarice (#3123) tests: Increase timeout on lit tests @alexarice (#3125) bug: remove duplicate isattr definition @superlopuh (#3088) transformations: stencil-bufferize side-effect analysis fix @PapyChacal (#3076) dependencies: fix numpy version for subprojects that depend on it @superlopuh (#3062) interpreter: fix int64 format in ptr dtypes @superlopuh (#3035) bug: (snitch_stream) fix stride pattern repeat param parsing @superlopuh (#2986) transformations: (stencil-tensorize-z-dim) Scaling z-shifts to avoid negative offsets @n-io (#2975) dialects: (arith, core) Constant op to accept tensor and memref @n-io (#2969) backend: (riscv) fix register allocation stats @superlopuh (#2961) (bug): linalg named ops to include hidden regions in generic print @n-io (#2957) (bug): fix csl_stencil canonicalise @n-io (#2949) Testing tests: Increase timeout on lit tests @alexarice (#3125) dialect: (irdl) Add region and attributes operations @alexarice (#3049) core: Improved treatment of whitespace in assembly format @alexarice (#3044) dialects: (irdl) Update for mlir compatibility @alexarice (#3002) misc: Add Dialect.split_name method @alexarice (#3003) testing: add relu f32 to bottom-up tests @superlopuh (#2990) testing: (linalg-snitch) change order of incrementally added passes @superlopuh (#2966) Continuous Integration CI: update ruff precommit @superlopuh (#3119) ci: Enable pip caching @n-io (#3098) CI: Python 3.12 @PapyChacal (#3074) dependencies: fix numpy version for subprojects that depend on it @superlopuh (#3062) CI: add end of file and end of line pre-commit hooks @superlopuh (#3053) CI: update pre-commit-hooks @superlopuh (#3052) CI: use ruff to format xdsl @superlopuh (#3023) CI: move ruff line setting to only linting @superlopuh (#3022) CI: remove isort from dev dependencies @superlopuh (#3011) CI: lint jupyter notebooks using ruff @superlopuh (#3010) CI: use .lint when required by ruff @superlopuh (#3007) CI: include onnx interpreter for pyright @superlopuh (#3012) CI: update ruff precommit @superlopuh (#3006) CI: add clean-caches make rule and remove *.cover files @superlopuh (#3008) CI: don't run coverage by default in cmath conversion test @superlopuh (#3009) Installation pip prod(deps): bump textual from 0.78.0 to 0.79.1 @dependabot (#3130) pip prod(deps): bump textual-dev from 1.5.1 to 1.6.1 @dependabot (#3129) pip prod(deps): bump marimo from 0.8.5 to 0.8.7 @dependabot (#3128) pip prod(deps): bump ruff from 0.6.2 to 0.6.3 @dependabot (#3116) pip prod(deps): bump marimo from 0.8.4 to 0.8.5 @dependabot (#3117) pip prod(deps): bump marimo from 0.8.3 to 0.8.4 @dependabot (#3109) pip prod(deps): bump textual from 0.77.0 to 0.78.0 @dependabot (#3105) pip prod(deps): bump ruff from 0.6.1 to 0.6.2 @dependabot (#3097) pip prod(deps): bump marimo from 0.8.0 to 0.8.3 @dependabot (#3096) pip prod(deps): bump pytest-asyncio from 0.23.8 to 0.24.0 @dependabot (#3086) pip prod(deps): bump marimo from 0.7.20 to 0.8.0 @dependabot (#3061) pip prod(deps): bump ruff from 0.6.0 to 0.6.1 @dependabot (#3060) pip prod(deps): bump textual from 0.76.0 to 0.77.0 @dependabot (#3087) dependencies: fix numpy version for subprojects that depend on it @superlopuh (#3062) installation: Update nix flake @alexarice (#3059) dependencies: update ruff-pre-commit to v0.6.0 @superlopuh (#3039) pip prod(deps): bump ruff from 0.5.7 to 0.6.0 @dependabot (#3043) dependencies: add JAX as an optional dependency of xDSL @superlopuh (#3037) pip prod(deps): bump marimo from 0.7.19 to 0.7.20 @dependabot (#3021) pip prod(deps): bump textual from 0.75.1 to 0.76.0 @dependabot (#3013) pip prod(deps): bump marimo from 0.7.18 to 0.7.19 @dependabot (#2998) pip prod(deps): bump ruff from 0.5.6 to 0.5.7 @dependabot (#2997) pip prod(deps): bump marimo from 0.7.17 to 0.7.18 @dependabot (#2992) pip prod(deps): bump black[jupyter] from 24.4.2 to 24.8.0 @dependabot (#2980) pip prod(deps): bump textual from 0.75.0 to 0.75.1 @dependabot (#2981) pip prod(deps): bump ruff from 0.5.5 to 0.5.6 @dependabot (#2979) pip prod(deps): bump marimo from 0.7.14 to 0.7.17 @dependabot (#2978) pip prod(deps): bump textual from 0.74.0 to 0.75.0 @dependabot (#2977) pip prod(deps): bump onnx from 1.16.1 to 1.16.2 @dependabot (#2976) pip prod(deps): bump marimo from 0.7.12 to 0.7.14 @dependabot (#2965) pip prod(deps): bump pre-commit from 3.7.1 to 3.8.0 @dependabot (#2954) pip prod(deps): bump textual from 0.73.0 to 0.74.0 @dependabot (#2943) pip prod(deps): bump marimo from 0.7.11 to 0.7.12 @dependabot (#2944) pip prod(deps): bump ruff from 0.5.4 to 0.5.5 @dependabot (#2945) pip prod(deps): bump marimo from 0.7.9 to 0.7.11 @dependabot (#2935) Miscellaneous misc: remove type annotations from operand definitions [NFC] @superlopuh (#3120) core: Assembly format shouldn't require $*SegmentSizes @alexarice (#3123) core: (irdl) Add support for regions in optional groups to declarative assembly format @kimxworrall (#3106) bug: (csl-stencil-to-csl-wrapper) Reverse generated operands @n-io (#3112) transformations: (csl-stencil-to-csl-wrapper) Support reading properties from bufferized csl-stencil @n-io (#3083) core: Implement speculability trait and helper. @PapyChacal (#3102) transformations: (csl-stencil-bufferize) Fold csl_stencil.access that have no effect @n-io (#3084) transformations: stencil-bufferize side-effect analysis fix @PapyChacal (#3076) dialects: Update dialects with SameSize IRDL options. @PapyChacal (#3070) transformations: Forgotten xdsl/transforms/shape_inference_patterns/init.py @PapyChacal (#3072) dialects: Update tensor side-effect traits @n-io (#3069) transformations: (stencil-to-csl-stencil) Support also bufferized dmp.swap @n-io (#3068) transformations: Tensorize new result of dmp.swap @n-io (#3063) installation: Update nix flake @alexarice (#3059) rewriting: Make modify_block_argument_type modify_value_type @PapyChacal (#3045) misc: Fix typo achorable -> anchorable @alexarice (#3048) core: CanonicaliZation naming consistency @PapyChacal (#3040) misc: remove mentions of black formatter @superlopuh (#3032) misc: make some pyright ignores more specific [NFC] @superlopuh (#3029) misc: Add Dialect.split_name method @alexarice (#3003) misc: don't set pass spec arguments from instance when they are the default value @superlopuh (#3005) transformations: Enable bufferized stencil lowering. @PapyChacal (#2984) transformations: (stencil-tensorize-z-dim) Scaling z-shifts to avoid negative offsets @n-io (#2975) transform: (stencil-tensorize-z-dimension) Tensorize arith.constant directly @n-io (#2970) dialects: (tensor) Incorrect default 'dynamic index' on insert_slice op @n-io (#2974) misc: don't import riscv and x86 in xdsl-opt @superlopuh (#2967) misc: use specific print method in printer.py @superlopuh (#2964) (transforms): dont have tensor inside memref @n-io (#2962) misc: move IRDLDialectLoader to own file and remove circular dependency @superlopuh (#2946) misc: use more isattr checks @superlopuh (#2952) misc: make version lazy @superlopuh (#2950) misc: remove some pylance errors throughout the project [NFC] @superlopuh (#2953) (transform): csl_stencil canonicalization pass @n-io (#2814) misc: move print_csl import away from top level @superlopuh (#2948) misc: use constraints in more operation definitions @superlopuh (#2939)

Sasha Lopoukhine, Fehr Mathieu, Emilien Bauer, Anton Lydike, Michel Weber, George Bisbas, Dalia Shaaban, kingiler, Nicolai Stawinoga, Tobias Grosser, kayode-gif, Chris Vasiladiotis, Nick Brown, Théo Degioanni, KGrykiel, Christian Ulmann, Prathamesh Tagore, Josse Van Delm, Alex Rice, … Martin Paul Lücke. (2024). xdslproject/xdsl: v0.22.0 (v0.22.0). Zenodo. https://doi.org/10.5281/zenodo.13629318