def test_executable(self):
source_codes = """
extern int b;
int main()
{
b = 10;
return 0;
}
""", 'int b;'
mem = VirtualMemory()
cpu = CPU()
symbol_table = SymbolTable()
load(
set_addresses(
resolve(
executable(
chain.from_iterable(emit(parse(preprocess(tokenize(source(code))))) for code in source_codes),
symbol_table
),
symbol_table
),
),
mem
)
evaluate(cpu, mem)
def symbols(file_name, include_dirs=(), optimizer=identity):
if isinstance(file_name, str) and file_name.endswith('.o.p'):
with open(file_name) as file_obj:
symbol_table = pickle.load(file_obj)
symbol_seq = symbol_table.itervalues()
else:
symbol_seq = optimizer(
emitter.emit(
parser.parse(
preprocessor.preprocess(tokenizer.tokenize(
loader.load(file_name)),
include_dirs=include_dirs))))
return symbol_seq
def symbols(file_name, include_dirs=(), optimizer=identity):
if isinstance(file_name, str) and file_name.endswith('.o.p'):
with open(file_name) as file_obj:
symbol_table = pickle.load(file_obj)
symbol_seq = symbol_table.itervalues()
else:
symbol_seq = optimizer(
emitter.emit(
parser.parse(
preprocessor.preprocess(tokenizer.tokenize(loader.load(file_name)), include_dirs=include_dirs)
)
)
)
return symbol_seq
def test_composite_initializer(self):
code = """
struct {int a[100]; struct {int b; void *ptr; char sub[10];} values[10];} g = {
.values[0] = {-1, (void *)-1},
.a[0 ... 99] = 1,
.values[1 ... 5] = {.b = 5},
.values[6 ... 9].ptr = 1,
.values[1].sub = {1},
.values[1].sub[0] = 'a'
};
"""
expr = next(parse(preprocess(tokenize(source(code))))).initialization
a = expr[0]
values = expr[1]
self.assertEqual(len(a), 100)
self.assertEqual(len(values), 10)
a_expr = ConstantExpression(1, integer_type)
for e in imap(next, imap(lambda v: v.itervalues(), a.itervalues())):
self.assertEqual(e, a_expr)
self.assertEqual(values[0][0][0], ConstantExpression(-1, integer_type))
self.assertEqual(values[0][1][0],
ConstantExpression(-1, void_pointer_type))
b_expr = ConstantExpression(5, integer_type)
for index in xrange(1, 6):
self.assertEqual(values[index][0][0], b_expr)
self.assertEqual(values[index][1][0],
EmptyExpression(integer_type))
ptr_expr = ConstantExpression(1, void_pointer_type)
for index in xrange(6, 10):
self.assertEqual(values[index][1][0], ptr_expr)
self.assertEqual(values[index][0][0],
EmptyExpression(void_pointer_type))
self.assertEqual(values[1][2][0][0],
ConstantExpression(ord('a'), char_type))
def test_executable(self):
source_codes = """
extern int b;
int main()
{
b = 10;
return 0;
}
""", 'int b;'
mem = VirtualMemory()
cpu = CPU()
symbol_table = SymbolTable()
load(
set_addresses(
resolve(
executable(
chain.from_iterable(
emit(parse(preprocess(tokenize(source(code)))))
for code in source_codes), symbol_table),
symbol_table), ), mem)
evaluate(cpu, mem)
def test_composite_initializer(self):
code = """
struct {int a[100]; struct {int b; void *ptr; char sub[10];} values[10];} g = {
.values[0] = {-1, (void *)-1},
.a[0 ... 99] = 1,
.values[1 ... 5] = {.b = 5},
.values[6 ... 9].ptr = 1,
.values[1].sub = {1},
.values[1].sub[0] = 'a'
};
"""
expr = next(parse(preprocess(tokenize(source(code))))).initialization
a = expr[0]
values = expr[1]
self.assertEqual(len(a), 100)
self.assertEqual(len(values), 10)
a_expr = ConstantExpression(1, integer_type)
for e in imap(next, imap(lambda v: v.itervalues(), a.itervalues())):
self.assertEqual(e, a_expr)
self.assertEqual(values[0][0][0], ConstantExpression(-1, integer_type))
self.assertEqual(values[0][1][0], ConstantExpression(-1, void_pointer_type))
b_expr = ConstantExpression(5, integer_type)
for index in xrange(1, 6):
self.assertEqual(values[index][0][0], b_expr)
self.assertEqual(values[index][1][0], EmptyExpression(integer_type))
ptr_expr = ConstantExpression(1, void_pointer_type)
for index in xrange(6, 10):
self.assertEqual(values[index][1][0], ptr_expr)
self.assertEqual(values[index][0][0], EmptyExpression(void_pointer_type))
self.assertEqual(values[1][2][0][0], ConstantExpression(ord('a'), char_type))
def test_default_basic_type_initializer(self):
code = "int b = {};"
expr = next(parse(preprocess(tokenize(source(code))))).initialization
self.assertEqual(EmptyExpression(integer_type), expr[0])
def test_default_basic_type_initializer(self):
code = "int b = {};"
expr = next(parse(preprocess(tokenize(source(code))))).initialization
self.assertEqual(EmptyExpression(integer_type), expr[0])