[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