diff python/ppci/irutils.py @ 317:e30a77ae359b

Added glue blocks
author Windel Bouwman
date Sun, 22 Dec 2013 15:50:59 +0100
parents 2c9768114877
children e84047f29c78
line wrap: on
line diff
--- a/python/ppci/irutils.py	Sat Dec 21 13:13:26 2013 +0100
+++ b/python/ppci/irutils.py	Sun Dec 22 15:50:59 2013 +0100
@@ -257,6 +257,8 @@
     def verify_block_termination(self, block):
         assert not block.Empty
         assert block.LastInstruction.IsTerminator
+        for i in block.Instructions[:-1]:
+            assert not isinstance(i, ir.LastStatement)
         
     def verify_block(self, block):
         for instruction in block.Instructions: