use checksmix::{MMix, MMixAssembler, Mix, MmoDecoder, Program};
use std::env;
use std::fs;
use std::path::Path;
use std::process;
use tracing_subscriber::{EnvFilter, fmt};
fn main() {
fmt().with_env_filter(EnvFilter::from_default_env()).init();
let args: Vec<String> = env::args().collect();
if args.len() != 2 {
eprintln!("Usage: {} <program_file>", args[0]);
eprintln!("Supported file extensions:");
eprintln!(" .mix, .mixal - MIX computer");
eprintln!(" .mms - MMIX assembly source");
eprintln!(" .mmo - MMIX object code");
eprintln!("\nMIX Example program format:");
eprintln!(" ENTA 100");
eprintln!(" STA 200");
eprintln!(" ADD 200");
eprintln!("\nMMIX Example program format:");
eprintln!(" SET $2, 10");
eprintln!(" INCL $1, $2, $3");
eprintln!(" HALT");
process::exit(1);
}
let filename = &args[1];
let path = Path::new(filename);
let extension = path.extension().and_then(|s| s.to_str()).unwrap_or("");
match extension {
"mix" | "mixal" => run_mix(filename),
"mms" => run_mms(filename),
"mmo" => run_mmo(filename),
_ => {
eprintln!(
"Unknown file extension: .{}",
if extension.is_empty() {
"(none)"
} else {
extension
}
);
eprintln!("Supported extensions: .mix, .mixal, .mms, .mmo");
process::exit(1);
}
}
}
fn run_mix(filename: &str) {
let input = fs::read_to_string(filename).unwrap_or_else(|err| {
eprintln!("Error reading file '{}': {}", filename, err);
process::exit(1);
});
println!("=== MIX Computer ===");
println!("=== Loading program from: {} ===", filename);
println!();
let mut program = Program::new(&input);
if let Err(err) = program.parse() {
eprintln!("Error: {}", err);
process::exit(1);
}
println!(
"Program loaded successfully with {} instructions",
program.instruction_count()
);
println!();
let mut mix = Mix::new();
println!("=== Initial Machine State ===");
println!("{}", mix);
println!();
println!("=== Executing Program ===");
mix.execute(&program);
println!();
println!("=== Final Machine State ===");
println!("{}", mix);
println!();
println!("Execution completed.");
}
fn run_mms(filename: &str) {
let input = fs::read_to_string(filename).unwrap_or_else(|err| {
eprintln!("Error reading file '{}': {}", filename, err);
process::exit(1);
});
println!("=== MMIX Assembler ===");
println!("=== Parsing assembly from: {} ===", filename);
println!();
let mut assembler = MMixAssembler::new(&input, filename);
if let Err(e) = assembler.parse() {
eprintln!("Error: {}", e);
process::exit(1);
}
println!("Assembly parsed successfully");
println!();
let mut mmix = MMix::new();
for (addr, inst) in &assembler.instructions {
let bytes = assembler.encode_instruction_bytes(inst);
for (offset, &byte) in bytes.iter().enumerate() {
mmix.write_byte(addr + offset as u64, byte);
}
}
if let Some(&main_addr) = assembler.labels.get("Main") {
mmix.set_pc(main_addr);
} else {
let code_addr = assembler
.instructions
.iter()
.find(|(addr, _)| *addr < 0x2000000000000000)
.map(|(addr, _)| *addr)
.unwrap_or(0x100);
mmix.set_pc(code_addr);
}
println!("=== Initial Machine State ===");
println!("{}", mmix);
println!();
println!("=== Executing Program ===");
let count = mmix.run();
println!();
println!("Executed {} instructions", count);
println!();
println!("=== Final Machine State ===");
println!("{}", mmix);
println!();
println!("Execution completed.");
}
fn run_mmo(filename: &str) {
let data = fs::read(filename).unwrap_or_else(|err| {
eprintln!("Error reading file '{}': {}", filename, err);
process::exit(1);
});
println!("=== MMIX Computer ===");
println!("=== Loading program from: {} ===", filename);
println!();
let mut mmix = MMix::new();
let decoder = MmoDecoder::new(data);
let entry_point = decoder.decode(|addr, byte| {
mmix.write_byte(addr, byte);
});
mmix.set_pc(entry_point);
println!("Loaded object file (entry point: 0x{:X})", entry_point);
println!();
println!("=== Initial Machine State ===");
println!("{}", mmix);
println!();
println!("=== Executing Program ===");
let count = mmix.run();
println!();
println!("Executed {} instructions", count);
println!();
println!("=== Final Machine State ===");
println!("{}", mmix);
println!();
println!("Execution completed.");
}