Compare commits

...

2 Commits

4 changed files with 128 additions and 36 deletions

View File

@ -1,4 +1,5 @@
const std = @import("std"); const std = @import("std");
const util = @import("util.zig");
const Bus = @import("bus.zig").Bus; const Bus = @import("bus.zig").Bus;
const Scheduler = @import("scheduler.zig").Scheduler; const Scheduler = @import("scheduler.zig").Scheduler;
@ -16,12 +17,11 @@ pub const ARM7TDMI = struct {
cpsr: CPSR, cpsr: CPSR,
pub fn new(scheduler: *Scheduler, bus: *Bus) @This() { pub fn new(scheduler: *Scheduler, bus: *Bus) @This() {
const cpsr: u32 = 0x0000_00DF;
return .{ return .{
.r = [_]u32{0x00} ** 16, .r = [_]u32{0x00} ** 16,
.sch = scheduler, .sch = scheduler,
.bus = bus, .bus = bus,
.cpsr = @bitCast(CPSR, cpsr), .cpsr = .{ .inner = 0x0000_00DF },
}; };
} }
@ -47,7 +47,7 @@ pub const ARM7TDMI = struct {
}; };
fn armIdx(opcode: u32) u12 { fn armIdx(opcode: u32) u12 {
return @truncate(u12, opcode >> 20 & 0xFF) << 4 | @truncate(u12, opcode >> 8 & 0xF); return @truncate(u12, opcode >> 20 & 0xFF) << 4 | @truncate(u12, opcode >> 4 & 0xF);
} }
fn populate() [0x1000]InstrFn { fn populate() [0x1000]InstrFn {
@ -65,29 +65,18 @@ fn populate() [0x1000]InstrFn {
lut[i] = comptimeDataProcessing(I, S, instrKind); lut[i] = comptimeDataProcessing(I, S, instrKind);
} }
if (i >> 9 & 0x7 == 0b000 and i >> 6 & 0x01 == 0x00 and i & 0xF == 0x0) { if (i >> 9 & 0x7 == 0b000 and i >> 3 & 0x01 == 0x01 and i & 0x01 == 0x01) {
// Halfword and Signed Data Transfer with register offset // Halfword and Signed Data Transfer with register offset
const P = i >> 8 & 0x01 == 0x01; const P = i >> 8 & 0x01 == 0x01;
const U = i >> 7 & 0x01 == 0x01; const U = i >> 7 & 0x01 == 0x01;
const I = true; const I = i >> 6 & 0x01 == 0x01;
const W = i >> 5 & 0x01 == 0x01; const W = i >> 5 & 0x01 == 0x01;
const L = i >> 4 & 0x01 == 0x01; const L = i >> 4 & 0x01 == 0x01;
lut[i] = comptimeHalfSignedDataTransfer(P, U, I, W, L); lut[i] = comptimeHalfSignedDataTransfer(P, U, I, W, L);
} }
if (i >> 9 & 0x7 == 0b000 and i >> 6 & 0x01 == 0x01) { if (i >> 10 & 0x3 == 0b01) {
// Halfword and Signed Data Tranfer with immediate offset
const P = i >> 8 & 0x01 == 0x01;
const U = i >> 7 & 0x01 == 0x01;
const I = false;
const W = i >> 5 & 0x01 == 0x01;
const L = i >> 4 & 0x01 == 0x01;
lut[i] = comptimeHalfSignedDataTransfer(P, U, I, W, L);
}
if (i >> 10 & 0x3 == 0b01 and i & 0x01 == 0x00) {
const I = i >> 9 & 0x01 == 0x01; const I = i >> 9 & 0x01 == 0x01;
const P = i >> 8 & 0x01 == 0x01; const P = i >> 8 & 0x01 == 0x01;
const U = i >> 7 & 0x01 == 0x01; const U = i >> 7 & 0x01 == 0x01;
@ -108,22 +97,85 @@ fn populate() [0x1000]InstrFn {
}; };
} }
const CPSR = packed struct { const CPSR = struct {
n: bool, // Negative / Less Than inner: u32,
z: bool, // Zero
c: bool, // Carry / Borrow / Extend pub fn n(self: *const @This()) bool {
v: bool, // Overflow return self.inner >> 31 & 0x01 == 0x01;
_: u20, }
i: bool, // IRQ Disable
f: bool, // FIQ Diable pub fn set_n(self: *@This(), set: bool) void {
t: bool, // State self.set_bit(31, set);
m: Mode, // Mode }
pub fn z(self: *const @This()) bool {
return self.inner >> 30 & 0x01 == 0x01;
}
pub fn set_z(self: *@This(), set: bool) void {
self.set_bit(30, set);
}
pub fn c(self: *const @This()) bool {
return self.inner >> 29 & 0x01 == 0x01;
}
pub fn set_c(self: *@This(), set: bool) void {
self.set_bit(29, set);
}
pub fn v(self: *const @This()) bool {
return self.inner >> 28 & 0x01 == 0x01;
}
pub fn set_v(self: *@This(), set: bool) void {
self.set_bit(28, set);
}
pub fn i(self: *const @This()) bool {
return self.inner >> 7 & 0x01 == 0x01;
}
pub fn set_i(self: *@This(), set: bool) void {
self.set_bit(7, set);
}
pub fn f(self: *const @This()) bool {
return self.inner >> 6 & 0x01 == 0x01;
}
pub fn set_f(self: *@This(), set: bool) void {
self.set_bit(6, set);
}
pub fn t(self: *const @This()) bool {
return self.inner >> 5 & 0x01 == 0x01;
}
pub fn set_t(self: *@This(), set: bool) void {
self.set_bit(5, set);
}
pub fn mode(self: *const @This()) Mode {
return self.inner & 0x1F;
}
pub fn set_mode(_: *@This(), _: Mode) void {
std.debug.panic("TODO: Implement set_mode for CPSR", .{});
}
fn set_bit(self: *@This(), comptime bit: usize, set: bool) void {
const set_val = @as(u32, @boolToInt(set)) << bit;
const mask = ~(@as(u32, 1) << bit);
self.inner = (self.inner & mask) | set_val;
}
}; };
const Mode = enum(u5) { const Mode = enum(u5) {
User = 0b10000, User = 0b10000,
Fiq = 0b10001, FIQ = 0b10001,
Irq = 0b10010, IRQ = 0b10010,
Supervisor = 0b10011, Supervisor = 0b10011,
Abort = 0b10111, Abort = 0b10111,
Undefined = 0b11011, Undefined = 0b11011,
@ -142,8 +194,7 @@ fn comptimeBranch(comptime L: bool) InstrFn {
cpu.r[14] = cpu.r[15] - 4; cpu.r[14] = cpu.r[15] - 4;
} }
const offset = @bitCast(i32, (opcode << 2) << 8) >> 8; cpu.r[15] = cpu.fakePC() + util.u32SignExtend(24, opcode << 2);
cpu.r[15] = cpu.fakePC() + @bitCast(u32, offset);
} }
}.branch; }.branch;
} }

View File

@ -20,15 +20,32 @@ pub fn comptimeDataProcessing(comptime I: bool, comptime S: bool, comptime instr
switch (instrKind) { switch (instrKind) {
0x4 => { 0x4 => {
// ADD
cpu.r[rd] = cpu.r[op1] + op2; cpu.r[rd] = cpu.r[op1] + op2;
if (S) std.debug.panic("TODO: implement ADD condition codes", .{}); if (S) std.debug.panic("TODO: implement ADD condition codes", .{});
}, },
0xD => { 0xD => {
// MOV
cpu.r[rd] = op2; cpu.r[rd] = op2;
if (S) std.debug.panic("TODO: implement MOV condition codes", .{}); if (S) std.debug.panic("TODO: implement MOV condition codes", .{});
}, },
0xA => {
// CMP
var result: u32 = undefined;
const op1_val = cpu.r[op1];
const v_ctx = (op1_val >> 31 == 0x01) or (op2 >> 31 == 0x01);
const didOverflow = @subWithOverflow(u32, op1_val, op2, &result);
cpu.cpsr.set_v(v_ctx and (result >> 31 & 0x01 == 0x01));
cpu.cpsr.set_c(didOverflow);
cpu.cpsr.set_z(result == 0x00);
cpu.cpsr.set_n(result >> 31 & 0x01 == 0x01);
},
else => std.debug.panic("TODO: implement data processing type {}", .{instrKind}), else => std.debug.panic("TODO: implement data processing type {}", .{instrKind}),
} }
} }

View File

@ -40,12 +40,12 @@ pub fn comptimeHalfSignedDataTransfer(comptime P: bool, comptime U: bool, compti
0b10 => { 0b10 => {
// LDRSB // LDRSB
const byte = bus.readByte(address); const byte = bus.readByte(address);
cpu.r[rd] = util.u32_sign_extend(@as(u32, byte), 8); cpu.r[rd] = util.u32SignExtend(8, @as(u32, byte));
}, },
0b11 => { 0b11 => {
// LDRSH // LDRSH
const halfword = bus.readHalfWord(address); const halfword = bus.readHalfWord(address);
cpu.r[rd] = util.u32_sign_extend(@as(u32, halfword), 16); cpu.r[rd] = util.u32SignExtend(16, @as(u32, halfword));
}, },
} }
} else { } else {

View File

@ -1,6 +1,30 @@
const std = @import("std"); const std = @import("std");
const assert = std.debug.assert;
pub fn u32_sign_extend(value: u32, bitSize: anytype) u32 { pub fn signExtend(comptime T: type, comptime bits: usize, value: anytype) T {
const amount: u5 = 32 - bitSize; const ValT = comptime @TypeOf(value);
return @bitCast(u32, @bitCast(i32, value << amount) >> amount); comptime assert(isInteger(ValT));
comptime assert(isSigned(ValT));
const value_bits = @typeInfo(ValT).Int.bits;
comptime assert(value_bits >= bits);
const bit_diff = value_bits - bits;
// (1 << bits) -1 is a mask that will take values like 0x100 and make them 0xFF
// value & mask so that only the relevant bits are sign extended
// therefore, value & ((1 << bits) - 1) is the isolation of the relevant bits
return ((value & ((1 << bits) - 1)) << bit_diff) >> bit_diff;
}
pub fn u32SignExtend(comptime bits: usize, value: u32) u32 {
return @bitCast(u32, signExtend(i32, bits, @bitCast(i32, value)));
}
fn isInteger(comptime T: type) bool {
return @typeInfo(T) == .Int;
}
fn isSigned(comptime T: type) bool {
return @typeInfo(T).Int.signedness == .signed;
} }