From 3f901ed83a9a9ce39a0bff9b50c0c9800a5a946c Mon Sep 17 00:00:00 2001 From: Max Wash Date: Tue, 27 Jan 2026 20:52:25 +0000 Subject: [PATCH] doc: update type prefix in sample graph files --- doc/sample/graph/1.mie | 30 +++++++++++++++--------------- doc/sample/graph/2.mie | 18 +++++++++--------- 2 files changed, 24 insertions(+), 24 deletions(-) diff --git a/doc/sample/graph/1.mie b/doc/sample/graph/1.mie index ad97f41..d64aaab 100644 --- a/doc/sample/graph/1.mie +++ b/doc/sample/graph/1.mie @@ -1,22 +1,22 @@ select.graph { - %entry = +select.entry -> #select.chain + %entry = +select.entry -> !select.chain - %0 = +select.register @0 : i32 -> #select.register - %1 = +select.register @1 : i32 -> #select.register + %0 = +select.register @0 : i32 -> !select.register + %1 = +select.register @1 : i32 -> !select.register %v.0, %c.0 = +select.register.read %entry, %0 \ - : (#select.chain, #select.register) \ - -> (i32, #select.chain) + : (!select.chain, !select.register) \ + -> (i32, !select.chain) %v.1, %c.1 = +select.register.read %entry, %1 \ - : (#select.chain, #select.register) \ - -> (i32, #select.chain) + : (!select.chain, !select.register) \ + -> (i32, !select.chain) %2 = +select.register @2 : i32 %v.2, %c.2 = +select.register.read %entry, %2 \ - : (#select.chain, #select.register) \ - -> (#select.register, #select.chain) + : (!select.chain, !select.register) \ + -> (!select.register, !select.chain) %v.3 = arith.build-pair %v.0, %v.1 : (i32, i32) -> i64 @@ -24,15 +24,15 @@ select.graph { %v.5 = arith.mul %v.4, %v.3 : (i32, i32) -> i32 - %x0 = +select.mach-register @x0 : i32 -> #select.register + %x0 = +select.mach-register @x0 : i32 -> !select.register %c.3, %g.0 = +select.register.write %entry, %x0, %v.5 \ - : (#select.chain, #select.register, i32) \ - -> (#select.chain, #select.glue) + : (!select.chain, !select.register, i32) \ + -> (!select.chain, !select.glue) %c.4 = *risc-v.RET %c.3, %x0, %g.0 \ - : (#select.chain, #select.register, #select.glue) \ - -> #select.chain + : (!select.chain, !select.register, !select.glue) \ + -> !select.chain - +select.graph-root %c.4 : #select.chain + +select.graph-root %c.4 : !select.chain } diff --git a/doc/sample/graph/2.mie b/doc/sample/graph/2.mie index d1fffd9..d11215e 100644 --- a/doc/sample/graph/2.mie +++ b/doc/sample/graph/2.mie @@ -1,31 +1,31 @@ select.graph { - %entry = +select.entry -> #select.chain + %entry = +select.entry -> !select.chain %N1 = ptr.alloca i32 -> ptr %N2 = i32.constant 3 -> i32 - %N3.c = +ptr.store %entry, %N2, %N1 : (#select.chain, i32, ptr) -> #select.chain + %N3.c = +ptr.store %entry, %N2, %N1 : (!select.chain, i32, ptr) -> !select.chain %N4 = ptr.alloca i32 -> ptr %N5 = i32.constant 0 -> i32 - %N6.c = +ptr.store %entry, %N5, %N4 : (#select.chain, i32, ptr) -> #select.chain + %N6.c = +ptr.store %entry, %N5, %N4 : (!select.chain, i32, ptr) -> !select.chain - %N7, %N7.c = +ptr.load %N6.c, %N1 : (#select.chain, ptr) -> (#ivy.id, #select.chain) + %N7, %N7.c = +ptr.load %N6.c, %N1 : (!select.chain, ptr) -> (!ivy.id, !select.chain) %N8 = i32.constant 10 -> i32 - %N9 = arith.cmp gt %N7, %N8 : (#ivy.id, i32) -> i1 + %N9 = arith.cmp gt %N7, %N8 : (!ivy.id, i32) -> i1 - %N10.c = +select.chain-group %N7.c, %N6.c : (#select.chain, #select.chain) -> #select.chain + %N10.c = +select.chain-group %N7.c, %N6.c : (!select.chain, !select.chain) -> !select.chain - %N11 = +select.block-ref @if.true -> #select.block + %N11 = +select.block-ref @if.true -> !select.block - %N12.c = +cf.br-cond %N10.c, %N9, %N11 : (#select.chain, i1, #select.block) -> #select.chain + %N12.c = +cf.br-cond %N10.c, %N9, %N11 : (!select.chain, i1, !select.block) -> !select.chain - %N13 = +select.block-ref @if.false -> #select.block + %N13 = +select.block-ref @if.false -> !select.block %N14.c = cf.br %N12.c, %N13