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
|
// RUN: %not %wgslc | %check
fn f1(x: f32) -> f32 {
// CHECK-L: missing return at end of function
}
fn f2() {
// CHECK-L: unresolved call target 'f0'
_ = f0();
// CHECK-L: type in function call does not match parameter type: expected 'f32', found 'i32'
_ = f1(0i);
// CHECK-L: cannot call value of type 'i32'
let f3: i32 = 0;
_ = f3();
// CHECK-L: cannot initialize var of type 'i32' with value of type 'f32'
let x: i32 = f1(0);
// CHECK-L: funtion call has too few arguments: expected 1, found 0
_ = f1();
// CHECK-L: funtion call has too many arguments: expected 1, found 2
_ = f1(0, 0);
}
fn f3() { }
fn f4() {
// CHECK-L: cannot initialize variable with expression of type 'void'
let x = f3();
}
@group(0) @binding(0) var<storage, read_write> x: array<f32>;
fn f5()
{
let arrayLength = 1;
// CHECK-L: cannot call value of type 'i32'
_ = arrayLength(&x);
}
fn f6()
{
let array = 1f;
// CHECK-L: cannot call value of type 'f32'
_ = array<i32, 1>(1);
}
fn f7()
{
let vec2 = 1u;
// CHECK-L: cannot call value of type 'u32'
_ = vec2<i32>(1);
}
fn f8()
{
let bitcast = 1h;
// CHECK-L: cannot call value of type 'f16'
_ = bitcast<i32>(1);
}
|
