Python LivenessAnalysis.check примеры использования

Пример #1

Файл: liveness_tests.py Проект: TAKAKEYA/CPU

 def testSimpleAssignment(self):
     x = VariableDecl(int_type, 'x')
     y = VariableDecl(int_type, 'y')
     stmt = Operation(AssignStatement(Name(x), Name(y)))
     cfg = CFG('f')
     cfg.connect(cfg.entry, stmt, cfg.exit)
     liveness = LivenessAnalysis(cfg)
     self.assertFalse(liveness.check(x, cfg.entry))
     self.assertFalse(liveness.check(x, cfg.exit))
     self.assertTrue(liveness.check(y, cfg.entry))
     self.assertFalse(liveness.check(y, cfg.exit))

Пример #2

Файл: liveness_tests.py Проект: changbindu/cpu

 def testSimpleAssignment(self):
     x = VariableDecl(int_type, 'x')
     y = VariableDecl(int_type, 'y')
     stmt = Operation(AssignStatement(Name(x), Name(y)))
     cfg = CFG('f')
     cfg.connect(cfg.entry, stmt, cfg.exit)
     liveness = LivenessAnalysis(cfg)
     self.assertFalse(liveness.check(x, cfg.entry))
     self.assertFalse(liveness.check(x, cfg.exit))
     self.assertTrue(liveness.check(y, cfg.entry))
     self.assertFalse(liveness.check(y, cfg.exit))

Пример #3

Файл: liveness_tests.py Проект: TAKAKEYA/CPU

 def testEmpty(self):
     x = VariableDecl(int_type, 'x')
     cfg = CFG('f')
     liveness = LivenessAnalysis(cfg)
     self.assertFalse(liveness.check(x, cfg.entry))
     self.assertFalse(liveness.check(x, cfg.exit))

Пример #4

Файл: liveness_tests.py Проект: changbindu/cpu

 def testEmpty(self):
     x = VariableDecl(int_type, 'x')
     cfg = CFG('f')
     liveness = LivenessAnalysis(cfg)
     self.assertFalse(liveness.check(x, cfg.entry))
     self.assertFalse(liveness.check(x, cfg.exit))