badline 0.12.0 → 0.13.0

data/lib/badline/chips/cpu/instruction.rb

@@ -0,0 +1,338 @@
+# frozen_string_literal: true
+
+module Badline
+  module Chips
+    class CPU
+      class Instruction
+        attr_reader :name, :addressing_mode, :operand_length
+
+        def initialize(name, addressing_mode,
+                       illegal: false, boundary_cycle: false)
+          @name = name
+          @addressing_mode = addressing_mode
+          @boundary_cycle = boundary_cycle
+          @illegal = illegal
+          @operand_length = compute_operand_length
+        end
+
+        class << self
+          def map
+            @map ||= {
+              0x00 => new(:brk, :implied),
+              0x01 => new(:ora, :indirect_x),
+              0x02 => new(:jam, :implied, illegal: true),
+              0x03 => new(:slo, :indirect_x, illegal: true),
+              0x04 => new(:nop, :zeropage, illegal: true),
+              0x05 => new(:ora, :zeropage),
+              0x06 => new(:asl, :zeropage),
+              0x07 => new(:slo, :zeropage, illegal: true),
+              0x08 => new(:php, :implied),
+              0x09 => new(:ora, :immediate),
+              0x0a => new(:asl, :accumulator),
+              0x0b => new(:anc, :immediate, illegal: true),
+              0x0c => new(:nop, :absolute, illegal: true),
+              0x0d => new(:ora, :absolute),
+              0x0e => new(:asl, :absolute),
+              0x0f => new(:slo, :absolute, illegal: true),
+
+              0x10 => new(:bpl, :relative),
+              0x11 => new(:ora, :indirect_y, boundary_cycle: true),
+              0x12 => new(:jam, :implied, illegal: true),
+              0x13 => new(:slo, :indirect_y, illegal: true),
+              0x14 => new(:nop, :zeropage_x, illegal: true),
+              0x15 => new(:ora, :zeropage_x),
+              0x16 => new(:asl, :zeropage_x),
+              0x17 => new(:slo, :zeropage_x, illegal: true),
+              0x18 => new(:clc, :implied),
+              0x19 => new(:ora, :absolute_y, boundary_cycle: true),
+              0x1a => new(:nop, :implied, illegal: true),
+              0x1b => new(:slo, :absolute_y, illegal: true),
+              0x1c => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0x1d => new(:ora, :absolute_x, boundary_cycle: true),
+              0x1e => new(:asl, :absolute_x),
+              0x1f => new(:slo, :absolute_x, illegal: true),
+
+              0x20 => new(:jsr, :absolute),
+              0x21 => new(:and, :indirect_x),
+              0x22 => new(:jam, :implied, illegal: true),
+              0x23 => new(:rla, :indirect_x, illegal: true),
+              0x24 => new(:bit, :zeropage),
+              0x25 => new(:and, :zeropage),
+              0x26 => new(:rol, :zeropage),
+              0x27 => new(:rla, :zeropage, illegal: true),
+              0x28 => new(:plp, :implied),
+              0x29 => new(:and, :immediate),
+              0x2a => new(:rol, :accumulator),
+              0x2b => new(:anc, :immediate, illegal: true),
+              0x2c => new(:bit, :absolute),
+              0x2d => new(:and, :absolute),
+              0x2e => new(:rol, :absolute),
+              0x2f => new(:rla, :absolute, illegal: true),
+
+              0x30 => new(:bmi, :relative),
+              0x31 => new(:and, :indirect_y, boundary_cycle: true),
+              0x32 => new(:jam, :implied, illegal: true),
+              0x33 => new(:rla, :indirect_y, illegal: true),
+              0x34 => new(:nop, :zeropage_x, illegal: true),
+              0x35 => new(:and, :zeropage_x),
+              0x36 => new(:rol, :zeropage_x),
+              0x37 => new(:rla, :zeropage_x, illegal: true),
+              0x38 => new(:sec, :implied),
+              0x39 => new(:and, :absolute_y, boundary_cycle: true),
+              0x3a => new(:nop, :implied, illegal: true),
+              0x3b => new(:rla, :absolute_y, illegal: true),
+              0x3c => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0x3d => new(:and, :absolute_x, boundary_cycle: true),
+              0x3e => new(:rol, :absolute_x),
+              0x3f => new(:rla, :absolute_x, illegal: true),
+
+              0x40 => new(:rti, :implied),
+              0x41 => new(:eor, :indirect_x),
+              0x42 => new(:jam, :implied, illegal: true),
+              0x43 => new(:sre, :indirect_x, illegal: true),
+              0x44 => new(:nop, :zeropage, illegal: true),
+              0x45 => new(:eor, :zeropage),
+              0x46 => new(:lsr, :zeropage),
+              0x47 => new(:sre, :zeropage, illegal: true),
+              0x48 => new(:pha, :implied),
+              0x49 => new(:eor, :immediate),
+              0x4a => new(:lsr, :accumulator),
+              0x4b => new(:alr, :immediate, illegal: true),
+              0x4c => new(:jmp, :absolute),
+              0x4d => new(:eor, :absolute),
+              0x4e => new(:lsr, :absolute),
+              0x4f => new(:sre, :absolute, illegal: true),
+
+              0x50 => new(:bvc, :relative),
+              0x51 => new(:eor, :indirect_y, boundary_cycle: true),
+              0x52 => new(:jam, :implied, illegal: true),
+              0x53 => new(:sre, :indirect_y, illegal: true),
+              0x54 => new(:nop, :zeropage_x, illegal: true),
+              0x55 => new(:eor, :zeropage_x),
+              0x56 => new(:lsr, :zeropage_x),
+              0x57 => new(:sre, :zeropage_x, illegal: true),
+              0x58 => new(:cli, :implied),
+              0x59 => new(:eor, :absolute_y, boundary_cycle: true),
+              0x5a => new(:nop, :implied, illegal: true),
+              0x5b => new(:sre, :absolute_y, illegal: true),
+              0x5c => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0x5d => new(:eor, :absolute_x, boundary_cycle: true),
+              0x5e => new(:lsr, :absolute_x),
+              0x5f => new(:sre, :absolute_x, illegal: true),
+
+              0x60 => new(:rts, :implied),
+              0x61 => new(:adc, :indirect_x),
+              0x62 => new(:jam, :implied, illegal: true),
+              0x63 => new(:rra, :indirect_x, illegal: true),
+              0x64 => new(:nop, :zeropage, illegal: true),
+              0x65 => new(:adc, :zeropage),
+              0x66 => new(:ror, :zeropage),
+              0x67 => new(:rra, :zeropage, illegal: true),
+              0x68 => new(:pla, :implied),
+              0x69 => new(:adc, :immediate),
+              0x6a => new(:ror, :accumulator),
+              0x6b => new(:arr, :immediate, illegal: true),
+              0x6c => new(:jmp, :indirect),
+              0x6d => new(:adc, :absolute),
+              0x6e => new(:ror, :absolute),
+              0x6f => new(:rra, :absolute, illegal: true),
+
+              0x70 => new(:bvs, :relative),
+              0x71 => new(:adc, :indirect_y, boundary_cycle: true),
+              0x72 => new(:jam, :implied, illegal: true),
+              0x73 => new(:rra, :indirect_y, illegal: true),
+              0x74 => new(:nop, :zeropage_x, illegal: true),
+              0x75 => new(:adc, :zeropage_x),
+              0x76 => new(:ror, :zeropage_x),
+              0x77 => new(:rra, :zeropage_x, illegal: true),
+              0x78 => new(:sei, :implied),
+              0x79 => new(:adc, :absolute_y, boundary_cycle: true),
+              0x7a => new(:nop, :implied, illegal: true),
+              0x7b => new(:rra, :absolute_y, illegal: true),
+              0x7c => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0x7d => new(:adc, :absolute_x, boundary_cycle: true),
+              0x7e => new(:ror, :absolute_x),
+              0x7f => new(:rra, :absolute_x, illegal: true),
+
+              0x80 => new(:nop_nocycle, :immediate, illegal: true),
+              0x81 => new(:sta, :indirect_x),
+              0x82 => new(:nop_nocycle, :immediate, illegal: true),
+              0x83 => new(:sax, :indirect_x, illegal: true),
+              0x84 => new(:sty, :zeropage),
+              0x85 => new(:sta, :zeropage),
+              0x86 => new(:stx, :zeropage),
+              0x87 => new(:sax, :zeropage, illegal: true),
+              0x88 => new(:dey, :implied),
+              0x89 => new(:nop_nocycle, :immediate, illegal: true),
+              0x8a => new(:txa, :implied),
+              0x8b => new(:ane, :immediate, illegal: true),
+              0x8c => new(:sty, :absolute),
+              0x8d => new(:sta, :absolute),
+              0x8e => new(:stx, :absolute),
+              0x8f => new(:sax, :absolute, illegal: true),
+
+              0x90 => new(:bcc, :relative),
+              0x91 => new(:sta, :indirect_y),
+              0x92 => new(:jam, :implied, illegal: true),
+              0x93 => new(:sha, :indirect_y, illegal: true),
+              0x94 => new(:sty, :zeropage_x),
+              0x95 => new(:sta, :zeropage_x),
+              0x96 => new(:stx, :zeropage_y),
+              0x97 => new(:sax, :zeropage_y, illegal: true),
+              0x98 => new(:tya, :implied),
+              0x99 => new(:sta, :absolute_y),
+              0x9a => new(:txs, :implied),
+              0x9b => new(:tas, :absolute_y, illegal: true),
+              0x9c => new(:shy, :absolute_x, illegal: true),
+              0x9d => new(:sta, :absolute_x),
+              0x9e => new(:shx, :absolute_y, illegal: true),
+              0x9f => new(:sha, :absolute_y, illegal: true),
+
+              0xa0 => new(:ldy, :immediate),
+              0xa1 => new(:lda, :indirect_x),
+              0xa2 => new(:ldx, :immediate),
+              0xa3 => new(:lax, :indirect_x, illegal: true),
+              0xa4 => new(:ldy, :zeropage),
+              0xa5 => new(:lda, :zeropage),
+              0xa6 => new(:ldx, :zeropage),
+              0xa7 => new(:lax, :zeropage, illegal: true),
+              0xa8 => new(:tay, :implied),
+              0xa9 => new(:lda, :immediate),
+              0xaa => new(:tax, :implied),
+              0xab => new(:lxa, :immediate, illegal: true),
+              0xac => new(:ldy, :absolute),
+              0xad => new(:lda, :absolute),
+              0xae => new(:ldx, :absolute),
+              0xaf => new(:lax, :absolute, illegal: true),
+
+              0xb0 => new(:bcs, :relative),
+              0xb1 => new(:lda, :indirect_y, boundary_cycle: true),
+              0xb2 => new(:jam, :implied, illegal: true),
+              0xb3 => new(:lax, :indirect_y, boundary_cycle: true, illegal: true),
+              0xb4 => new(:ldy, :zeropage_x),
+              0xb5 => new(:lda, :zeropage_x),
+              0xb6 => new(:ldx, :zeropage_y),
+              0xb7 => new(:lax, :zeropage_y, illegal: true),
+              0xb8 => new(:clv, :implied),
+              0xb9 => new(:lda, :absolute_y, boundary_cycle: true),
+              0xba => new(:tsx, :implied),
+              0xbb => new(:las, :absolute_y, boundary_cycle: true, illegal: true),
+              0xbc => new(:ldy, :absolute_x, boundary_cycle: true),
+              0xbd => new(:lda, :absolute_x, boundary_cycle: true),
+              0xbe => new(:ldx, :absolute_y, boundary_cycle: true),
+              0xbf => new(:lax, :absolute_y, boundary_cycle: true, illegal: true),
+
+              0xc0 => new(:cpy, :immediate),
+              0xc1 => new(:cmp, :indirect_x),
+              0xc2 => new(:nop_nocycle, :immediate, illegal: true),
+              0xc3 => new(:dcp, :indirect_x, illegal: true),
+              0xc4 => new(:cpy, :zeropage),
+              0xc5 => new(:cmp, :zeropage),
+              0xc6 => new(:dec, :zeropage),
+              0xc7 => new(:dcp, :zeropage, illegal: true),
+              0xc8 => new(:iny, :implied),
+              0xc9 => new(:cmp, :immediate),
+              0xca => new(:dex, :implied),
+              0xcb => new(:sbx, :immediate, illegal: true),
+              0xcc => new(:cpy, :absolute),
+              0xcd => new(:cmp, :absolute),
+              0xce => new(:dec, :absolute),
+              0xcf => new(:dcp, :absolute, illegal: true),
+
+              0xd0 => new(:bne, :relative),
+              0xd1 => new(:cmp, :indirect_y, boundary_cycle: true),
+              0xd2 => new(:jam, :implied, illegal: true),
+              0xd3 => new(:dcp, :indirect_y, illegal: true),
+              0xd4 => new(:nop, :zeropage_x, illegal: true),
+              0xd5 => new(:cmp, :zeropage_x),
+              0xd6 => new(:dec, :zeropage_x),
+              0xd7 => new(:dcp, :zeropage_x, illegal: true),
+              0xd8 => new(:cld, :implied),
+              0xd9 => new(:cmp, :absolute_y, boundary_cycle: true),
+              0xda => new(:nop, :implied, illegal: true),
+              0xdb => new(:dcp, :absolute_y, illegal: true),
+              0xdc => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0xdd => new(:cmp, :absolute_x, boundary_cycle: true),
+              0xde => new(:dec, :absolute_x),
+              0xdf => new(:dcp, :absolute_x, illegal: true),
+
+              0xe0 => new(:cpx, :immediate),
+              0xe1 => new(:sbc, :indirect_x),
+              0xe2 => new(:nop_nocycle, :immediate, illegal: true),
+              0xe3 => new(:isc, :indirect_x, illegal: true),
+              0xe4 => new(:cpx, :zeropage),
+              0xe5 => new(:sbc, :zeropage),
+              0xe6 => new(:inc, :zeropage),
+              0xe7 => new(:isc, :zeropage, illegal: true),
+              0xe8 => new(:inx, :implied),
+              0xe9 => new(:sbc, :immediate),
+              0xea => new(:nop, :implied),
+              0xeb => new(:sbc, :immediate, illegal: true),
+              0xec => new(:cpx, :absolute),
+              0xed => new(:sbc, :absolute),
+              0xee => new(:inc, :absolute),
+              0xef => new(:isc, :absolute, illegal: true),
+
+              0xf0 => new(:beq, :relative),
+              0xf1 => new(:sbc, :indirect_y, boundary_cycle: true),
+              0xf2 => new(:jam, :implied, illegal: true),
+              0xf3 => new(:isc, :indirect_y, illegal: true),
+              0xf4 => new(:nop, :zeropage_x, illegal: true),
+              0xf5 => new(:sbc, :zeropage_x),
+              0xf6 => new(:inc, :zeropage_x),
+              0xf7 => new(:isc, :zeropage_x, illegal: true),
+              0xf8 => new(:sed, :implied),
+              0xf9 => new(:sbc, :absolute_y, boundary_cycle: true),
+              0xfa => new(:nop, :implied, illegal: true),
+              0xfb => new(:isc, :absolute_y, illegal: true),
+              0xfc => new(:nop, :absolute_x, boundary_cycle: true, illegal: true),
+              0xfd => new(:sbc, :absolute_x, boundary_cycle: true),
+              0xfe => new(:inc, :absolute_x),
+              0xff => new(:isc, :absolute_x, illegal: true)
+            }
+          end
+
+          def find(opcode)
+            table[opcode.to_i]
+          end
+
+          private
+
+          def table
+            @table ||= Array.new(256) { |opcode| map[opcode] }
+          end
+        end
+
+        def boundary_cycle?
+          @boundary_cycle
+        end
+
+        def illegal?
+          @illegal
+        end
+
+        def length
+          1 + operand_length
+        end
+
+        def operand?
+          operand_length.positive?
+        end
+
+        private
+
+        def compute_operand_length
+          case addressing_mode
+          when :implied, :accumulator
+            0
+          when :immediate, :relative, :zeropage, :zeropage_x, :zeropage_y,
+            :indirect_x, :indirect_y
+            1
+          when :absolute, :absolute_x, :absolute_y, :indirect
+            2
+          end
+        end
+      end
+    end
+  end
+end

data/lib/badline/chips/cpu/instruction_set/arithmetic.rb

@@ -0,0 +1,118 @@
+# frozen_string_literal: true
+
+module Badline
+  module Chips
+    class CPU
+      module InstructionSet
+        module Arithmetic
+          # Add memory with carry to accumulator.
+          #
+          # Opcodes:
+          #   $61 - indirect_x - 6 cycles
+          #   $65 - zeropage   - 3 cycles
+          #   $69 - immediate  - 2 cycles
+          #   $6D - absolute   - 4 cycles
+          #   $71 - indirect_y - 5+ cycles
+          #   $75 - zeropage_x - 4 cycles
+          #   $79 - absolute_y - 4+ cycles
+          #   $7D - absolute_x - 4+ cycles
+          def adc(_addr, value)
+            result = a + value + status.carry
+            status.zero = result.nobits?(0xff)
+
+            if status.decimal?
+              result = (a & 0x0f) + (value & 0x0f) + status.carry
+              result += 0x06 if result > 0x09
+              c = result > 0x0f ? 1 : 0
+              result = (a & 0xf0) + (value & 0xf0) + (c << 4) + (result & 0x0f)
+              update_calculation_flags(value, result)
+              result += 0x60 if result > 0x9f
+            else
+              update_calculation_flags(value, result)
+            end
+
+            status.carry = result > 0xff
+            @a = result & 0xff
+          end
+
+          # Compare memory with accumulator.
+          #
+          # Opcodes:
+          #   $C1 - indirect_x - 6 cycles
+          #   $C5 - zeropage   - 3 cycles
+          #   $C9 - immediate  - 2 cycles
+          #   $CD - absolute   - 4 cycles
+          #   $D1 - indirect_y - 5+ cycles
+          #   $D5 - zeropage_x - 4 cycles
+          #   $D9 - absolute_y - 4+ cycles
+          #   $DD - absolute_x - 4+ cycles
+          def cmp(_addr, value)
+            status.carry = (@a >= value)
+            update_number_flags(@a - value)
+          end
+
+          # Compare memory with X register.
+          #
+          # Opcodes:
+          #   $E0 - immediate  - 2 cycles
+          #   $E4 - zeropage   - 3 cycles
+          #   $EC - absolute   - 4 cycles
+          def cpx(_addr, value)
+            status.carry = @x >= value
+            update_number_flags(@x - value)
+          end
+
+          # Compare memory with Y register.
+          #
+          # Opcodes:
+          #   $C0 - immediate  - 2 cycles
+          #   $C4 - zeropage   - 3 cycles
+          #   $CC - absolute   - 4 cycles
+          def cpy(_addr, value)
+            status.carry = @y >= value
+            update_number_flags(@y - value)
+          end
+
+          # Subtract memory from accumulator with borrow.
+          #
+          # Opcodes:
+          #   $E1 - indirect_x - 6 cycles
+          #   $E5 - zeropage   - 3 cycles
+          #   $E9 - immediate  - 2 cycles
+          #   $ED - absolute   - 4 cycles
+          #   $F1 - indirect_y - 5+ cycles
+          #   $F5 - zeropage_x - 4 cycles
+          #   $F9 - absolute_y - 4+ cycles
+          #   $FD - absolute_x - 4+ cycles
+          def sbc(_addr, value)
+            inverted = ~value & 0xff
+            carry = status.carry? ? 0 : -1
+
+            result = a + inverted + status.carry
+            status.zero = result.nobits?(0xff)
+            status.carry = result > 0xff
+            update_calculation_flags(inverted, result)
+
+            if status.decimal?
+              al = (a & 0x0f) - (value & 0x0f) + carry
+              al = ((al - 0x06) & 0x0F) - 0x10 if al.negative?
+
+              result = (a & 0xf0) - (value & 0xf0) + al
+              result -= 0x60 if result.negative?
+            end
+
+            @a = result & 0xff
+          end
+
+          private
+
+          def update_calculation_flags(value, result)
+            status.negative = result.anybits?(0x80)
+            status.overflow = (a ^ value).nobits?(0x80) &&
+                              (a ^ result).anybits?(0x80)
+          end
+        end
+      end
+    end
+  end
+end

data/lib/badline/chips/cpu/instruction_set/bitwise.rb

@@ -0,0 +1,130 @@
+# frozen_string_literal: true
+
+module Badline
+  module Chips
+    class CPU
+      module InstructionSet
+        module Bitwise
+          # Performs bitwise AND on accumulator with memory.
+          #
+          # Opcodes:
+          #   $21 - indirect_x - 6 cycles
+          #   $25 - zeropage   - 3 cycles
+          #   $29 - immediate  - 2 cycles
+          #   $2D - absolute   - 4 cycles
+          #   $31 - indirect_y - 5+ cycles
+          #   $35 - zeropage_x - 4 cycles
+          #   $39 - absolute_y - 4+ cycles
+          #   $3D - absolute_x - 4+ cycles
+          def and(_addr, value)
+            @a &= value
+            update_number_flags(@a)
+          end
+
+          # Arithmetic shift left. Shifts bits left by one position.
+          #
+          # Opcodes:
+          #   $06 - zeropage   - 5 cycles
+          #   $0A - accumulator- 2 cycles
+          #   $0E - absolute   - 6 cycles
+          #   $16 - zeropage_x - 6 cycles
+          #   $1E - absolute_x - 7 cycles
+          def asl(addr, value)
+            result = (value << 1) & 0xff
+            status.carry = value[7]
+            write_modified(addr, result)
+            update_number_flags(result)
+          end
+
+          # Tests bits in memory with accumulator.
+          #
+          # Opcodes:
+          #   $24 - zeropage - 3 cycles
+          #   $2C - absolute - 4 cycles
+          def bit(_addr, value)
+            status.value = ((status.value & 0b00111111) +
+                            (value & 0b11000000)).to_i
+            status.zero = (a & value).nobits?(0xff)
+          end
+
+          # Performs bitwise XOR on accumulator with memory.
+          #
+          # Opcodes:
+          #   $41 - indirect_x - 6 cycles
+          #   $45 - zeropage   - 3 cycles
+          #   $49 - immediate  - 2 cycles
+          #   $4D - absolute   - 4 cycles
+          #   $51 - indirect_y - 5+ cycles
+          #   $55 - zeropage_x - 4 cycles
+          #   $59 - absolute_y - 4+ cycles
+          #   $5D - absolute_x - 4+ cycles
+          def eor(_addr, value)
+            @a = (@a ^ value) & 0xff
+            update_number_flags(@a)
+          end
+
+          # Logical shift right. Shifts bits right by one position.
+          #
+          # Opcodes:
+          #   $46 - zeropage   - 5 cycles
+          #   $4A - accumulator- 2 cycles
+          #   $4E - absolute   - 6 cycles
+          #   $56 - zeropage_x - 6 cycles
+          #   $5E - absolute_x - 7 cycles
+          def lsr(addr, value)
+            result = (value >> 1) & 0xff
+            status.carry = value[0]
+            write_modified(addr, result)
+            update_number_flags(result)
+          end
+
+          # Performs bitwise OR on accumulator with memory.
+          #
+          # Opcodes:
+          #   $01 - indirect_x - 6 cycles
+          #   $05 - zeropage   - 3 cycles
+          #   $09 - immediate  - 2 cycles
+          #   $0D - absolute   - 4 cycles
+          #   $11 - indirect_y - 5+ cycles
+          #   $15 - zeropage_x - 4 cycles
+          #   $19 - absolute_y - 4+ cycles
+          #   $1D - absolute_x - 4+ cycles
+          def ora(_addr, value)
+            @a |= value
+            update_number_flags(@a)
+          end
+
+          # Rotate left through carry.
+          #
+          # Opcodes:
+          #   $26 - zeropage   - 5 cycles
+          #   $2A - accumulator- 2 cycles
+          #   $2E - absolute   - 6 cycles
+          #   $36 - zeropage_x - 6 cycles
+          #   $3E - absolute_x - 7 cycles
+          def rol(addr, value)
+            result = ((value << 1) + status.carry) & 0xff
+            status.carry = value[7]
+            write_modified(addr, result)
+            update_number_flags(result)
+          end
+
+          # Rotate right through carry.
+          #
+          # Opcodes:
+          #   $66 - zeropage   - 5 cycles
+          #   $6A - accumulator- 2 cycles
+          #   $6E - absolute   - 6 cycles
+          #   $76 - zeropage_x - 6 cycles
+          #   $7E - absolute_x - 7 cycles
+          def ror(addr, value)
+            result = ((value >> 1) + (status.carry? ? 0x80 : 0)) & 0xff
+            status.carry = value[0]
+            write_modified(addr, result)
+            update_number_flags(result)
+          end
+        end
+      end
+    end
+  end
+end

data/lib/badline/chips/cpu/instruction_set/branch.rb

@@ -0,0 +1,83 @@
+# frozen_string_literal: true
+
+module Badline
+  module Chips
+    class CPU
+      module InstructionSet
+        module Branch
+          # Branch if carry clear (C=0).
+          #
+          # Opcodes:
+          #   $90 - relative - 2+ cycles
+          def bcc(_addr, _value)
+            take_branch unless status.carry?
+          end
+
+          # Branch if carry set (C=1).
+          #
+          # Opcodes:
+          #   $B0 - relative - 2+ cycles
+          def bcs(_addr, _value)
+            take_branch if status.carry?
+          end
+
+          # Branch if equal (Z=1).
+          #
+          # Opcodes:
+          #   $F0 - relative - 2+ cycles
+          def beq(_addr, _value)
+            take_branch if status.zero?
+          end
+
+          # Branch if minus (N=1).
+          #
+          # Opcodes:
+          #   $30 - relative - 2+ cycles
+          def bmi(_addr, _value)
+            take_branch if status.negative?
+          end
+
+          # Branch if not equal (Z=0).
+          #
+          # Opcodes:
+          #   $D0 - relative - 2+ cycles
+          def bne(_addr, _value)
+            take_branch unless status.zero?
+          end
+
+          # Branch if plus (N=0).
+          #
+          # Opcodes:
+          #   $10 - relative - 2+ cycles
+          def bpl(_addr, _value)
+            take_branch unless status.negative?
+          end
+
+          # Branch if overflow clear (V=0).
+          #
+          # Opcodes:
+          #   $50 - relative - 2+ cycles
+          def bvc(_addr, _value)
+            take_branch unless status.overflow?
+          end
+
+          # Branch if overflow set (V=1).
+          #
+          # Opcodes:
+          #   $70 - relative - 2+ cycles
+          def bvs(_addr, _value)
+            take_branch if status.overflow?
+          end
+
+          private
+
+          # Marks the branch as taken. Operations#op_relative reads the flag
+          # and runs the extra cycles.
+          def take_branch
+            @branch_taken = true
+          end
+        end
+      end
+    end
+  end
+end