import unittest, os
import c3, ppci, ir, x86, transform

class ConstantFolderTestCase(unittest.TestCase):
    def setUp(self):
        self.b = ir.Builder()
        self.cf = transform.ConstantFolder()
        self.m = ir.Module('test')
        self.b.setModule(self.m)

    def testBuilder(self):
        f = self.b.newFunction('test')
        self.b.setFunction(f)
        bb = self.b.newBB()
        self.b.setBB(bb)
        v1 = self.b.newTmp('t')
        v2 = self.b.newTmp('t')
        v3 = self.b.newTmp('t')
        self.b.addIns(ir.ImmLoad(v1, 5))
        self.b.addIns(ir.ImmLoad(v2, 7))
        self.b.addIns(ir.BinaryOperator(v3, '+', v1, v2))
        self.assertEqual(3, len(self.m.Instructions))
        self.cf.run(self.m)
        self.assertEqual(3, len(self.m.Instructions))
        self.assertIsInstance(self.m.Instructions[-1], ir.ImmLoad)
        self.assertEqual(12, self.m.Instructions[-1].value)

    def testAdd0(self):
        f = self.b.newFunction('test')
        self.b.setFunction(f)
        bb = self.b.newBB()
        self.b.setBB(bb)
        v1 = self.b.newTmp('t')
        v2 = self.b.newTmp('t')
        v3 = self.b.newTmp('t')
        self.b.addIns(ir.ImmLoad(v2, 0))
        self.b.addIns(ir.BinaryOperator(v3, '+', v1, v2))


testsrc = """
package test2;

function void tesssst(int henkie)
{
   var int a, b, cee;
   a = 2 * 33 - 12;
   b = a * 2 + 13;
   a = b + a;
   cee = a;
   if (a > b and b *3 - a+8*b== 3*6-b)
   {
      var int x = a;
      x = b * 2 - a;
      a = x * x * add2(x, 22 - a);
   }
   else
   {
      a = b + a + add2(a, b);
   }
   var int y;
   y = a - b * 53;
}

function int add2(int x, int y)
{
   var int res;
   res = x + y + 2 -  7 + 2;
   //if (y < 2)
   //{
   //   return y - 33;
   //}

   res = res + (x + 2 * y) + (x + 2 * y) + (2*8) + (2*8);

   if (x > 13)
   {
      while (y > 1337)
      {
         res = res + 2;
         y = y - 12;
      }
   }
   return res;
}

"""

if __name__ == '__main__':
   #unittest.main()
   #sys.exit()
   diag = ppci.DiagnosticsManager()
   builder = c3.Builder(diag)
   cgenx86 = x86.X86CodeGenSimple(diag)
   ir = builder.build(testsrc)
   diag.printErrors(testsrc)
   ir.dump()
   ir.check()
   cf = transform.ConstantFolder()
   ir.check()
   dcd = transform.DeadCodeDeleter()
   ir.check()
   m2r = transform.Mem2RegPromotor()
   ir.check()
   clr = transform.CleanPass()
   ir.check()
   cf.run(ir)
   dcd.run(ir)
   clr.run(ir)
   m2r.run(ir)
   #ir.dump()

   # Dump a graphiz file:
   with open('graaf.gv', 'w') as f:
      ir.dumpgv(f)
   os.system('dot -Tpdf -ograaf.pdf graaf.gv')

   asm = cgenx86.genBin(ir)
   #for a in asm:
   #   print(a)
   with open('out.asm', 'w') as f:
      f.write('BITS 64\n')
      for a in asm:
         f.write(str(a) + '\n')
         print(a)