[cfe-dev] [llvm-dev] RFC: First-class Matrix type

[David Greene via cfe-dev]

Adam Nemet via llvm-dev <llvm-dev at lists.llvm.org> writes:

>     Is this something that we could get if we had better loop
>     transformations (i.e., loop fusion)?
>
> As we both know, aliasing usually makes this pretty difficult. For
> relatively small matrices run-time memchecks can be costly. Also we
> need to be able to evaluate these fusion opportunities in the inliner
> so having first-class type representation makes this cheap.

Fortran defines away many of these problems.  Would better local
restrict support help with C-family languages?  There are several old
patches from Hal that need some attention.

                          -David