Python LivenessAnalysis.check Examples

Example #1

File: liveness_tests.py Project: 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))

Example #2

File: liveness_tests.py Project: 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))

Example #3

File: liveness_tests.py Project: 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))

Example #4

File: liveness_tests.py Project: 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))