1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
// RUN: %not %wgslc | %check
// CHECK-L: 'array' requires at least 1 template argument
var<private> a:array;
// CHECK-L: value 4294967296 cannot be represented as 'i32'
@group(0) @binding(0) var<storage, read_write> b: array<u32, (1<<32)>;
fn testArrayLengthMismatch() {
// CHECK-L: array count must be greater than 0
let x1 = array<i32, 0>();
// CHECK-L: array count must be greater than 0
let x2 = array<i32, -1>();
// CHECK-L: array constructor has too few elements: expected 2, found 1
let x3 = array<i32, 2>(0);
// CHECK-L: array constructor has too many elements: expected 1, found 2
let x4 = array<i32, 1>(0, 0);
// CHECK-L: array count (65536) must be less than 65536
let x5 = array<i32, 65536>();
// CHECK-NOT-L: array count (65535) must be less than 65536
let x6 = array<i32, 65535>();
}
fn testRuntimeSizedArray() {
// CHECK-L: cannot construct a runtime-sized array
let x1 = array<i32>(0);
}
fn testArrayTypeMismatch() {
// CHECK-L: '<AbstractFloat>' cannot be used to construct an array of 'i32'
let x1 = array<i32, 1>(0.0);
}
fn testArrayInferenceError() {
// CHECK-L: cannot infer array element type from constructor
let x1 = array();
// CHECK-L: cannot infer common array element type from constructor arguments
let x2 = array(0, 0.0, 0u);
}
fn testBottomElementType() {
// CHECK-L: unresolved type 'i2'
let xl = array<i2, 1>(0.0);
}
fn testBottomElementCount() {
// CHECK-L: unresolved identifier 'c'
let xl = array<i32, c>(0.0);
}
override elementCount = 4;
fn testOverrideElementCount() {
// CHECK-L: array must have constant size in order to be constructed
let xl = array<i32, elementCount>(0.0);
}
|
