#!/usr/bin/lua5.1 local tool_re = "^([%w%.]+)" local test_re = "([%w%./_]+)" local rc_re = "([%a]+)" local time_re = "(%d+m%d+%.%d+s)" local mark_re = "(%d+)" local opt_re = "(gc%-%a+)$" local sep = "%s+" local fmt = "INSERT bench ".. "(result, compilation, test, time, timeuser, mark, options) ".. "VALUES ('%s', '%s', '%s', %d, %d, '%s', '%s');\n" -- build the huge regex local re = tool_re .. sep .. test_re .. sep .. rc_re .. sep .. time_re .. sep ..time_re .. sep ..time_re .. sep .. mark_re .. sep .. opt_re -- the string to cents of seconds function function convert(s) local _,_,min,sec,cents = string.find(s,"(%d+)m(%d+)%.(%d+)s") return min * 6000 + sec * 100 + cents end -- logfile to sql conversion function log2sql(file) local t = {} local f = io.stdin if file ~= "-" then f = io.open(file,"r") end for l in f:lines() do local x,_,tool,test,rc,real,user,_,mark,opt = string.find(l,re) if x == nil then error("regex failed on " .. l) end -- check the result is valid if tool ~= "matitac" and tool ~= "matitac.opt" then error("unknown tool " .. tool) else if tool == "matitac" then tool = "byte" else tool = "opt" end end if rc ~= "OK" and rc ~= "FAIL" then error("unknown result " .. rc) else rc = string.lower(rc) end if opt ~= "gc-on" and opt ~= "gc-off" then error("unknown option "..opt) end real = convert(real) user = convert(user) -- print the sql statement table.insert(t,string.format(fmt,rc,tool,test,real,user,mark,opt)) end return table.concat(t) end -- call the desired function and print the result fun = arg[1] table.remove(arg,1) f = _G[fun] or error("no " .. fun .. " defined") print(f(unpack(arg)) or "") -- eof