0002da7c <__aeabi_d2iz>:

2da7c: e1a02081 lsl r2, r1, #1

2da80: e2922602 adds r2, r2, #2097152 ; 0x200000

2da84: 2a00000c bcs 2dabc <__aeabi_d2iz+0x40>

2da88: 5a000009 bpl 2dab4 <__aeabi_d2iz+0x38>

2da8c: e3e03e3e mvn r3, #992 ; 0x3e0

2da90: e0532ac2 subs r2, r3, r2, asr #21

2da94: 9a00000a bls 2dac4 <__aeabi_d2iz+0x48>

2da98: e1a03581 lsl r3, r1, #11

2da9c: e3833102 orr r3, r3, #-2147483648 ; 0x80000000

2daa0: e1833aa0 orr r3, r3, r0, lsr #21

2daa4: e3110102 tst r1, #-2147483648 ; 0x80000000

2daa8: e1a00233 lsr r0, r3, r2

2daac: 12600000 rsbne r0, r0, #0 ; 0x0

2dab0: e12fff1e bx lr

2dab4: e3a00000 mov r0, #0 ; 0x0

2dab8: e12fff1e bx lr

2dabc: e1900601 orrs r0, r0, r1, lsl #12

2dac0: 1a000002 bne 2dad0 <__aeabi_d2iz+0x54>

2dac4: e2110102 ands r0, r1, #-2147483648 ; 0x80000000

2dac8: 03e00102 mvneq r0, #-2147483648 ; 0x80000000

2dacc: e12fff1e bx lr

2dad0: e3a00000 mov r0, #0 ; 0x0

2dad4: e12fff1e bx lr

=====

On Tue, Jun 28, 2011 at 10:40 PM, Wojciech Meyer <wojciech.meyer@googlemail.com> wrote:

SerP <serp256@gmail.com> writes:

> Yes. it seems that the problem in android libc, but it is not clear
> where exactly

Did you try to disassemble/trace the program in the debugger of what
possibly from libc is being inlined/called? Maybe it's some
initialisation problem or most likely a wrong target. You compile for a
none floating point capable hardware, try to write a simple program in
gcc and see what happens. You can tell Gcc to compile for Cortex-A8 or
ARM7 and that's a big difference the second one has no floating point
unit built in. Could you post `gas' compile command line options?

Cheers;
Wojciech

>
> On Tue, Jun 28, 2011 at 10:02 PM, Pierre-Alexandre Voye
> <ontologiae@gmail.com> wrote:
>
> Maybe an issue with android's libc which manage float in certain
> circumstance ?
>
> Le 28 juin 2011 19:52, "SerP" <serp256@gmail.com> a écrit :
>
> ocaml 3.12.0
>
> On iphone it's work's too. But on android - gcc-4.4 it's not
> working.
>
>
>
>
> On Tue, Jun 28, 2011 at 7:30 PM, <rixed@happyleptic.org>
> wrote:
> >
>
> > -[ Tue, Jun 28, 2011 at 07:22:...
>
>
>