Skip to content

Instantly share code, notes, and snippets.

@mpeterv
Created October 29, 2014 14:11
Show Gist options
  • Save mpeterv/346538c61f1f38384080 to your computer and use it in GitHub Desktop.
Save mpeterv/346538c61f1f38384080 to your computer and use it in GitHub Desktop.
#!/usr/bin/env luajit
local optimize = require "pf.optimize".optimize
local pp = require "pf.utils".pp
local expanded_src = [[
{ "if",
{ "true" },
{ "if",
{ "!=",
{ "int32",
{ "uint32",
"len" } },
0 },
{ "if",
{ "!=",
"len",
0 },
{ "if",
{ "!=",
"len",
0 },
{ "if",
{ "!=",
"len",
0 },
{ "<",
{ "-",
{ "/",
"len",
{ "int32",
{ "uint32",
"len" } } },
{ "/",
{ "/",
{ "int32",
{ "/",
"len",
"len" } },
"len" },
"len" } },
2147483647,
5 },
{ "fail" } },
{ "fail" } },
{ "fail" } },
{ "fail" } },
{ "true" } }
]]
local expanded = loadstring("return " .. expanded_src)()
print("EXPANDED")
pp(expanded)
print("OPTIMIZED")
pp(optimize(expanded))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment