Lichen

Annotated lplc

338:61776a5a0e16
2016-12-07 Paul Boddie Associate constant name information with references so that structure members such as function instance default members can be generated statically, thus eliminating unnecessary structure initialisation in the translated code. Improved the determination of dynamic functions in the importer to consider only non-constant defaults.
paul@0 1
#!/usr/bin/env python
paul@0 2
paul@0 3
from errors import *
paul@0 4
from os.path import abspath, exists, join, split
paul@0 5
from time import time
paul@126 6
import importer, deducer, optimiser, generator, translator
paul@0 7
import sys
paul@0 8
paul@0 9
libdirs = [
paul@0 10
    join(split(__file__)[0], "lib"),
paul@0 11
    "/usr/share/lichen/lib"
paul@0 12
    ]
paul@0 13
paul@0 14
def load_module(filename, module_name):
paul@0 15
    for libdir in libdirs:
paul@0 16
        path = join(libdir, filename)
paul@0 17
        if exists(path):
paul@0 18
            return i.load_from_file(path, module_name)
paul@0 19
    return None
paul@0 20
paul@41 21
def show_missing(missing):
paul@41 22
    missing = list(missing)
paul@41 23
    missing.sort()
paul@41 24
    for module_name, name in missing:
paul@41 25
        print >>sys.stderr, "Module %s references an unknown object: %s" % (module_name, name)
paul@41 26
paul@0 27
def stopwatch(activity, now):
paul@0 28
    print >>sys.stderr, "%s took %.2f seconds" % (activity, time() - now)
paul@0 29
    return time()
paul@0 30
paul@0 31
# Main program.
paul@0 32
paul@0 33
if __name__ == "__main__":
paul@0 34
    args = sys.argv[2:]
paul@0 35
    path = libdirs + sys.path[:]
paul@0 36
paul@0 37
    filename = abspath(sys.argv[1])
paul@0 38
    path.append(split(filename)[0])
paul@0 39
paul@0 40
    verbose = "-v" in args
paul@0 41
    reset = "-r" in args
paul@183 42
    debug = "-g" in args
paul@0 43
paul@0 44
    # Load the program.
paul@0 45
paul@0 46
    try:
paul@0 47
        start = now = time()
paul@0 48
paul@0 49
        i = importer.Importer(path, "_cache", verbose)
paul@0 50
        m = i.initialise(filename, reset)
paul@41 51
        success = i.finalise()
paul@0 52
paul@0 53
        now = stopwatch("Inspection", now)
paul@0 54
paul@41 55
        # Check for success, indicating missing references otherwise.
paul@41 56
paul@41 57
        if not success:
paul@41 58
            show_missing(i.missing)
paul@275 59
            sys.exit(1)
paul@41 60
paul@44 61
        d = deducer.Deducer(i, "_deduced")
paul@44 62
        d.to_output()
paul@44 63
paul@44 64
        now = stopwatch("Deduction", now)
paul@44 65
paul@92 66
        o = optimiser.Optimiser(i, d, "_output")
paul@92 67
        o.to_output()
paul@92 68
paul@92 69
        now = stopwatch("Optimisation", now)
paul@92 70
paul@126 71
        g = generator.Generator(i, o, "_generated")
paul@183 72
        g.to_output(debug)
paul@126 73
paul@127 74
        now = stopwatch("Generation", now)
paul@126 75
paul@113 76
        t = translator.Translator(i, d, o, "_generated")
paul@113 77
        t.to_output()
paul@113 78
paul@113 79
        stopwatch("Translation", now)
paul@113 80
paul@0 81
    # Report any errors.
paul@0 82
paul@0 83
    except ProcessingError, exc:
paul@0 84
        print exc
paul@0 85
        if "-tb" in args:
paul@0 86
            raise
paul@275 87
        sys.exit(1)
paul@0 88
paul@0 89
    else:
paul@275 90
        sys.exit(0)
paul@0 91
paul@0 92
# vim: tabstop=4 expandtab shiftwidth=4