+++ /dev/null
-package testblas
-
-import (
- "testing"
-
- "gonum.org/v1/gonum/blas"
-)
-
-type DgemvCase struct {
- Name string
- m int
- n int
- A [][]float64
- tA blas.Transpose
- x []float64
- incX int
- y []float64
- incY int
-
- Subcases []DgemvSubcase
-}
-
-type DgemvSubcase struct {
- mulXNeg1 bool
- mulYNeg1 bool
- alpha float64
- beta float64
- ans []float64
-}
-
-var DgemvCases = []DgemvCase{
- {
- Name: "M_gt_N_Inc1_NoTrans",
- tA: blas.NoTrans,
- m: 5,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3},
- y: []float64{7, 8, 9, 10, 11},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 0, 0, 0, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 8, 9, 10, 11},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{40.8, 43.9, 33, 9, 28},
- },
- {
- alpha: 8,
- beta: -6,
- ans: []float64{284.4, 303.2, 210, 12, 158},
- },
- },
- },
- {
- Name: "M_gt_N_Inc1_Trans",
- tA: blas.Trans,
- m: 5,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3, -4, 5},
- y: []float64{7, 8, 9},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 0, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 8, 9},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{94.3, 40.2, 52.3},
- },
- {
- alpha: 8,
- beta: -6,
- ans: []float64{712.4, 273.6, 364.4},
- },
- },
- },
- {
- Name: "M_eq_N_Inc1_NoTrans",
- tA: blas.NoTrans,
- m: 3,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3},
- y: []float64{7, 2, 2},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 0, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 2, 2},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{40.8, 43.9, 33},
- },
- {
- alpha: 8,
- beta: -6,
- ans: []float64{40.8*8 - 6*7, 43.9*8 - 6*2, 33*8 - 6*2},
- },
- },
- },
- {
- Name: "M_eq_N_Inc1_Trans",
- tA: blas.Trans,
- m: 3,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3},
- y: []float64{7, 2, 2},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{384.4, 261.6, 270.4},
- },
- },
- },
- {
- Name: "M_lt_N_Inc1_NoTrans",
- tA: blas.NoTrans,
- m: 3,
- n: 5,
- A: [][]float64{
- {4.1, 6.2, 8.1, 10, 7},
- {9.6, 3.5, 9.1, -2, 9},
- {10, 7, 3, 1, -5},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3, -7.6, 8.1},
- y: []float64{7, 2, 2},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 0, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 2, 2},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{21.5, 132, -15.1},
- },
-
- {
- alpha: 8,
- beta: -6,
- ans: []float64{21.5*8 - 6*7, 132*8 - 6*2, -15.1*8 - 6*2},
- },
- },
- },
- {
- Name: "M_lt_N_Inc1_Trans",
- tA: blas.Trans,
- m: 3,
- n: 5,
- A: [][]float64{
- {4.1, 6.2, 8.1, 10, 7},
- {9.6, 3.5, 9.1, -2, 9},
- {10, 7, 3, 1, -5},
- },
- incX: 1,
- incY: 1,
- x: []float64{1, 2, 3},
- y: []float64{7, 2, 2, -3, 5},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{384.4, 261.6, 270.4, 90, 50},
- },
- },
- },
- {
- Name: "M_gt_N_Part1_NoTrans",
- tA: blas.NoTrans,
- m: 5,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 1,
- incY: 2,
- x: []float64{1, 2, 3},
- y: []float64{7, 100, 8, 101, 9, 102, 10, 103, 11},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 100, 0, 101, 0, 102, 0, 103, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 100, 8, 101, 9, 102, 10, 103, 11},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{40.8, 100, 43.9, 101, 33, 102, 9, 103, 28},
- },
- {
- alpha: 8,
- beta: -6,
- ans: []float64{284.4, 100, 303.2, 101, 210, 102, 12, 103, 158},
- },
- },
- },
- {
- Name: "M_gt_N_Part1_Trans",
- tA: blas.Trans,
- m: 5,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 1,
- incY: 2,
- x: []float64{1, 2, 3, -4, 5},
- y: []float64{7, 100, 8, 101, 9},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 0,
- beta: 0,
- ans: []float64{0, 100, 0, 101, 0},
- },
- {
- alpha: 0,
- beta: 1,
- ans: []float64{7, 100, 8, 101, 9},
- },
- {
- alpha: 1,
- beta: 0,
- ans: []float64{94.3, 100, 40.2, 101, 52.3},
- },
- {
- alpha: 8,
- beta: -6,
- ans: []float64{712.4, 100, 273.6, 101, 364.4},
- },
- },
- },
- {
- Name: "M_gt_N_IncNot1_NoTrans",
- tA: blas.NoTrans,
- m: 5,
- n: 3,
-
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3},
- y: []float64{7, 2, 6, 8, -4, -5, 9, 1, 1, 10, 19, 22, 11},
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{284.4, 2, 6, 303.2, -4, -5, 210, 1, 1, 12, 19, 22, 158},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{220.4, 2, 6, 311.2, -4, -5, 322, 1, 1, -4, 19, 22, 222},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{182, 2, 6, 24, -4, -5, 210, 1, 1, 291.2, 19, 22, 260.4},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{246, 2, 6, 8, -4, -5, 322, 1, 1, 299.2, 19, 22, 196.4},
- },
- },
- },
- {
- Name: "M_gt_N_IncNot1_Trans",
- tA: blas.Trans,
- m: 5,
- n: 3,
-
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- {1, 1, 2},
- {9, 2, 5},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3, 8, -3, 6, 5},
- y: []float64{7, 2, 6, 8, -4, -5, 9},
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{720.4, 2, 6, 281.6, -4, -5, 380.4},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{219.6, 2, 6, 316, -4, -5, 195.6},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{392.4, 2, 6, 281.6, -4, -5, 708.4},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{207.6, 2, 6, 316, -4, -5, 207.6},
- },
- },
- },
- {
- Name: "M_eq_N_IncNot1_NoTrans",
- tA: blas.NoTrans,
- m: 3,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3},
- y: []float64{7, 2, 6, 8, -4, -5, 9},
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{284.4, 2, 6, 303.2, -4, -5, 210},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{220.4, 2, 6, 311.2, -4, -5, 322},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{222, 2, 6, 303.2, -4, -5, 272.4},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{334, 2, 6, 311.2, -4, -5, 208.4},
- },
- },
- },
- {
- Name: "M_eq_N_IncNot1_Trans",
- tA: blas.Trans,
- m: 3,
- n: 3,
- A: [][]float64{
- {4.1, 6.2, 8.1},
- {9.6, 3.5, 9.1},
- {10, 7, 3},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3},
- y: []float64{7, 2, 6, 8, -4, -5, 9},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{384.4, 2, 6, 225.6, -4, -5, 228.4},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{290, 2, 6, 212.8, -4, -5, 310},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{240.4, 2, 6, 225.6, -4, -5, 372.4},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{322, 2, 6, 212.8, -4, -5, 278},
- },
- },
- },
- {
- Name: "M_lt_N_IncNot1_NoTrans",
- tA: blas.NoTrans,
- m: 3,
- n: 5,
- A: [][]float64{
- {4.1, 6.2, 8.1, 10, 11},
- {9.6, 3.5, 9.1, -3, -2},
- {10, 7, 3, -7, -4},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3, -2, -4, 8, -9},
- y: []float64{7, 2, 6, 8, -4, -5, 9},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{-827.6, 2, 6, 543.2, -4, -5, 722},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{-93.2, 2, 6, -696.8, -4, -5, -1070},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{734, 2, 6, 543.2, -4, -5, -839.6},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{-1058, 2, 6, -696.8, -4, -5, -105.2},
- },
- },
- },
- {
- Name: "M_lt_N_IncNot1_Trans",
- tA: blas.Trans,
- m: 3,
- n: 5,
- A: [][]float64{
- {4.1, 6.2, 8.1, 10, 11},
- {9.6, 3.5, 9.1, -3, -2},
- {10, 7, 3, -7, -4},
- },
- incX: 2,
- incY: 3,
- x: []float64{1, 15, 2, 150, 3},
- y: []float64{7, 2, 6, 8, -4, -5, 9, -4, -1, -9, 1, 1, 2},
-
- Subcases: []DgemvSubcase{
- {
- alpha: 8,
- beta: -6,
- ans: []float64{384.4, 2, 6, 225.6, -4, -5, 228.4, -4, -1, -82, 1, 1, -52},
- },
- {
- mulXNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{290, 2, 6, 212.8, -4, -5, 310, -4, -1, 190, 1, 1, 188},
- },
- {
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{-82, 2, 6, -184, -4, -5, 228.4, -4, -1, 327.6, 1, 1, 414.4},
- },
- {
- mulXNeg1: true,
- mulYNeg1: true,
- alpha: 8,
- beta: -6,
- ans: []float64{158, 2, 6, 88, -4, -5, 310, -4, -1, 314.8, 1, 1, 320},
- },
- },
- },
-
- // TODO: A can be longer than mxn. Add cases where it is longer
- // TODO: x and y can also be longer. Add tests for these
- // TODO: Add tests for dimension mismatch
- // TODO: Add places with a "submatrix view", where lda != m
-}
-
-type Dgemver interface {
- Dgemv(tA blas.Transpose, m, n int, alpha float64, a []float64, lda int, x []float64, incX int, beta float64, y []float64, incY int)
-}
-
-func DgemvTest(t *testing.T, blasser Dgemver) {
- for _, test := range DgemvCases {
- for i, cas := range test.Subcases {
- // Test that it passes with row-major
- dgemvcomp(t, test, cas, i, blasser)
-
- // Test the bad inputs
- dgemvbad(t, test, cas, i, blasser)
- }
- }
-}
-
-func dgemvcomp(t *testing.T, test DgemvCase, cas DgemvSubcase, i int, blasser Dgemver) {
- x := sliceCopy(test.x)
- y := sliceCopy(test.y)
- a := sliceOfSliceCopy(test.A)
- aFlat := flatten(a)
-
- lda := test.n
-
- incX := test.incX
- if cas.mulXNeg1 {
- incX *= -1
- }
- incY := test.incY
- if cas.mulYNeg1 {
- incY *= -1
- }
-
- f := func() {
- blasser.Dgemv(test.tA, test.m, test.n, cas.alpha, aFlat, lda, x, incX, cas.beta, y, incY)
- }
- if panics(f) {
- t.Errorf("Test %v case %v: unexpected panic", test.Name, i)
- if throwPanic {
- blasser.Dgemv(test.tA, test.m, test.n, cas.alpha, aFlat, lda, x, incX, cas.beta, y, incY)
- }
- return
- }
- // Check that x and a are unchanged
- if !dSliceEqual(x, test.x) {
- t.Errorf("Test %v, case %v: x modified during call", test.Name, i)
- }
- aFlat2 := flatten(sliceOfSliceCopy(test.A))
- if !dSliceEqual(aFlat2, aFlat) {
- t.Errorf("Test %v, case %v: a modified during call", test.Name, i)
- }
-
- // Check that the answer matches
- if !dSliceTolEqual(cas.ans, y) {
- t.Errorf("Test %v, case %v: answer mismatch: Expected %v, Found %v", test.Name, i, cas.ans, y)
- }
-}
-
-func dgemvbad(t *testing.T, test DgemvCase, cas DgemvSubcase, i int, blasser Dgemver) {
- x := sliceCopy(test.x)
- y := sliceCopy(test.y)
- a := sliceOfSliceCopy(test.A)
- aFlatRow := flatten(a)
- ldaRow := test.n
-
- f := func() {
- blasser.Dgemv(312, test.m, test.n, cas.alpha, aFlatRow, ldaRow, x, test.incX, cas.beta, y, test.incY)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for bad transpose", test.Name, i)
- }
- f = func() {
- blasser.Dgemv(test.tA, -2, test.n, cas.alpha, aFlatRow, ldaRow, x, test.incX, cas.beta, y, test.incY)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for m negative", test.Name, i)
- }
- f = func() {
- blasser.Dgemv(test.tA, test.m, -4, cas.alpha, aFlatRow, ldaRow, x, test.incX, cas.beta, y, test.incY)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for n negative", test.Name, i)
- }
- f = func() {
- blasser.Dgemv(test.tA, test.m, test.n, cas.alpha, aFlatRow, ldaRow, x, 0, cas.beta, y, test.incY)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for incX zero", test.Name, i)
- }
- f = func() {
- blasser.Dgemv(test.tA, test.m, test.n, cas.alpha, aFlatRow, ldaRow, x, test.incX, cas.beta, y, 0)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for incY zero", test.Name, i)
- }
- f = func() {
- blasser.Dgemv(test.tA, test.m, test.n, cas.alpha, aFlatRow, ldaRow-1, x, test.incX, cas.beta, y, test.incY)
- }
- if !panics(f) {
- t.Errorf("Test %v case %v: no panic for lda too small row major", test.Name, i)
- }
-}