blob: 780603f6478d74ca88523f80482dfb641500c09c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
MMULT
=====
Examples of matrix multiplication using different methods.
We compute matrix multiplication using column-based matrix multiplication, then row-based, and finally block based.
The test verifies that the result is the same on the three methods. If it is the same, 0 will be returned.
The following commands can be run inside the folder:
- `make`: produces the unitary test binaries
- `mmult-test-gcc-x86` : binary from gcc on x86
- `mmult-test-kvx-x86` : binary from gcc on kvx
- `mmult-test-ccomp-x86` : binary from ccomp on kvx
- `make test`: tests the return value of the binaries produced by gcc.
- `make check`: tests the return value of the binary produced by CompCert.
|
