39 lines · plain
1// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -emit-llvm-only -disable-llvm-passes -verify2 3bool test_too_few_arg() {4 return __builtin_hlsl_wave_read_lane_at();5 // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}6}7 8float2 test_too_few_arg_1(float2 p0) {9 return __builtin_hlsl_wave_read_lane_at(p0);10 // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}11}12 13float2 test_too_many_arg(float2 p0) {14 return __builtin_hlsl_wave_read_lane_at(p0, p0, p0);15 // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}16}17 18float3 test_index_double_type_check(float3 p0, double idx) {19 return __builtin_hlsl_wave_read_lane_at(p0, idx);20 // expected-error@-1 {{passing 'double' to parameter of incompatible type 'unsigned int'}}21}22 23float3 test_index_int3_type_check(float3 p0, int3 idxs) {24 return __builtin_hlsl_wave_read_lane_at(p0, idxs);25 // expected-error@-1 {{passing 'int3' (aka 'vector<int, 3>') to parameter of incompatible type 'unsigned int'}}26}27 28struct S { float f; };29 30float3 test_index_S_type_check(float3 p0, S idx) {31 return __builtin_hlsl_wave_read_lane_at(p0, idx);32 // expected-error@-1 {{passing 'S' to parameter of incompatible type 'unsigned int'}}33}34 35S test_expr_struct_type_check(S p0, int idx) {36 return __builtin_hlsl_wave_read_lane_at(p0, idx);37 // expected-error@-1 {{invalid operand of type 'S' where a scalar or vector is required}}38}39