Skip to content

Fix MoonBit deprecations and update Iterator APIs #11

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
peter-jerry-ye merged 4 commits into from
Jan 6, 2026
Merged

Fix MoonBit deprecations and update Iterator APIs #11

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
5651233
chore: update .gitignore for MoonBit artifacts
peter-jerry-ye Jan 6, 2026
ff84853
Migrate iterators and refresh formatting
peter-jerry-ye Jan 6, 2026
cb619d2
Refresh deps and generated interfaces
peter-jerry-ye Jan 6, 2026
0bc6366
fix: no need for iterator
peter-jerry-ye Jan 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,6 @@ target/
.mooncakes/
.DS_Store
.moonagent/
_build/
_build
target
126 changes: 66 additions & 60 deletions IR/BasicBlock.mbt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,25 +5,27 @@
///
/// Use `Function::addBasicBlock` to create a new `BasicBlock`.
///
/// ```mbt test
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [])
/// let fval = mod.addFunction(fty, "ret_42")
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let forty_two = ctx.getConstInt32(42)
/// let _ = builder.createRet(forty_two)
/// inspect(
/// bb,
/// content=(
/// #|entry:
/// #| ret i32 42
/// #|
/// ),
/// )
/// ```mbt check
/// test {
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [])
/// let fval = mod.addFunction(fty, "ret_42")
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let forty_two = ctx.getConstInt32(42)
/// let _ = builder.createRet(forty_two)
/// inspect(
/// bb,
/// content=(
/// #|entry:
/// #| ret i32 42
/// #|
/// ),
/// )
/// }
/// ```
pub struct BasicBlock {
uid : UInt64
Expand Down Expand Up @@ -52,22 +54,24 @@ fn BasicBlock::new(parent : Function, name~ : String?) -> BasicBlock {
///|
/// Get the first instruction in the basic block.
///
/// ```mbt test
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [i32_ty, i32_ty])
/// let fval = mod.addFunction(fty, "ret_42")
/// let arg0 = fval.getArg(0).unwrap()
/// let arg1 = fval.getArg(1).unwrap()
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let sum1 = builder.createAdd(arg0, arg1, name="sum1")
/// let sum2 = builder.createAdd(arg0, arg1, name="sum2")
/// let mul = builder.createMul(sum1, sum2, name="mul")
/// let _ = builder.createRet(mul)
/// inspect(bb.firstInst().unwrap(), content=" %sum1 = add i32 %0, %1")
/// ```mbt check
/// test {
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [i32_ty, i32_ty])
/// let fval = mod.addFunction(fty, "ret_42")
/// let arg0 = fval.getArg(0).unwrap()
/// let arg1 = fval.getArg(1).unwrap()
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let sum1 = builder.createAdd(arg0, arg1, name="sum1")
/// let sum2 = builder.createAdd(arg0, arg1, name="sum2")
/// let mul = builder.createMul(sum1, sum2, name="mul")
/// let _ = builder.createRet(mul)
/// inspect(bb.firstInst().unwrap(), content=" %sum1 = add i32 %0, %1")
/// }
/// ```
pub fn BasicBlock::firstInst(self : BasicBlock) -> &Instruction? {
self.head
Expand All @@ -76,22 +80,24 @@ pub fn BasicBlock::firstInst(self : BasicBlock) -> &Instruction? {
///|
/// Get the last instruction in the basic block.
///
/// ```mbt test
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [i32_ty, i32_ty])
/// let fval = mod.addFunction(fty, "ret_42")
/// let arg0 = fval.getArg(0).unwrap()
/// let arg1 = fval.getArg(1).unwrap()
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let sum1 = builder.createAdd(arg0, arg1, name="sum1")
/// let sum2 = builder.createAdd(arg0, arg1, name="sum2")
/// let mul = builder.createMul(sum1, sum2, name="mul")
/// let _ = builder.createRet(mul)
/// inspect(bb.lastInst().unwrap(), content=" ret i32 %mul")
/// ```mbt check
/// test {
/// let ctx = Context::new()
/// let mod = ctx.addModule("demo")
/// let builder = ctx.createBuilder()
/// let i32_ty = ctx.getInt32Ty()
/// let fty = ctx.getFunctionType(i32_ty, [i32_ty, i32_ty])
/// let fval = mod.addFunction(fty, "ret_42")
/// let arg0 = fval.getArg(0).unwrap()
/// let arg1 = fval.getArg(1).unwrap()
/// let bb = fval.addBasicBlock(name="entry")
/// builder.setInsertPoint(bb)
/// let sum1 = builder.createAdd(arg0, arg1, name="sum1")
/// let sum2 = builder.createAdd(arg0, arg1, name="sum2")
/// let mul = builder.createMul(sum1, sum2, name="mul")
/// let _ = builder.createRet(mul)
/// inspect(bb.lastInst().unwrap(), content=" ret i32 %mul")
/// }
/// ```
pub fn BasicBlock::lastInst(self : BasicBlock) -> &Instruction? {
loop self.head {
Expand All @@ -103,16 +109,16 @@ pub fn BasicBlock::lastInst(self : BasicBlock) -> &Instruction? {

///|
pub fn BasicBlock::instIter(self : BasicBlock) -> Iter[&Instruction] {
letrec f = yield_ => loop self.head {
Some(i) => {
let next_inst = i.next()
guard yield_(i) is IterContinue else { break IterEnd }
continue next_inst
let mut next_inst = self.head
Iterator::new(fn() {
match next_inst {
Some(inst) => {
next_inst = inst.next()
Some(inst)
}
None => None
}
None => break IterContinue
}

Iter::new(f)
}).iter()
}

///|
Expand Down
Loading