rpiet 0.1 → 0.2

data/spec/ir/passes/push_pop_elimination_pass_spec.rb

@@ -0,0 +1,34 @@
+require_relative '../../spec_helper'
+require_relative '../../../lib/rpiet/ir/cfg'
+require_relative '../../../lib/rpiet/ir/passes/push_pop_elimination_pass'
+
+describe "RPiet::IR::Passes:PushPopElimination" do
+  let(:gtr) {
+    assemble <<~EOS
+      push 10
+      push 5
+      10 != 2 true
+      push 0
+      jump end
+      label true
+      push 1
+      label end
+      v1 = pop
+      v2 = pop
+      v3 = pop
+      v4 = v3 / v2
+      push v4
+      exit
+    EOS
+  }
+
+  it "can eliminate v2+v3 pops" do
+    instructions = gtr
+    puts "(initial) # of instr: #{instructions.length}"
+    @cfg = RPiet::IR::CFG.new(instructions)
+    push_pop_elim = RPiet::IR::Passes::PushPopEliminationProblem.new(@cfg)
+    push_pop_elim.debug = true
+    push_pop_elim.run
+    puts "instructions: #{@cfg.instructions.map { |i| i.disasm }.join("\n")}"
+  end
+end

data/spec/machine_spec.rb

@@ -1,8 +1,10 @@
-require 'rpiet/machine'
+require_relative '../lib/rpiet/machine'
 
 describe "RPiet::Machine" do
   it "can roll" do
     machine = RPiet::Machine.new
+    expect(machine.dp.direction).to eq(RPiet::Direction::RIGHT)
+    expect(machine.cc.ordinal).to eq(-1)
 
     [115, 100, 101, 2, 1].each do |value|
       machine.block_value = value
@@ -10,7 +12,7 @@ describe "RPiet::Machine" do
     end
 
     machine.roll
-    machine.stack.should == [115, 101, 100]
+    expect(machine.stack).to eq [115, 101, 100]
 
     [3, 1].each do |value|
       machine.block_value = value
@@ -18,6 +20,6 @@ describe "RPiet::Machine" do
     end
 
     machine.roll
-    machine.stack.should == [100, 115, 101]
+    expect(machine.stack).to eq [100, 115, 101]
   end
 end

data/spec/source_spec.rb

@@ -0,0 +1,69 @@
+require_relative 'spec_helper'
+require_relative '../lib/rpiet/source'
+require_relative '../lib/rpiet/color'
+
+describe "RPiet::Source" do
+  let(:image1) do
+    create_image <<-EOS
+nb db db db ly
+nb db db ly ly
+ng db db ly ly
+ng db db ly ly
+ng db db ly ..
+ng lg lg lg ++
+  EOS
+  end
+
+  let(:image2) do
+    create_image <<-EOS, 2
+db db ly ly
+db db ly ly
+++ ++ ly ly
+++ ++ ly ly
+++ ++ ly ly
+++ ++ ly ly
+    EOS
+  end
+
+  let(:source1) { RPiet::Source.new image1 }
+  let(:source2) { RPiet::Source.new image2 }
+
+  it "knows its size" do
+    expect(source1.rows).to eq(6)
+    expect(source1.cols).to eq(5)
+    expect(source1.groups.size).to eq(7)
+    expect(source1.codel_size).to eq(1)
+  end
+
+  it "knows its size with different codel_size" do
+    expect(source2.rows).to eq(3)
+    expect(source2.cols).to eq(2)
+    expect(source2.groups.size).to eq(3)
+    expect(source2.codel_size).to eq(2)
+  end
+
+  it "#valid? knows invalid locations" do
+    expect(source1.valid?(-1, 0)).to be_falsey
+    expect(source1.valid?(0, -1)).to be_falsey
+    expect(source1.valid?(source1.cols, 0)).to be_falsey
+    expect(source1.valid?(0, source1.rows)).to be_falsey
+    expect(source1.valid?(4, 5)).to be_falsey  # black codel
+  end
+
+  it "#valid? knows valid locations" do
+    expect(source1.valid?(0, 0)).to be_truthy
+    expect(source1.valid?(source1.cols-1, 0)).to be_truthy
+    expect(source1.valid?(0, source1.rows-1)).to be_truthy
+    expect(source1.valid?(4, 4)).to be_truthy  # white codel
+  end
+
+  it "#group_at knows which group it is associated with" do
+    expect(source1.group_at(0, 0).color).to eq(RPiet::Color::BLUE)
+    expect(source1.group_at(1, 0).color).to eq(RPiet::Color::DARK_BLUE)
+    expect(source1.group_at(2, 0).color).to eq(RPiet::Color::DARK_BLUE)
+    expect(source1.group_at(4, 0).color).to eq(RPiet::Color::LIGHT_YELLOW)
+    expect(source1.group_at(4, 4).color).to eq(RPiet::Color::WHITE)
+    expect(source1.group_at(3, 5).color).to eq(RPiet::Color::LIGHT_GREEN)
+    expect(source1.group_at(4, 5).color).to eq(RPiet::Color::BLACK)
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,78 @@
+require_relative '../lib/rpiet/group'
+require_relative '../lib/rpiet/image/ascii_image'
+require_relative '../lib/rpiet/ir/assembler'
+require_relative '../lib/rpiet/ir/ir_interpreter'
+
+module SpecHelper
+  ##
+  # Takes a description of a group as an newline-delimited string
+  # where all '#' characters represent the group you want to create
+  # and any other character is insignificant.  Here is a simple
+  # example of a group in the shape of a 'T':
+  #
+  # my_group_ascii << EOS
+  # ...#####...
+  # .....#.....
+  # .....#.....
+  # .....#.....
+  # EOS
+  #
+  def ascii_to_group_points(string)
+    points = []
+    string.split("\n").each_with_index do |line, j|
+      line.split('').each_with_index do |char, i|
+        points << [i, j] if char == '#'
+      end
+    end
+    points
+  end
+
+  def create_group(color, string)
+    RPiet::Group.new(color, *ascii_to_group_points(string)).tap { |g| g.calculate_corners }
+  end
+
+  def create_image(string, *r)
+    RPiet::Image::AsciiImage.new string, *r
+  end
+
+  def assemble(code)
+    RPiet::IR::Assembler.assemble(code)
+  end
+
+  def ir_interp(instructions)
+    RPiet::IR::IRInterpreter.new(instructions)
+  end
+end
+
+RSpec::Matchers.define(:be_label_operand) do |value|
+  description { 'is a label operand' }
+
+  match { |actual| actual.kind_of?(Symbol) && actual == value }
+end
+
+RSpec::Matchers.define(:be_numeric_operand) do |value|
+  description { 'is a numeric operand' }
+
+  match { |actual| actual.kind_of?(Integer) && actual == value }
+end
+
+RSpec::Matchers.define(:be_string_operand) do |value|
+  description { 'is a string operand' }
+
+  match { |actual| actual.kind_of?(String) && actual == value }
+end
+
+RSpec::Matchers.define(:be_variable_operand) do |name, value=nil|
+  description { 'is a variable operand' }
+
+  match do |actual|
+    actual.kind_of?(RPiet::IR::Operands::VariableOperand) && actual.name == name &&
+      (!value || actual.value == value)
+  end
+end
+
+
+
+RSpec.configure do |c|
+  c.include SpecHelper
+end

metadata

@@ -1,37 +1,47 @@
 --- !ruby/object:Gem::Specification
 name: rpiet
 version: !ruby/object:Gem::Version
-  prerelease:
-  version: '0.1'
+  version: '0.2'
 platform: ruby
 authors:
 - Thomas E. Enebo
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2012-10-24 00:00:00.000000000 Z
+date: 2024-11-12 00:00:00.000000000 Z
 dependencies: []
 description: An implementation of the esoteric programming language Piet
 email: tom.enebo@gmail.com
 executables:
+- color_wheel
+- image_gen
 - rpiet
 extensions: []
 extra_rdoc_files: []
 files:
-- .gitignore
+- ".gitignore"
+- Gemfile
 - README.md
+- bin/color_wheel
+- bin/image_gen
 - bin/rpiet
 - images/.DS_Store
+- images/counter.txt
 - images/cowsay.gif
 - images/helloworld-piet.gif
 - images/helloworld-pietbig.gif
 - images/hi.gif
 - images/loop2to0.gif
-- images/nfib.png
 - lib/rpiet.rb
+- lib/rpiet/asg.rb
+- lib/rpiet/asg/graph_interpreter.rb
+- lib/rpiet/asg/parser.rb
+- lib/rpiet/asg/visitor.rb
 - lib/rpiet/codel_chooser.rb
 - lib/rpiet/color.rb
 - lib/rpiet/cycle.rb
+- lib/rpiet/debugger/debugger.rb
+- lib/rpiet/debugger/stylesheet.css
 - lib/rpiet/direction_pointer.rb
 - lib/rpiet/event_handler.rb
 - lib/rpiet/group.rb
@@ -39,42 +49,70 @@ files:
 - lib/rpiet/image/image.rb
 - lib/rpiet/image/url_image.rb
 - lib/rpiet/interpreter.rb
+- lib/rpiet/ir/assembler.rb
+- lib/rpiet/ir/builder.rb
+- lib/rpiet/ir/cfg.rb
+- lib/rpiet/ir/instructions.rb
+- lib/rpiet/ir/ir_cfg_interpreter.rb
+- lib/rpiet/ir/ir_interpreter.rb
+- lib/rpiet/ir/ir_native_interpreter.rb
+- lib/rpiet/ir/jruby_backend.rb
+- lib/rpiet/ir/operands.rb
+- lib/rpiet/ir/passes/data_flow_problem.rb
+- lib/rpiet/ir/passes/flow_graph_node.rb
+- lib/rpiet/ir/passes/peephole.rb
+- lib/rpiet/ir/passes/push_pop_elimination_pass.rb
+- lib/rpiet/live_machine_state.rb
 - lib/rpiet/machine.rb
+- lib/rpiet/source.rb
 - lib/rpiet/version.rb
+- rpiet.gemspec
+- spec/asg/visitor_spec.rb
 - spec/cycle_spec.rb
 - spec/direction_pointer_spec.rb
 - spec/group_spec.rb
 - spec/interpreter_spec.rb
+- spec/ir/assembler_spec.rb
+- spec/ir/builder_spec.rb
+- spec/ir/cfg_spec.rb
+- spec/ir/ir_interpreter_spec.rb
+- spec/ir/passes/push_pop_elimination_pass_spec.rb
 - spec/machine_spec.rb
+- spec/source_spec.rb
+- spec/spec_helper.rb
 homepage: http://github.com/enebo/rpiet
 licenses: []
+metadata: {}
 post_install_message:
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
-      version: !binary |-
-        MA==
-  none: false
+      version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
-      version: !binary |-
-        MA==
-  none: false
+      version: '0'
 requirements: []
-rubyforge_project:
-rubygems_version: 1.8.24
+rubygems_version: 3.3.26
 signing_key:
-specification_version: 3
+specification_version: 4
 summary: A Piet runtime
 test_files:
+- spec/asg/visitor_spec.rb
 - spec/cycle_spec.rb
 - spec/direction_pointer_spec.rb
 - spec/group_spec.rb
 - spec/interpreter_spec.rb
+- spec/ir/assembler_spec.rb
+- spec/ir/builder_spec.rb
+- spec/ir/cfg_spec.rb
+- spec/ir/ir_interpreter_spec.rb
+- spec/ir/passes/push_pop_elimination_pass_spec.rb
 - spec/machine_spec.rb
+- spec/source_spec.rb
+- spec/spec_helper.rb