-
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