Tensor Comprehension with dot as upper bound crashes in Type Inference
Compiler commit cc26dcec
The following program crashes at the type inference stage.
int +(int a, int b)
{
return _add_SxS_(a, b);
}
int +(int[*] a, int b)
{
return {iv -> _sel_VxA_(iv, a) + b};
}
/* double[m + n] backslide(int i, double[n + 1] x) | (i < m) */
#define backslide(i, x) \
{iv -> 0d | iv < [i]; \
iv -> _sel_VxA_([iv + i], x) | [i] <= iv < _shape_A_(x) + [i]; \
iv -> 0d | [_shape_A_(x) + i] <= iv < .}
int main()
{
double[11000] x; /* m + n is illegal */
n = 10000;
m = 1000;
n1 = n + 1;
y = with {}: genarray([m], 0d);
x = backslide(_div_SxS_(m, 2), y);
return 0;
}