Compilation failures in 8.5.4 & 8.5.3 in Alpine Linux

SWI-Prolog / issues

Dummy repository for issue tracking

7 stars 3 forks source link

Compilation failures in 8.5.4 & 8.5.3 in Alpine Linux #108

Closed brebs-gh closed 2 years ago

brebs-gh commented 2 years ago

Hi, 8.5.4 has compilation errors in Alpine Linux:

armhf: failure: library/cql: WAM Table mismatch: wam_table[8(h_mpz)] == wam_table[10(h_string)]
armv7: failure: test bigint: assertion failed
x86 (32-bit): failure: test bigint: assertion failed

These same compilation errors also occurred in 8.5.3.

JanWielemaker commented 2 years ago

Thanks. Pushed SWI-Prolog/swipl-devel@1dbf34bb5c760cc8ff7812ac4ef3b4ebaa00a28b to address the bigint issues that affect all 32-bit platforms. Not really a serious issue, mostly a failing test. The armhf issue is harder. Seems the compiler is optimizing SEPARATE_VMI away that it shouldn't. Need to think about something else that prevents the compiler to squash two labels :cry:

JanWielemaker commented 2 years ago

The close was a bit early ... Pushed SWI-Prolog/swipl-devel@7bf463db4dcc7b4e27c820ef8fc6f94fd8116720 to address the armhf issue. Haven't tested it. The current approach is something the compiler cannot legally outsmart us. It does mean it actually needs to emit some code that shouldn't be necessary. The impact is not measurable though.

brebs-gh commented 2 years ago

The tests all passed in the Alpine package for swi-prolog 8.5.5

JanWielemaker commented 2 years ago

Thanks for confirming!