35 lines
743 B
Python
Executable File
35 lines
743 B
Python
Executable File
#!/usr/bin/python
|
|
|
|
import sys
|
|
import string
|
|
import re
|
|
import subprocess
|
|
|
|
length=0
|
|
|
|
src=str(sys.argv[1])
|
|
|
|
target = re.sub(".*stdlib-", "", src)
|
|
target = re.sub("\.ll$", "", target)
|
|
target = re.sub("\.c$", "", target)
|
|
target = re.sub("-", "_", target)
|
|
|
|
try:
|
|
as_out=subprocess.Popen([ "llvm-as", "-", "-o", "-"], stdout=subprocess.PIPE)
|
|
except IOError:
|
|
print >> sys.stderr, "Couldn't open " + src
|
|
sys.exit(1)
|
|
|
|
print "unsigned char stdlib_bitcode_" + target + "[] = {"
|
|
for line in as_out.stdout.readlines():
|
|
length = length + len(line)
|
|
for c in line:
|
|
print ord(c)
|
|
print ", "
|
|
print " 0 };\n\n"
|
|
print "int stdlib_bitcode_" + target + "_length = " + str(length) + ";\n"
|
|
|
|
as_out.wait()
|
|
|
|
sys.exit(as_out.returncode)
|