I looked some more at the problem, and ran as -a on the two .s files
There seems to be a problem with as, here is the releveant part
of a diff between the two listings:

97,98c97,98
<   74 0095 39C2     		cmpl %eax,%edx
<   75 0097 0F4FC2   		cmovle %edx,%eax
---
>   74 0095 39D0     		cmpl %edx,%eax
>   75 0097 0F4FC2   		cmovg %edx,%eax

Note that cmovle and cmovg get the same opcode. This must be wrong.

The C2 looks a bit strange as well , encoding %eax,%edx in cmp
and %edx,%eax in cmov.

Anders