On Tuesday, 10 November 2020 at 18:24:03 UTC, Remi wrote:
> Anyway, where am I going wrong? Thanks.

[I've just glanced at the code, not run and debugged anything.] I don't see where you actually grow the heap (wasm_growMemory() never used AFAICT), certainly not in your malloc(), which initializes `nextFree` with &__heap_base and then bumps that pointer for the next allocation (likely breaking some alignment btw - rounding up to the next multiple of 8 or 16 should be safe).

Note that you shouldn't have to get the size of and grow the linear memory in JS, there are LLVM intrinsics you can use (just copy the declarations): https://github.com/ldc-developers/druntime/blob/412467a452e2d12f561a2eace933dd44014af3c6/src/ldc/intrinsics.di#L678-L697

Ouch, it's compiler bug - the compiler's hardcoded prototype for _aaInX() uses a `void*` as first param, not a `AA` struct wrapping the impl pointer. So this assumes the ABI/calling convention treats both types identically, which isn't currently the case for LDC's wasm ABI.

So using `void* _aaInX(AAImpl* aaimpl, ...)` works around this.

On Tuesday, 10 November 2020 at 22:57:27 UTC, Remi wrote:
> On Tuesday, 10 November 2020 at 22:53:59 UTC, Remi wrote:
>> On Tuesday, 10 November 2020 at 22:38:30 UTC, Adam D. Ruppe wrote:
>>> On Tuesday, 10 November 2020 at 22:36:40 UTC, Remi wrote:
>>>> Wow thanks! Can't believe I didn't think of that. Seems to work indeed.
>>>
>>> I don't understand why that would work though..
>>>
>>> you don't change aa itself, just the aa.impl which should go through the pointer already.....
>>
>> Well, it seems my troubles aren't finished though. I'm having another _aaGetY crash to figure out by using the WASM debugger in Firefox...
>
> Also that fixes makes it crash in the x86 build now. So yeah Adam you might be right, it doesn't really fix it in the right way. I'm still not sure why it's doing that.

As kinke mentioned, your AA does not implement everything needed. You should port the entire thing in druntime/blob/master/src/rt/aaA.d. Some time ago, I created a malloc-free-based port of it. It does not provide required symbols to compiler as you did there though.

https://github.com/aferust/bcaa/blob/master/source/bcaa.d

On Wednesday, 11 November 2020 at 02:05:25 UTC, kinke wrote:
> Ouch, it's compiler bug - the compiler's hardcoded prototype for _aaInX() uses a `void*` as first param, not a `AA` struct wrapping the impl pointer. So this assumes the ABI/calling convention treats both types identically, which isn't currently the case for LDC's wasm ABI.
>
> So using `void* _aaInX(AAImpl* aaimpl, ...)` works around this.

That's kind of what I saw, AA* worked in x86 but AA** worked in WASM and vice versa. I did try to find where the compiler actually generated the call to _aaInX but couldn't find it by a simple search. Thanks for the help, it seems to work in both architectures now :)

On Wednesday, 11 November 2020 at 05:18:25 UTC, Ferhat Kurtulmuş wrote:
> On Tuesday, 10 November 2020 at 22:57:27 UTC, Remi wrote:
> [...]
>
> As kinke mentioned, your AA does not implement everything needed. You should port the entire thing in druntime/blob/master/src/rt/aaA.d. Some time ago, I created a malloc-free-based port of it. It does not provide required symbols to compiler as you did there though.
>
> https://github.com/aferust/bcaa/blob/master/source/bcaa.d

Thanks I'll probably have a look if I find my implementation too slow, which will probably be the case :)

On Wednesday, 11 November 2020 at 08:30:09 UTC, Remi wrote:
> On Wednesday, 11 November 2020 at 02:05:25 UTC, kinke wrote:
>> Ouch, it's compiler bug - the compiler's hardcoded prototype for _aaInX() uses a `void*` as first param, not a `AA` struct wrapping the impl pointer. So this assumes the ABI/calling convention treats both types identically, which isn't currently the case for LDC's wasm ABI.
>>
>> So using `void* _aaInX(AAImpl* aaimpl, ...)` works around this.
>
> That's kind of what I saw, AA* worked in x86 but AA** worked in WASM and vice versa. I did try to find where the compiler actually generated the call to _aaInX but couldn't find it by a simple search. Thanks for the help, it seems to work in both architectures now :)

Please contribute to Adam's WebAssembly when your druntime works is complete, or publish your own library so that others and I can use it :)