def enforce(input_file, output_file, interfaces, inside, **opts): if inside: tkn = 'inside' else: tkn = 'outside' return previrt(input_file, output_file, ['-Penforce-%s' % tkn] + all_args('-Penforce-%s-input' % tkn, interfaces), **opts)
def specialize(input_file, output_file, rewrite_file, interfaces, **opts): "inter module specialization, rewrite_file and output_file and the file names for the output files" args = ['-Pspecialize'] if not (rewrite_file is None): args += ['-Pspecialize-output', rewrite_file] if output_file is None: output_file = '/dev/null' return previrt(input_file, output_file, args + all_args('-Pspecialize-input', interfaces), **opts)
def intern(input_file, output_file, interfaces, **opts): "strips unused symbols" return previrt_progress(input_file, output_file, ['-Poccam'] + all_args('-Poccam-input', interfaces), **opts)
def rewrite(input_file, output_file, rewrites, debug=None, **opts): "inter module rewriting" return previrt_progress(input_file, output_file, ['-Prewrite'] + all_args('-Prewrite-input', rewrites), **opts)
def interface(input_file, output_file, wrt, **opts): return previrt(input_file, '/dev/null', ['-Pinterface2', '-Pinterface2-output', output_file] + all_args('-Pinterface2-entry', wrt), **opts)