- Promote condition is now correct.

- The promotion condition still needs to be change to get higher score.

Original:
preBlk -> entryBlk ->condEntryBlk -> ...
-> bodyBlk (-> condEntryBlk)
-> exitBlk
where entryBlk is always empty (with only a Br).

Now:
preBlk -> condEntryBlk -> ...
-> bodyBlk (-> condEntryBlk)
-> exitBlk

- Modify ConstArray::toString;
- Modify some comments of Gv;
- Make Gv.initVal final.

[New] Enhance ConstantDerivation

Make it right for hidden functional testcase global_arr_init.sy

to make the pointer type match with the prototype of the function invoked.

Before the fix, the first zero value will be remained in the list for any array filled with zeros, causing the memory leak of the Singleton system of ConstArray and the failure of ConstArray::isZero().

- Just allocate 0-31

- Only gen ONE spilled load in every 30 instructions
- I do NOT know whether the magic number (30) should be less or more, just following the BUAA

Now a memset(0) for the whole local array will be generated, to set the whole block of memory as 0 first. Then, non-zero initial value will be store to their places.

- Loop analysis in this version is wrong.

[New] GCM

- Loop analysis in this version is wrong.