Bug 17215 – [Reg 2.073] ICE(cgcod.c:findreg) with SIMD and -O -inline

cat > bug.d << CODE alias vec = __vector(int[4]); vec op(vec a) { return a; } vec binop(vec a) { return op(a); } CODE dmd -c -O -inline bug ---- Internal error: backend/cgcod.c 1659 [¹] ---- Ends up calling findreg with an empty register mask. Seems like sth. in loaddata or so doesn't properly handle xmm registers. Callstack: ---- 0 in findreg of backend/cgcod.c:1659 1 in fixresult of backend/cod1.c:1802 2 in loaddata of backend/cod1.c:4769 3 in codelem of backend/cgcod.c:2669 4 in scodelem of backend/cgcod.c:2740 5 in cdeq of backend/cod4.c:646 6 in codelem of backend/cgcod.c:2619 7 in cdcomma of backend/cod2.c:2195 8 in codelem of backend/cgcod.c:2619 9 in cdcomma of backend/cod2.c:2194 10 in codelem of backend/cgcod.c:2619 ---- [¹]: https://github.com/dlang/dmd/blob/65f2dfdddae822cf6bb483e82eac32839e142a72/src/backend/cgcod.c#L1659

This is working for me on Windows 64. It's listed as "All" platforms. Which is it failing on?

Ah yes calling convention, it's definitely failing on linux x86_64. https://dpaste.dzfl.pl/449dd3669728

cat > bug.d << CODE alias vec = __vector(int[4]); vec binop(vec a) { vec b = a; return b; } CODE dmd -c -O bug ---- Internal error: backend/cgcod.c 1659 ---- Further reduced, no longer requires -inline.

Digger points to https://github.com/dlang/dmd/pull/6176 for having introduced this.

Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/46d1948f4c4f05143729f9849b4edefe01b1a02e fix Issue 17215 - ICE(cgcod.c:findreg) with SIMD and -O -inline - caused by assigning 2*REGSIZE XMM vectors partially - only triggers since SROA sees this 8 bytes access https://github.com/dlang/dmd/commit/b054a20d288db623c91ccbb9f2fb1e9f64e5f100 Merge pull request #6566 from MartinNowak/fix17215 fix Issue 17215 - ICE(cgcod.c:findreg) with SIMD and -O -inline

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/46d1948f4c4f05143729f9849b4edefe01b1a02e fix Issue 17215 - ICE(cgcod.c:findreg) with SIMD and -O -inline https://github.com/dlang/dmd/commit/b054a20d288db623c91ccbb9f2fb1e9f64e5f100 Merge pull request #6566 from MartinNowak/fix17215

Commit pushed to revert-6566-fix17215 at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/4373a211ed16d05650aeb1779881b12e09c2ca80 Revert "fix Issue 17215 - ICE(cgcod.c:findreg) with SIMD and -O -inline"

Commits pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/46d1948f4c4f05143729f9849b4edefe01b1a02e fix Issue 17215 - ICE(cgcod.c:findreg) with SIMD and -O -inline https://github.com/dlang/dmd/commit/b054a20d288db623c91ccbb9f2fb1e9f64e5f100 Merge pull request #6566 from MartinNowak/fix17215