dph tests failing

[igloo]

These dph tests have been failing in validate for a while:

   dph-diophantine-fast(normal)
   dph-primespj-fast(normal)
   dph-quickhull-fast(normal)
   dph-words-fast(normal)

[ezyang]

The failure I'm getting is:

[1 of 2] Compiling PrimesVect       ( PrimesVect.hs, PrimesVect.o )
*** Vectorisation error ***
    Variable not vectorised: Control.Exception.Base.patError

So maybe a Core optimization pass isn't managing to eliminate the patError?

[simonpj]

I think Manuel is in mid-flight on some of this.

[rl]

There should be no patErrors left after the gentle simplifier run which happens right before vectorisation. Has anything changed in the inlining behaviour of the gentle phase recently?

[simonpj]

I don't know. Quite possibly. If there is some key invariant that must hold, we'd better be clear about what it is. I didn't know there was one.

Do let me know if that's the cause.

Simon

[rl]

The problem is that since we don't vectorise the standard library yet, the vectoriser chokes on any calls to standard library functions. The desugarer introduces such calls (mostly to patError) even when they aren't necessary so we rely on gentle simplification to remove them before vectorising. This is indeed quite fragile but is only a temporary measure until we can vectorise the libraries.

I'll try to find out what exactly is happening there over the weekend.

[igloo]

I'm not sure which of the DPH people this should be assigned to, so please reassign if appropriate.

[benl]

Send all DPH breakages to me.

[chak]

Thanks, Ben, but some of these are due to my partial changes in the vectoriser and DPH libraries. They'll go away, once I'm done.

[chak]

I fixed the problems related to my library changes. Two tests are still failing (albeit for different reasons). They are dph-diophantine-fast and dph-words-fast. The former produces a wrong result and the latter triggers an assertion in vectors slice function. To me, this looks like functional bugs in the library.

Ben, could you maybe have a look at this, or maybe get George to check the involved primitives.

[simonpj]

Ben says: George is looking at this. He says it's something in the prim library. He has sent me patches but I'm querying him on them before committing.

[roldugin]

Closed by commits

26c608a0c31d56917099e4f48bf58c1d1e92e61c Fix dph-diophantine (#5065) 1. Adjust array lengths to be equal when performing parallel array comprehensions 2. Lower input arguments to prevent arithmetic overflow

6900c19dda729d22270f1831da9e351671a19bae Fix dph-words. sliceP wants its second argument to be the slice length.