#!/usr/bin/env python

from llvm.core import *

import logging, unittest

class TestObjCache(unittest.TestCase):
    def test_objcache(self):
        logging.debug("Testing module aliasing ..")
        m1 = Module.new('a')
        t = Type.int()
        ft = Type.function(t, [t])
        f1 = m1.add_function(ft, "func")
        m2 = f1.module
        self.assertIs(m1, m2)

        logging.debug("Testing global vairable aliasing 1 .. ")
        gv1 = GlobalVariable.new(m1, t, "gv")
        gv2 = GlobalVariable.get(m1, "gv")
        self.assertIs(gv1, gv2)

        logging.debug("Testing global vairable aliasing 2 .. ")
        gv3 = m1.global_variables[0]
        self.assertIs(gv1, gv3)

        logging.debug("Testing global vairable aliasing 3 .. ")

        gv2 = None
        gv3 = None

        gv1.delete()
        gv4 = GlobalVariable.new(m1, t, "gv")

        self.assertIsNot(gv1, gv4)

        logging.debug("Testing function aliasing 1 ..")
        b1 = f1.append_basic_block('entry')
        f2 = b1.function
        self.assertIs(f1, f2)

        logging.debug("Testing function aliasing 2 ..")
        f3 = m1.get_function_named("func")
        self.assertIs(f1, f3)

        logging.debug("Testing function aliasing 3 ..")
        f4 = Function.get_or_insert(m1, ft, "func")
        self.assertIs(f1, f4)

        logging.debug("Testing function aliasing 4 ..")
        f5 = Function.get(m1, "func")
        self.assertIs(f1, f5)

        logging.debug("Testing function aliasing 5 ..")
        f6 = m1.get_or_insert_function(ft, "func")
        self.assertIs(f1, f6)

        logging.debug("Testing function aliasing 6 ..")
        f7 = m1.functions[0]
        self.assertIs(f1, f7)

        logging.debug("Testing argument aliasing .. ")
        a1 = f1.args[0]
        a2 = f1.args[0]
        self.assertIs(a1, a2)

        logging.debug("Testing basic block aliasing 1 .. ")
        b2 = f1.basic_blocks[0]
        self.assertIs(b1, b2)

        logging.debug("Testing basic block aliasing 2 .. ")
        b3 = f1.get_entry_basic_block()
        self.assertIs(b1, b3)

        logging.debug("Testing basic block aliasing 3 .. ")
        b31 = f1.entry_basic_block
        self.assertIs(b1, b31)

        logging.debug("Testing basic block aliasing 4 .. ")
        bldr = Builder.new(b1)
        b4 = bldr.basic_block
        self.assertIs(b1, b4)

        logging.debug("Testing basic block aliasing 5 .. ")
        i1 = bldr.ret_void()
        b5 = i1.basic_block
        self.assertIs(b1, b5)

        logging.debug("Testing instruction aliasing 1 .. ")
        i2 = b5.instructions[0]
        self.assertIs(i1, i2)

        # phi node
        phi = bldr.phi(t)
        phi.add_incoming(f1.args[0], b1)
        v2 = phi.get_incoming_value(0)
        b6 = phi.get_incoming_block(0)

        logging.debug("Testing PHI / basic block aliasing 5 .. ")
        self.assertIs(b1, b6)

        logging.debug("Testing PHI / value aliasing .. ")
        self.assertIs(f1.args[0], v2)



if __name__ == '__main__':
    unittest.main()