1/* This file auto-generated with ./vperm.pl 4 1. */ 2 3void check0(void) 4{ 5 TEST (0, 0, 0, 0) 6 TEST (1, 0, 0, 0) 7 TEST (2, 0, 0, 0) 8 TEST (3, 0, 0, 0) 9 TEST (0, 1, 0, 0) 10 TEST (1, 1, 0, 0) 11 TEST (2, 1, 0, 0) 12 TEST (3, 1, 0, 0) 13 TEST (0, 2, 0, 0) 14 TEST (1, 2, 0, 0) 15 TEST (2, 2, 0, 0) 16 TEST (3, 2, 0, 0) 17 TEST (0, 3, 0, 0) 18 TEST (1, 3, 0, 0) 19 TEST (2, 3, 0, 0) 20 TEST (3, 3, 0, 0) 21 TEST (0, 0, 1, 0) 22 TEST (1, 0, 1, 0) 23 TEST (2, 0, 1, 0) 24 TEST (3, 0, 1, 0) 25 TEST (0, 1, 1, 0) 26 TEST (1, 1, 1, 0) 27 TEST (2, 1, 1, 0) 28 TEST (3, 1, 1, 0) 29 TEST (0, 2, 1, 0) 30 TEST (1, 2, 1, 0) 31 TEST (2, 2, 1, 0) 32 TEST (3, 2, 1, 0) 33 TEST (0, 3, 1, 0) 34 TEST (1, 3, 1, 0) 35 TEST (2, 3, 1, 0) 36 TEST (3, 3, 1, 0) 37 TEST (0, 0, 2, 0) 38 TEST (1, 0, 2, 0) 39 TEST (2, 0, 2, 0) 40 TEST (3, 0, 2, 0) 41 TEST (0, 1, 2, 0) 42 TEST (1, 1, 2, 0) 43 TEST (2, 1, 2, 0) 44 TEST (3, 1, 2, 0) 45 TEST (0, 2, 2, 0) 46 TEST (1, 2, 2, 0) 47 TEST (2, 2, 2, 0) 48 TEST (3, 2, 2, 0) 49 TEST (0, 3, 2, 0) 50 TEST (1, 3, 2, 0) 51 TEST (2, 3, 2, 0) 52 TEST (3, 3, 2, 0) 53 TEST (0, 0, 3, 0) 54 TEST (1, 0, 3, 0) 55 TEST (2, 0, 3, 0) 56 TEST (3, 0, 3, 0) 57 TEST (0, 1, 3, 0) 58 TEST (1, 1, 3, 0) 59 TEST (2, 1, 3, 0) 60 TEST (3, 1, 3, 0) 61 TEST (0, 2, 3, 0) 62 TEST (1, 2, 3, 0) 63 TEST (2, 2, 3, 0) 64 TEST (3, 2, 3, 0) 65 TEST (0, 3, 3, 0) 66 TEST (1, 3, 3, 0) 67 TEST (2, 3, 3, 0) 68 TEST (3, 3, 3, 0) 69 TEST (0, 0, 0, 1) 70 TEST (1, 0, 0, 1) 71 TEST (2, 0, 0, 1) 72 TEST (3, 0, 0, 1) 73 TEST (0, 1, 0, 1) 74 TEST (1, 1, 0, 1) 75 TEST (2, 1, 0, 1) 76 TEST (3, 1, 0, 1) 77 TEST (0, 2, 0, 1) 78 TEST (1, 2, 0, 1) 79 TEST (2, 2, 0, 1) 80 TEST (3, 2, 0, 1) 81 TEST (0, 3, 0, 1) 82 TEST (1, 3, 0, 1) 83 TEST (2, 3, 0, 1) 84 TEST (3, 3, 0, 1) 85 TEST (0, 0, 1, 1) 86 TEST (1, 0, 1, 1) 87 TEST (2, 0, 1, 1) 88 TEST (3, 0, 1, 1) 89 TEST (0, 1, 1, 1) 90 TEST (1, 1, 1, 1) 91 TEST (2, 1, 1, 1) 92 TEST (3, 1, 1, 1) 93 TEST (0, 2, 1, 1) 94 TEST (1, 2, 1, 1) 95 TEST (2, 2, 1, 1) 96 TEST (3, 2, 1, 1) 97 TEST (0, 3, 1, 1) 98 TEST (1, 3, 1, 1) 99 TEST (2, 3, 1, 1) 100 TEST (3, 3, 1, 1) 101 TEST (0, 0, 2, 1) 102 TEST (1, 0, 2, 1) 103 TEST (2, 0, 2, 1) 104 TEST (3, 0, 2, 1) 105 TEST (0, 1, 2, 1) 106 TEST (1, 1, 2, 1) 107 TEST (2, 1, 2, 1) 108 TEST (3, 1, 2, 1) 109 TEST (0, 2, 2, 1) 110 TEST (1, 2, 2, 1) 111 TEST (2, 2, 2, 1) 112 TEST (3, 2, 2, 1) 113 TEST (0, 3, 2, 1) 114 TEST (1, 3, 2, 1) 115 TEST (2, 3, 2, 1) 116 TEST (3, 3, 2, 1) 117 TEST (0, 0, 3, 1) 118 TEST (1, 0, 3, 1) 119 TEST (2, 0, 3, 1) 120 TEST (3, 0, 3, 1) 121 TEST (0, 1, 3, 1) 122 TEST (1, 1, 3, 1) 123 TEST (2, 1, 3, 1) 124 TEST (3, 1, 3, 1) 125 TEST (0, 2, 3, 1) 126 TEST (1, 2, 3, 1) 127 TEST (2, 2, 3, 1) 128 TEST (3, 2, 3, 1) 129 TEST (0, 3, 3, 1) 130 TEST (1, 3, 3, 1) 131 TEST (2, 3, 3, 1) 132 TEST (3, 3, 3, 1) 133} 134 135void check1(void) 136{ 137 TEST (0, 0, 0, 2) 138 TEST (1, 0, 0, 2) 139 TEST (2, 0, 0, 2) 140 TEST (3, 0, 0, 2) 141 TEST (0, 1, 0, 2) 142 TEST (1, 1, 0, 2) 143 TEST (2, 1, 0, 2) 144 TEST (3, 1, 0, 2) 145 TEST (0, 2, 0, 2) 146 TEST (1, 2, 0, 2) 147 TEST (2, 2, 0, 2) 148 TEST (3, 2, 0, 2) 149 TEST (0, 3, 0, 2) 150 TEST (1, 3, 0, 2) 151 TEST (2, 3, 0, 2) 152 TEST (3, 3, 0, 2) 153 TEST (0, 0, 1, 2) 154 TEST (1, 0, 1, 2) 155 TEST (2, 0, 1, 2) 156 TEST (3, 0, 1, 2) 157 TEST (0, 1, 1, 2) 158 TEST (1, 1, 1, 2) 159 TEST (2, 1, 1, 2) 160 TEST (3, 1, 1, 2) 161 TEST (0, 2, 1, 2) 162 TEST (1, 2, 1, 2) 163 TEST (2, 2, 1, 2) 164 TEST (3, 2, 1, 2) 165 TEST (0, 3, 1, 2) 166 TEST (1, 3, 1, 2) 167 TEST (2, 3, 1, 2) 168 TEST (3, 3, 1, 2) 169 TEST (0, 0, 2, 2) 170 TEST (1, 0, 2, 2) 171 TEST (2, 0, 2, 2) 172 TEST (3, 0, 2, 2) 173 TEST (0, 1, 2, 2) 174 TEST (1, 1, 2, 2) 175 TEST (2, 1, 2, 2) 176 TEST (3, 1, 2, 2) 177 TEST (0, 2, 2, 2) 178 TEST (1, 2, 2, 2) 179 TEST (2, 2, 2, 2) 180 TEST (3, 2, 2, 2) 181 TEST (0, 3, 2, 2) 182 TEST (1, 3, 2, 2) 183 TEST (2, 3, 2, 2) 184 TEST (3, 3, 2, 2) 185 TEST (0, 0, 3, 2) 186 TEST (1, 0, 3, 2) 187 TEST (2, 0, 3, 2) 188 TEST (3, 0, 3, 2) 189 TEST (0, 1, 3, 2) 190 TEST (1, 1, 3, 2) 191 TEST (2, 1, 3, 2) 192 TEST (3, 1, 3, 2) 193 TEST (0, 2, 3, 2) 194 TEST (1, 2, 3, 2) 195 TEST (2, 2, 3, 2) 196 TEST (3, 2, 3, 2) 197 TEST (0, 3, 3, 2) 198 TEST (1, 3, 3, 2) 199 TEST (2, 3, 3, 2) 200 TEST (3, 3, 3, 2) 201 TEST (0, 0, 0, 3) 202 TEST (1, 0, 0, 3) 203 TEST (2, 0, 0, 3) 204 TEST (3, 0, 0, 3) 205 TEST (0, 1, 0, 3) 206 TEST (1, 1, 0, 3) 207 TEST (2, 1, 0, 3) 208 TEST (3, 1, 0, 3) 209 TEST (0, 2, 0, 3) 210 TEST (1, 2, 0, 3) 211 TEST (2, 2, 0, 3) 212 TEST (3, 2, 0, 3) 213 TEST (0, 3, 0, 3) 214 TEST (1, 3, 0, 3) 215 TEST (2, 3, 0, 3) 216 TEST (3, 3, 0, 3) 217 TEST (0, 0, 1, 3) 218 TEST (1, 0, 1, 3) 219 TEST (2, 0, 1, 3) 220 TEST (3, 0, 1, 3) 221 TEST (0, 1, 1, 3) 222 TEST (1, 1, 1, 3) 223 TEST (2, 1, 1, 3) 224 TEST (3, 1, 1, 3) 225 TEST (0, 2, 1, 3) 226 TEST (1, 2, 1, 3) 227 TEST (2, 2, 1, 3) 228 TEST (3, 2, 1, 3) 229 TEST (0, 3, 1, 3) 230 TEST (1, 3, 1, 3) 231 TEST (2, 3, 1, 3) 232 TEST (3, 3, 1, 3) 233 TEST (0, 0, 2, 3) 234 TEST (1, 0, 2, 3) 235 TEST (2, 0, 2, 3) 236 TEST (3, 0, 2, 3) 237 TEST (0, 1, 2, 3) 238 TEST (1, 1, 2, 3) 239 TEST (2, 1, 2, 3) 240 TEST (3, 1, 2, 3) 241 TEST (0, 2, 2, 3) 242 TEST (1, 2, 2, 3) 243 TEST (2, 2, 2, 3) 244 TEST (3, 2, 2, 3) 245 TEST (0, 3, 2, 3) 246 TEST (1, 3, 2, 3) 247 TEST (2, 3, 2, 3) 248 TEST (3, 3, 2, 3) 249 TEST (0, 0, 3, 3) 250 TEST (1, 0, 3, 3) 251 TEST (2, 0, 3, 3) 252 TEST (3, 0, 3, 3) 253 TEST (0, 1, 3, 3) 254 TEST (1, 1, 3, 3) 255 TEST (2, 1, 3, 3) 256 TEST (3, 1, 3, 3) 257 TEST (0, 2, 3, 3) 258 TEST (1, 2, 3, 3) 259 TEST (2, 2, 3, 3) 260 TEST (3, 2, 3, 3) 261 TEST (0, 3, 3, 3) 262 TEST (1, 3, 3, 3) 263 TEST (2, 3, 3, 3) 264 TEST (3, 3, 3, 3) 265} 266 267void check(void) 268{ 269 check0 (); 270 check1 (); 271} 272 273