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

Andrew Haley aph at redhat.com
Mon Aug 12 03:47:03 PDT 2013


On 08/12/2013 11:44 AM, Andrew Dinn wrote:
> ***
> 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)

You have too much time on your hands.

Andrew.




More information about the aarch64-port-dev mailing list