Lerking/OSACA
1
0
Fork 0
mirror of https://github.com/RRZE-HPC/OSACA.git synced 2026-01-06 11:10:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

more instructions

Browse Source
This commit is contained in:
JanLJL
2019-08-29 18:54:28 +02:00
parent ff672fb5ec
commit fc06b968d8
3 changed files with 44 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
tests/test_semantics.py
View File

@@ -131,24 +131,24 @@ class TestSemanticTools(unittest.TestCase):
def test_kernelDG_AArch64(self):
dg = KernelDG(self.kernel_AArch64, self.parser_AArch64, self.machine_model_tx2)
self.assertTrue(nx.algorithms.dag.is_directed_acyclic_graph(dg.dg))
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=2)), {6, 7})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=3)), {8, 9})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=4)), {5, 6, 7})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=5)), {8, 9})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=6)), 12)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=7)), 13)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=8)), 15)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=9)), 16)
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=10)), {12, 13})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=11)), {15, 16})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=12)), 14)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=13)), 14)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=14))), 0)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=15)), 17)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=16)), 17)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=17))), 0)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=18))), 0)
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=4)), {8, 9})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=5)), {10, 11})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=6)), {7, 8, 9})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=7)), {10, 11})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=8)), 14)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=9)), 15)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=10)), 17)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=11)), 18)
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=12)), {14, 15})
self.assertEqual(set(dg.get_dependent_instruction_forms(line_number=13)), {17, 18})
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=14)), 16)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=15)), 16)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=16))), 0)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=17)), 19)
self.assertEqual(next(dg.get_dependent_instruction_forms(line_number=18)), 19)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=19))), 0)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=20))), 0)
self.assertEqual(len(list(dg.get_dependent_instruction_forms(line_number=21))), 0)
def test_is_read_is_written_x86(self):
# independent form HW model