#!/bin/env ruby
# 
# yarv2llvm convert yarv to LLVM and define LLVM executable as Ruby method.
#
#
require 'lib/yarv2llvm'
 
if __FILE__ == $0 then
  require 'optparse'
  
  preload = []
  opt = OptionParser.new
  y2lopt = {}
 
  opt.on('-O', '--[no-]optimize', 
         'Execute optimize (use "opt" in llvm)') do |f|
    y2lopt[:optimize] = f
  end
 
  opt.on('--[no-]post-optimize', 
         'Execute post optimize (llvm level peephole optimize)') do |f|
    y2lopt[:post_optimize] = f
  end
 
  opt.on('-r FILE', 
         'Execute FILE by Ruby1.9 before compile main program') do |f|
    rf = File.read(f)
    prog = eval(rf)
    is = RubyVM::InstructionSequence.compile( prog, f, 1, 
            {  :peephole_optimization    => true,
               :inline_const_cache       => false,
               :specialized_instruction  => true,}).to_a
    preload.push VMLib::InstSeqTree.new(nil, is)
  end
 
  opt.on('--[no-]strict-type-inference', 
         'When occur type conflict, compile stop.') do |f|
    y2lopt[:strict_type_inderence] = f
  end
 
  opt.on('--[no-]implicit-numeric-type-conversion', 
         'Implicit type conversion. For example Fixnum to Float') do |f|
    y2lopt[:implicit_numeric_type_conversion] = f
  end
 
  opt.on('--[no-]inline-block', 
         'Inline block when compile "each" method.') do |f|
    y2lopt[:inline_block] = f
  end
 
  opt.on('--[no-]array-range-check', 
         'Raise exception when refer out of range of array or hash') do |f|
    y2lopt[:array_range_check] = f
  end
 
  opt.on('--[no-]cache-instance-variable', 
         'Cache instance varibale table (It is dangerous)') do |f|
    y2lopt[:cache_instance_variable] = f
  end
 
  opt.on('--[no-]disasm', 
         'Disassemble generated llvm code') do |f|
    y2lopt[:disasm] = f
  end
 
  opt.on('--[no-]dump-yarv', 
         'Dump generated yarv code') do |f|
    y2lopt[:dump_yarv] = f
  end
 
  opt.on('--write-bc[=File]', 
         'Dump generated llvm bitcode to file(default is yarv.bc)') do |f|
    y2lopt[:write_bc] = f
  end
 
  opt.on('--[no-]func-signature', 
         'Display type inferenced inforamtion about function and local variable') do |f|
    y2lopt[:func_signature] = f
  end
 
  opt.on('--[no-]var-signature', 
         'Display type inferenced inforamtion about global variable') do |f|
    y2lopt[:var_signature] = f
  end
 
  opt.on('--[no-]type-message', 
         'Display type message for example Type Conflict Error') do |f|
    y2lopt[:type_message] = f
  end
 
  opt.on('--compile-only',
         'Do compile but execute it') do |f|
    y2lopt[:compile_only] = f
  end
 
  opt.on('--gc-profile',
         'GC profiler invoke (for tuning yarv2llvm itself)') do |f|
    y2lopt[:gc_profile] = f
  end
  
  opt.parse!(ARGV)
 
  if y2lopt[:gc_profile] then
    GC::Profiler.enable
  end
 
  progn = ARGV[0]
  $0 = progn
  ARGV.shift
 
  YARV2LLVM::compile_file(progn, y2lopt, preload)
  if y2lopt[:gc_profile] then
    GC::Profiler.report(STDERR)
  end
end # __FILE__ == $0