def main(argv): if len(argv) > 1: raise app.UsageError('Too many command-line arguments.') # This is required so that module initializers are called including those # which register delay models. init_xls.init_xls(sys.argv) global benchmarks benchmarks = load_benchmarks() webapp.run(host='::' if FLAGS.use_ipv6 else '0.0.0.0', port=FLAGS.port)
def main(argv): if len(argv) > 1: raise app.UsageError('Too many command-line arguments.') # This is required so that module initializers are called including those # which register delay models. init_xls.init_xls(sys.argv) global examples if FLAGS.example_ir_dir is not None: examples = load_examples_from_dir(FLAGS.example_ir_dir) else: examples = load_precanned_examples() webapp.run(host='::' if FLAGS.use_ipv6 else '0.0.0.0', port=FLAGS.port)
def main(argv): if len(argv) > 1: raise app.UsageError('Too many command-line arguments.') init_xls.init_xls(sys.argv) stmt_index = 0 last_result = None while True: prompt = f'dslx[{stmt_index}]> ' if sys.stdin.isatty() else '' try: # TODO(leary): Update this to support multi-line input. line = input(prompt) except EOFError: if sys.stdin.isatty(): print('\r', end='') break # Some helper 'magic' commands for printing out values in different ways. if line == '%int': if last_result is None: print('No last result for magic command.') continue assert isinstance(last_result, value_mod.Value), last_result print(last_result.get_bit_value_int64()) continue if line == '%bin': if last_result is None: print('No last result for magic command.') assert isinstance(last_result, value_mod.Value), last_result assert last_result is not None print( bit_helpers.to_bits_string(last_result.get_bit_value_uint64())) continue result = handle_line(line, stmt_index) if result is None: continue last_result = result stmt_index += 1
def main(argv): binary = os.path.basename(argv[0]) if len(argv) < 2: raise app.UsageError('Wrong number of command-line arguments; ' 'expect %s <input-file>' % binary) init_xls.init_xls(sys.argv) path = argv[1] with open(path, 'r') as f: text = f.read() name = os.path.basename(path) name, _ = os.path.splitext(name) module = parser_helpers.parse_text(text, name, print_on_error=True, filename=path) importer = import_helpers.Importer(tuple(FLAGS.dslx_path)) type_info = None try: type_info = cpp_typecheck.check_module( module, importer.cache, importer.additional_search_paths) if FLAGS.entry: print( ir_converter.convert_one_function(module, FLAGS.entry, type_info)) else: print(ir_converter.convert_module(module, type_info)) except (PositionalError, cpp_parser.CppParseError) as e: parser_helpers.pprint_positional_error(e) if FLAGS.raise_exception: raise else: sys.exit(1) finally: if type_info is not None: type_info.clear_type_info_refs_for_gc()
def main(argv): init_xls.init_xls(argv) if len(argv) > 2: raise app.UsageError('Too many command-line arguments.') path = argv[1] with open(path) as f: text = f.read() name = os.path.basename(path) name, _ = os.path.splitext(name) importer = import_helpers.Importer() module = parse_and_typecheck.parse_text( text, name, filename=path, print_on_error=True, import_cache=importer.cache, additional_search_paths=importer.additional_search_paths) pprint.pprint(module)
def setUpModule(): # This is required so that module initializers are called including those # which register delay models. init_xls.init_xls(sys.argv)
FLAGS = flags.FLAGS flags.DEFINE_boolean('trace_all', False, help='Trace every expression.') flags.DEFINE_boolean('compare_jit', True, help='Run functions alongside JIT.') flags.DEFINE_integer('seed', None, help='Seed for QuickCheck random stimulus.') def main(argv): if len(argv) > 3: raise app.UsageError( 'Too many command-line arguments. {}'.format(argv)) if len(argv) < 2: raise app.UsageError('Path to a .x file (to interpret) is required.') path = argv[1] test_only = os.environ.get('TESTBRIDGE_TEST_ONLY') saw_error: bool = parse_and_interpret.parse_and_test_path( path, raise_on_error=False, test_filter=test_only, trace_all=FLAGS.trace_all, compare_jit=FLAGS.compare_jit, seed=FLAGS.seed) sys.exit(saw_error) if __name__ == '__main__': init_xls.init_xls(sys.argv) app.run(main)
def main() -> None: init_xls.init_xls(sys.argv) absltest.main()
def setUpModule(): init_xls.init_xls(sys.argv)