[aarch64-port-dev ] Mixing of aarch64_c2 and default branch code

[Andrew Dinn]

On 12/08/13 11:28, Andrew Haley wrote:
> Branches are a Bad Thing.  Merging them has been a continuing PITA.

Well, as Humpty-Dumpty said "That's logic", albeit an enthymeme and
missing any inference steps. Yet, somehow, I am immediately convinced by
it***

So, I will close branch aarch64_c2 and make all further changes in default.

regards,


Andrew Dinn
-----------

***
1 merging branches is a PITA

2 if merging branches is a PITA then branches are a bad thing

3 if branches are a bad thing then branches should be discarded

4 branches are a bad thing [1, 2, modus ponens]

5 we ought to remove our branches [4, 3, modus ponens]

So, {1, 2, 3} |- 5 (we ought to remove our branches)