Commit Graph

  • 6abdf8f993 mie: implement block dominance calculation using lengauer-tarjan algorithm main Max Wash 2026-02-01 10:33:36 +00:00
  • 870b2bfbac mie: memref: add load op Max Wash 2026-02-01 10:33:03 +00:00
  • 5344c02b48 mie: builtin: add some diagnostics for value resolution Max Wash 2026-02-01 10:25:43 +00:00
  • 4a4f0c483a mie: ir: op: remove redundant op_dialect pointer Max Wash 2026-02-01 10:24:06 +00:00
  • f37ee90b0e mie: func: add function-like trait Max Wash 2026-01-31 23:29:17 +00:00
  • 3f901ed83a doc: update type prefix in sample graph files Max Wash 2026-01-27 20:52:25 +00:00
  • b28efa2d08 tool: optimise: update mie_lex usage Max Wash 2026-01-27 20:51:31 +00:00
  • 5835d25679 tool: validate: if parse fails, print any diagnostic messages Max Wash 2026-01-27 20:51:18 +00:00
  • d4fbd75a59 tool: implement a diagnostic message printer Max Wash 2026-01-27 20:47:32 +00:00
  • 0b1d4697a2 tool: ctx-dump: show registered diag classes/messages Max Wash 2026-01-27 20:47:10 +00:00
  • cd49417972 mie: add a system for registering and producing detailed diagnostic messages Max Wash 2026-01-27 20:46:44 +00:00
  • bd5ba9e9fd mie: lex: move file i/o handling to a separate struct Max Wash 2026-01-27 20:46:08 +00:00
  • b5fa40d4d8 mie: tool: add command to run optimisations on an input IR file Max Wash 2026-01-25 15:12:07 +00:00
  • a67e4b6688 mie: tool: validate: remove functionality that was moved to internal subcommands Max Wash 2026-01-25 15:11:06 +00:00
  • 5873326138 mie: tool: split internal command into several different subcommands Max Wash 2026-01-25 15:10:23 +00:00
  • 00152cac56 mie: convert-scf-to-cf: implement if match/rewrite using new interface Max Wash 2026-01-25 15:08:09 +00:00
  • 287983fa95 mie: implement a full rewriter with pattern-matching and rewriting support Max Wash 2026-01-25 15:06:43 +00:00
  • 8cdbf5389c mie: pass: manager: update mie_walker usage Max Wash 2026-01-25 15:05:44 +00:00
  • 00c7c3d5ea mie: parse: update parse_region_list to use new Op->Region linking mechanism Max Wash 2026-01-25 15:05:18 +00:00
  • 9e546ee32f mie: name: fix crash when destroying a zeroed mie_name Max Wash 2026-01-25 15:04:37 +00:00
  • 00ba3a3d87 mie: print: implement exception-printing of resolved, but null, op args Max Wash 2026-01-25 15:02:48 +00:00
  • d44bc8c5c0 mie: ir: op: fix crash when checking if an unresolved op is isolated Max Wash 2026-01-25 15:02:17 +00:00
  • a22e95d88d mie: ir: op: add functions to check what an Op is, and add successors with args Max Wash 2026-01-25 15:01:36 +00:00
  • 0a791fdfb2 mie: dialect: update Op emitter functions to use mie_emitter Max Wash 2026-01-25 15:00:37 +00:00
  • fe511011ec mie: ir: walk: implement non-recursive traversal Max Wash 2026-01-25 14:58:51 +00:00
  • e8534f8d70 mie: ir: Op->Region, Region->Block, and Block->Op lists are now b_queues rather than mie_vectors Max Wash 2026-01-25 14:56:47 +00:00
  • bf8c966c03 mie: ir: builder: add mie_emitter support Max Wash 2026-01-25 14:53:24 +00:00
  • 7d30e8f3ff mie: ir: add an emitter interface for emitting IR constructs Max Wash 2026-01-25 14:51:34 +00:00
  • e9d2c0fbc7 mie: scf: implement lots of print and emit functions Max Wash 2026-01-23 23:32:59 +00:00
  • a710ef0b24 mie: func: implement lots of print and emit functions Max Wash 2026-01-23 23:22:57 +00:00
  • 0277931ca1 mie: builtin: implement lots of print and emit functions Max Wash 2026-01-23 23:22:47 +00:00
  • ac7860b6bd mie: ir: rewrite: add pattern and rewriter interface Max Wash 2026-01-23 23:21:42 +00:00
  • 29984307aa mie: pass: support filtering passes to any op of a given dialect Max Wash 2026-01-23 23:21:16 +00:00
  • ac96248d7e mie: ir: builder: support adding names to non-isolated op regions Max Wash 2026-01-23 23:19:23 +00:00
  • 593eda2797 mie: trait: table: fix get_unique() unboxing the wrong pointer Max Wash 2026-01-23 23:17:39 +00:00
  • d0ac8a9fed mie: ir: walk: re-implement walker with a stack rather than a queue Max Wash 2026-01-23 22:50:05 +00:00
  • 89ebbcc462 mie: parse: replace all op-creation with mie_block_add_op calls Max Wash 2026-01-23 22:42:39 +00:00
  • 554a1e7342 mie: ir: op: keep a pointer to the block that contains the op Max Wash 2026-01-23 22:42:05 +00:00
  • 6d1e308ff1 mie: ir: op: only create a name map if the op is isolated-from-above Max Wash 2026-01-23 22:41:03 +00:00
  • 58bd336eb8 mie: dialect: add emitter functions for various ops Max Wash 2026-01-21 14:42:22 +00:00
  • 008966e046 mie: ir: add ir builder interface Max Wash 2026-01-21 14:40:22 +00:00
  • 83343a5eea mie: ir: block: add function to create block parameters Max Wash 2026-01-21 14:39:56 +00:00
  • 76166167c9 mie: builtin: improve int attribute print callback Max Wash 2026-01-21 14:39:12 +00:00
  • f6f6131f52 mie: builtin: add function to create mie_type_attr instances Max Wash 2026-01-21 14:38:01 +00:00
  • 33f9ccd871 mie: ir: register: implement moving and cleanup of mie_register_use Max Wash 2026-01-21 14:36:24 +00:00
  • 0c4ebe7f39 mie: ctx: add function to create ops Max Wash 2026-01-21 14:17:43 +00:00
  • 72de4ce845 mie: ir: op: add function to add op arguments Max Wash 2026-01-21 14:15:02 +00:00
  • 937dc57c4e tool: validate: resolve op definitions; run test pass feature/new-ir Max Wash 2026-01-19 14:00:25 +00:00
  • b8c0d139a8 vim: update type and attribute prefixes Max Wash 2026-01-19 14:00:04 +00:00
  • abf43a9022 doc: update ir sample files Max Wash 2026-01-19 13:59:43 +00:00
  • 4700ce7778 build: bump minimum CMake version Max Wash 2026-01-19 13:59:14 +00:00
  • 95c51045b6 meta: update clang-format config Max Wash 2026-01-19 13:59:00 +00:00
  • e62c9c4775 mie: ir: add stub rewriter interface Max Wash 2026-01-19 13:58:24 +00:00
  • a97678a1c2 mie: add stub memref dialect Max Wash 2026-01-19 13:58:12 +00:00
  • 5e13824706 mie: add parent pointers to region and block; two-way link between a register and its users Max Wash 2026-01-19 13:57:25 +00:00
  • da140ed0d1 mie: parse: remove duplicate sub-parsers in parse_generic_op Max Wash 2026-01-19 13:52:21 +00:00
  • cb3d37043c mie: update b_bstr usage Max Wash 2026-01-19 13:51:27 +00:00
  • 55161cd6c8 mie: re-implement vectors of blocks and registers using vector move callbacks Max Wash 2026-01-18 22:58:17 +00:00
  • 759aaf9fd8 mie: vector: add copy- and move-constructor support Max Wash 2026-01-18 21:52:39 +00:00
  • 04af390fe8 mie: pass: add a group of builtin passes Max Wash 2026-01-18 21:19:15 +00:00
  • 0add39f304 mie: implement a pass system Max Wash 2026-01-18 21:17:44 +00:00
  • 429ec770b5 mie: attribute: map: implement REPLACE flag in put() Max Wash 2026-01-18 21:16:28 +00:00
  • 092c9969cf mie: add NAME_EXISTS status code Max Wash 2026-01-18 21:16:10 +00:00
  • 6fcc3c8edd mie: ir: op: add functions to query a certain trait or interface Max Wash 2026-01-18 21:14:50 +00:00
  • d335cd9823 mie: ir: walk: walk is no longer recursive by default Max Wash 2026-01-18 20:27:55 +00:00
  • c014895051 mie: func: add return op Max Wash 2026-01-17 10:31:52 +00:00
  • 76477be5bd mie: arith: add cmpi and constant ops Max Wash 2026-01-17 10:31:39 +00:00
  • ee9e2d3050 mie: arith: implement op printer callbacks Max Wash 2026-01-17 10:31:08 +00:00
  • e5ecdd40e8 mie: cf: implement op printer callbacks Max Wash 2026-01-17 10:29:47 +00:00
  • c410e0a6e3 mie: builtin: implement op printer callbacks Max Wash 2026-01-17 10:28:51 +00:00
  • 3ba20e5ed4 mie: print: add more functions to printer interface Max Wash 2026-01-17 10:27:23 +00:00
  • f19dfaa050 mie: ctx: fix mie_ctx_resolve_op not checking op-definition pointer properly Max Wash 2026-01-17 10:26:37 +00:00
  • 2869e98556 mie: builtin: add function to get int/float value from an attribute Max Wash 2026-01-17 10:25:49 +00:00
  • b289c6e2de mie: ir: op: add function to get type from mie_op_arg Max Wash 2026-01-17 10:22:38 +00:00
  • fd72d217f6 mie: ir: implement a walker interface for traversing ir structures Max Wash 2026-01-17 10:21:58 +00:00
  • e1f7f46d3e mie: ir: replace mie_module ir object with a builtin generic "module" op Max Wash 2026-01-16 10:01:19 +00:00
  • 65905bc55b mie: implement support for custom op print formats Max Wash 2026-01-15 14:20:13 +00:00
  • 3c4af9c26e mie: builtin: initial implementation of a symbol system Max Wash 2026-01-14 18:21:25 +00:00
  • 11fc7a6ca9 mie: implement an interface system for ops Max Wash 2026-01-14 18:17:34 +00:00
  • 50f4be621b mie: move all builtin types (int, float, index, etc) and attributes to the builtin dialect Max Wash 2026-01-14 09:45:14 +00:00
  • da630ce382 mie: replace fixed value system with an extensible attribute interface Max Wash 2026-01-13 22:37:43 +00:00
  • d19e8626da mie: stop using movable memory for mie_name instances. Max Wash 2026-01-12 10:40:57 +00:00
  • 0fdadb3250 mie: trait: fix trait definitions not being initialised correctly Max Wash 2026-01-12 10:40:14 +00:00
  • 2d903f4a94 mie: type: fix type definitions not being initialised correctly Max Wash 2026-01-12 10:37:49 +00:00
  • 3aad8fd4a3 mie: index: cache: fix cache entries not being initialised correctly Max Wash 2026-01-12 10:36:32 +00:00
  • 49df8616a8 mie: implement a printer system for converting IR to textual form Max Wash 2026-01-12 10:33:08 +00:00
  • 826380ea34 mie: ctx: fix new mie_trait instances not being fully initialised Max Wash 2026-01-12 10:05:12 +00:00
  • 9df79f90a6 meta: add clang-format config Max Wash 2026-01-11 14:51:49 +00:00
  • c9c9cdf544 tool: add temporary parsing and ctx tests to validate subcommand Max Wash 2026-01-11 14:51:37 +00:00
  • 3253c4cac9 vim: add support for mach-registers, graph instructions, etc Max Wash 2026-01-11 14:51:09 +00:00
  • fc61b188e3 doc: add more sample ir and graph files Max Wash 2026-01-11 14:50:28 +00:00
  • 6b5fd95ac4 mie: op: add data structure for op successors Max Wash 2026-01-11 14:49:02 +00:00
  • 700f7fe96e mie: add no-data status code Max Wash 2026-01-11 14:48:45 +00:00
  • fdf46b8867 mie: add select dialect Max Wash 2026-01-11 14:48:30 +00:00
  • 417b5dc354 mie: builtin: add isolated-from-above trait Max Wash 2026-01-11 14:38:28 +00:00
  • d42e02f04d mie: parse: implement parsing of regions, block, attributes, and values Max Wash 2026-01-11 14:26:54 +00:00
  • 6e55642a19 mie: arith: add support for querying the width of int/float types Max Wash 2026-01-11 14:23:10 +00:00
  • 0c84578f95 mie: add support for caching float values Max Wash 2026-01-11 14:17:45 +00:00
  • 4a0fcef862 mie: add support for adding traits to types and ops Max Wash 2026-01-11 14:14:43 +00:00
  • 79c83ef73c mie: id: add iteration support to mie_id_map Max Wash 2026-01-11 14:03:51 +00:00