1package main 2 3import "testing" 4 5//go:noinline 6func testSliceLenCap12_ssa(a [10]int, i, j int) (int, int) { 7 b := a[i:j] 8 return len(b), cap(b) 9} 10 11//go:noinline 12func testSliceLenCap1_ssa(a [10]int, i, j int) (int, int) { 13 b := a[i:] 14 return len(b), cap(b) 15} 16 17//go:noinline 18func testSliceLenCap2_ssa(a [10]int, i, j int) (int, int) { 19 b := a[:j] 20 return len(b), cap(b) 21} 22 23func testSliceLenCap(t *testing.T) { 24 a := [10]int{0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 25 tests := [...]struct { 26 fn func(a [10]int, i, j int) (int, int) 27 i, j int // slice range 28 l, c int // len, cap 29 }{ 30 // -1 means the value is not used. 31 {testSliceLenCap12_ssa, 0, 0, 0, 10}, 32 {testSliceLenCap12_ssa, 0, 1, 1, 10}, 33 {testSliceLenCap12_ssa, 0, 10, 10, 10}, 34 {testSliceLenCap12_ssa, 10, 10, 0, 0}, 35 {testSliceLenCap12_ssa, 0, 5, 5, 10}, 36 {testSliceLenCap12_ssa, 5, 5, 0, 5}, 37 {testSliceLenCap12_ssa, 5, 10, 5, 5}, 38 {testSliceLenCap1_ssa, 0, -1, 0, 10}, 39 {testSliceLenCap1_ssa, 5, -1, 5, 5}, 40 {testSliceLenCap1_ssa, 10, -1, 0, 0}, 41 {testSliceLenCap2_ssa, -1, 0, 0, 10}, 42 {testSliceLenCap2_ssa, -1, 5, 5, 10}, 43 {testSliceLenCap2_ssa, -1, 10, 10, 10}, 44 } 45 46 for i, test := range tests { 47 if l, c := test.fn(a, test.i, test.j); l != test.l && c != test.c { 48 t.Errorf("#%d len(a[%d:%d]), cap(a[%d:%d]) = %d %d, want %d %d", i, test.i, test.j, test.i, test.j, l, c, test.l, test.c) 49 } 50 } 51} 52 53//go:noinline 54func testSliceGetElement_ssa(a [10]int, i, j, p int) int { 55 return a[i:j][p] 56} 57 58func testSliceGetElement(t *testing.T) { 59 a := [10]int{0, 10, 20, 30, 40, 50, 60, 70, 80, 90} 60 tests := [...]struct { 61 i, j, p int 62 want int // a[i:j][p] 63 }{ 64 {0, 10, 2, 20}, 65 {0, 5, 4, 40}, 66 {5, 10, 3, 80}, 67 {1, 9, 7, 80}, 68 } 69 70 for i, test := range tests { 71 if got := testSliceGetElement_ssa(a, test.i, test.j, test.p); got != test.want { 72 t.Errorf("#%d a[%d:%d][%d] = %d, wanted %d", i, test.i, test.j, test.p, got, test.want) 73 } 74 } 75} 76 77//go:noinline 78func testSliceSetElement_ssa(a *[10]int, i, j, p, x int) { 79 (*a)[i:j][p] = x 80} 81 82func testSliceSetElement(t *testing.T) { 83 a := [10]int{0, 10, 20, 30, 40, 50, 60, 70, 80, 90} 84 tests := [...]struct { 85 i, j, p int 86 want int // a[i:j][p] 87 }{ 88 {0, 10, 2, 17}, 89 {0, 5, 4, 11}, 90 {5, 10, 3, 28}, 91 {1, 9, 7, 99}, 92 } 93 94 for i, test := range tests { 95 testSliceSetElement_ssa(&a, test.i, test.j, test.p, test.want) 96 if got := a[test.i+test.p]; got != test.want { 97 t.Errorf("#%d a[%d:%d][%d] = %d, wanted %d", i, test.i, test.j, test.p, got, test.want) 98 } 99 } 100} 101 102func testSlicePanic1(t *testing.T) { 103 defer func() { 104 if r := recover(); r != nil { 105 //println("panicked as expected") 106 } 107 }() 108 109 a := [10]int{0, 10, 20, 30, 40, 50, 60, 70, 80, 90} 110 testSliceLenCap12_ssa(a, 3, 12) 111 t.Errorf("expected to panic, but didn't") 112} 113 114func testSlicePanic2(t *testing.T) { 115 defer func() { 116 if r := recover(); r != nil { 117 //println("panicked as expected") 118 } 119 }() 120 121 a := [10]int{0, 10, 20, 30, 40, 50, 60, 70, 80, 90} 122 testSliceGetElement_ssa(a, 3, 7, 4) 123 t.Errorf("expected to panic, but didn't") 124} 125 126func TestArray(t *testing.T) { 127 testSliceLenCap(t) 128 testSliceGetElement(t) 129 testSliceSetElement(t) 130 testSlicePanic1(t) 131 testSlicePanic2(t) 132} 133