crokus 0.0.2 → 0.0.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4e16a6b8011982817b059498e6c02e6ad1e93026952740a3d914401c3d0993e2
-  data.tar.gz: 7a08542bec75264d72199ba649b751f2291a4a678475a5841bef89c4d3b30207
+  metadata.gz: ef8bbae26ccb8fc2b32c8dd40bf6635272055ba5e158a0ed9b7e22aead35018a
+  data.tar.gz: 922d2ce547b6875e8cb99364f0ca5ba2edfd0c066cd888065bb84149a07a32c3
 SHA512:
-  metadata.gz: 401661cdb8f7b4838a460e44f4fc27718acc2fc19e15bde18fd3614258e49e004242f81a2d36719f0c6f461ed39357cc5ad2f5b76224c3142ea0a358d4f9b3c1
-  data.tar.gz: 967ed9eae447a63067c655ca266ba07ecdb4f6ac85549c8e59fe5bccb58a3c5e55e8341bbaa76906282f19e73d0c75365ba75a4c61ac0dd878822d82a076aa0d
+  metadata.gz: 72bc1089bcbc9edb53afb4e3bada17d4daa19b5e174c22516be36755e10478facadf68a6651edf6e9eb4c8574ad8fa82203b73b1a7c947f117080bcb3296755e
+  data.tar.gz: ca37c64d365528a95548ce2517d3f92bdd90ad62f071609695aebdb6b64e21f8e0b9ea6e525b495d7ec4d77ac5c24ae08e7d23a129aa87551d141edc8b860d91

data/lib/crokus/cfg.rb

@@ -15,12 +15,18 @@ module Crokus
 
   class CFG
     attr_accessor :name,:bbs,:starter
+    attr_accessor :infos
     def initialize name
       @name=name
       @bbs=[]
+      @infos={}
       @bbs << @starter=BasicBlock.new
     end
 
+    def each &block
+      @bbs.each &block
+    end
+
     def size
       @bbs.size
     end
@@ -29,22 +35,24 @@ module Crokus
       @bbs << bb
     end
 
-    def print
-      CFGPrinter.new.print(self)
+    def print verbose
+      CFGPrinter.new.print(self,verbose)
     end
+
   end
 
   class BasicBlock
     @@id=-1
     attr_accessor :id,:stmts,:succs
-
+    attr_accessor :infos
     alias :label :id
 
-    def initialize
+    def initialize infos={}
       @@id+=1
       @id="L"+@@id.to_s
       @stmts=[]
       @succs=[]
+      @infos=infos
     end
 
     def <<(e)
@@ -74,6 +82,10 @@ module Crokus
       @stmts.compact.collect{|stmt| stmt.accept(@ppr)}.join("\n")
     end
 
+    def nextBranch
+      @succs.first
+    end
+
     def size
       @stmts.size
     end

data/lib/crokus/cfg_printer.rb

@@ -6,7 +6,7 @@ module Crokus
 
     attr_accessor :code
 
-    def print cfg
+    def print cfg,verbose=$options[:mute]!=true
       @code=Code.new
       @code << header
       @visited=[]
@@ -14,7 +14,7 @@ module Crokus
       @code << footer
       dot_name="cfg_#{cfg.name}.dot"
       @code.save_as dot_name
-      puts "\t|--> graphviz file saved as '#{dot_name}'" unless $options[:mute]
+      puts "\t|--> graphviz file saved as '#{dot_name}'" if verbose
     end
 
     def header

data/lib/crokus/compiler.rb

@@ -1,7 +1,6 @@
 require_relative 'ast'
 require_relative 'ast_printer'
 require_relative 'parser'
-#require_relative 'parser_only'
 require_relative 'visitor'
 require_relative 'transformer'
 require_relative 'pretty_printer'
@@ -9,6 +8,9 @@ require_relative 'cfg_builder'
 require_relative 'tac_builder'
 require_relative 'ir_dumper'
 
+# random C generation
+require_relative 'cfg_random_gen'
+
 module Crokus
 
   class Compiler
@@ -112,6 +114,10 @@ module Crokus
       IRDumper.new.visit(@ast)
     end
 
+    def execute params
+      RandomGen.new.run(params)
+    end
+
   end
 end
 #

data/lib/crokus/generic_lexer.rb

@@ -54,9 +54,6 @@ class GenericLexer
     open(code)
     tokens=[]
     tokens << next_token() while not @ssc.eos?
-    # while not @ssc.eos?
-    #   tokens << (p next_token)
-    # end
     tokens
   end
 end

data/lib/crokus/runner.rb

@@ -15,6 +15,8 @@ module Crokus
       compiler.options = args = parse_options(arguments)
       if filename=args[:cfile]
         compiler.compile filename
+      elsif script=args[:random]
+        compiler.execute script
       else
         puts "need a C file : crokus [options] <file.c>"
       end
@@ -63,6 +65,10 @@ module Crokus
         options[:emit_ir] = true
       end
 
+      parser.on('--random PARAMS', "generates random c files, using parameters", String) do |params_filename|
+        options[:random] = params_filename
+      end
+
       parser.on("--vv", "verbose") do
         options[:verbose] = true
       end

data/lib/crokus/token.rb

@@ -37,7 +37,9 @@ class Token
   alias :str :val
 end
 
-ONE  = Token.new [:int_lit,'1',['na','na']]
-ZERO = Token.new [:int_lit,'0',['na','na']]
-DUMMY= Token.new [:id     ,'' ,['na','na']]
-EQUAL= Token.new [:eq   ,'==' ,['na','na']]
+ONE  = Token.new  [:int_lit,'1'  ,['na','na']]
+ZERO = Token.new  [:int_lit,'0'  ,['na','na']]
+DUMMY= Token.new  [:id     ,''   ,['na','na']]
+EQUAL= Token.new  [:eq     ,'==' ,['na','na']]
+ASSIGN= Token.new [:assign ,'='  ,['na','na']]
+MOD   = Token.new [:mod ,'%'  ,['na','na']]

data/lib/crokus/version.rb

@@ -1,3 +1,3 @@
 module Crokus
-  VERSION="0.0.2"
+  VERSION="0.0.3"
 end

metadata

@@ -1,15 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: crokus
 version: !ruby/object:Gem::Version
-  version: 0.0.2
+  version: 0.0.3
 platform: ruby
 authors:
 - Jean-Christophe Le Lann
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-09-20 00:00:00.000000000 Z
-dependencies: []
+date: 2019-10-03 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: distribution
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.7.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.7.3
 description: Crokus is developped in Ruby and aims at providing simple basis for C
   transformations. It has been use for teaching purposes and applied to Electronic
   System Level experiments.