clang/test/SemaHLSL/BuiltIns/lerp-errors.hlsl

   1 // RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm-only -disable-llvm-passes -verify -verify-ignore-unexpected
   2
   3 float2 test_no_second_arg(float2 p0) {
   4   return __builtin_hlsl_lerp(p0);
   5   // expected-error@-1 {{too few arguments to function call, expected 3, have 1}}
   6 }
   7
   8 float2 test_no_third_arg(float2 p0) {
   9   return __builtin_hlsl_lerp(p0, p0);
  10   // expected-error@-1 {{too few arguments to function call, expected 3, have 2}}
  11 }
  12
  13 float2 test_too_many_arg(float2 p0) {
  14   return __builtin_hlsl_lerp(p0, p0, p0, p0);
  15   // expected-error@-1 {{too many arguments to function call, expected 3, have 4}}
  16 }
  17
  18 float2 test_lerp_no_second_arg(float2 p0) {
  19   return lerp(p0);
  20   // expected-error@-1 {{no matching function for call to 'lerp'}}
  21 }
  22
  23 float2 test_lerp_vector_size_mismatch(float3 p0, float2 p1) {
  24   return lerp(p0, p0, p1);
  25   // expected-warning@-1 {{implicit conversion truncates vector: 'float3' (aka 'vector<float, 3>') to 'vector<float, 2>' (vector of 2 'float' values)}}
  26 }
  27
  28 float2 test_lerp_builtin_vector_size_mismatch(float3 p0, float2 p1) {
  29   return __builtin_hlsl_lerp(p0, p1, p1);
  30   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must have the same type}}
  31 }
  32
  33 float test_lerp_scalar_mismatch(float p0, half p1) {
  34   return lerp(p1, p0, p1);
  35   // expected-error@-1 {{call to 'lerp' is ambiguous}}
  36 }
  37
  38 float2 test_lerp_element_type_mismatch(half2 p0, float2 p1) {
  39   return lerp(p1, p0, p1);
  40   // expected-error@-1 {{call to 'lerp' is ambiguous}}
  41 }
  42
  43 float2 test_builtin_lerp_float2_splat(float p0, float2 p1) {
  44   return __builtin_hlsl_lerp(p0, p1, p1);
  45   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  46 }
  47
  48 float3 test_builtin_lerp_float3_splat(float p0, float3 p1) {
  49   return __builtin_hlsl_lerp(p0, p1, p1);
  50   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  51 }
  52
  53 float4 test_builtin_lerp_float4_splat(float p0, float4 p1) {
  54   return __builtin_hlsl_lerp(p0, p1, p1);
  55   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  56 }
  57
  58 float2 test_lerp_float2_int_splat(float2 p0, int p1) {
  59   return __builtin_hlsl_lerp(p0, p1, p1);
  60   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  61 }
  62
  63 float3 test_lerp_float3_int_splat(float3 p0, int p1) {
  64   return __builtin_hlsl_lerp(p0, p1, p1);
  65   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  66 }
  67
  68 float2 test_builtin_lerp_int_vect_to_float_vec_promotion(int2 p0, float p1) {
  69   return __builtin_hlsl_lerp(p0, p1, p1);
  70   // expected-error@-1 {{all arguments to '__builtin_hlsl_lerp' must be vectors}}
  71 }
  72
  73 float test_builtin_lerp_bool_type_promotion(bool p0) {
  74   return __builtin_hlsl_lerp(p0, p0, p0);
  75   // expected-error@-1 {{1st argument must be a floating point type (was 'bool')}}
  76 }
  77
  78 float builtin_bool_to_float_type_promotion(float p0, bool p1) {
  79   return __builtin_hlsl_lerp(p0, p0, p1);
  80   // expected-error@-1 {{3rd argument must be a floating point type (was 'bool')}}
  81 }
  82
  83 float builtin_bool_to_float_type_promotion2(bool p0, float p1) {
  84   return __builtin_hlsl_lerp(p1, p0, p1);
  85   // expected-error@-1 {{2nd argument must be a floating point type (was 'bool')}}
  86 }
  87
  88 float builtin_lerp_int_to_float_promotion(float p0, int p1) {
  89   return __builtin_hlsl_lerp(p0, p0, p1);
  90   // expected-error@-1 {{3rd argument must be a floating point type (was 'int')}}
  91 }
  92
  93 float4 test_lerp_int4(int4 p0, int4 p1, int4 p2) {
  94   return __builtin_hlsl_lerp(p0, p1, p2);
  95   // expected-error@-1 {{1st argument must be a floating point type (was 'int4' (aka 'vector<int, 4>'))}}
  96 }
  97
  98 // note: DefaultVariadicArgumentPromotion --> DefaultArgumentPromotion has already promoted to double
  99 // we don't know anymore that the input was half when __builtin_hlsl_lerp is called so we default to float
 100 // for expected type
 101 half builtin_lerp_half_scalar (half p0) {
 102   return __builtin_hlsl_lerp ( p0, p0, p0 );
 103   // expected-error@-1 {{passing 'double' to parameter of incompatible type 'float'}}
 104 }
 105
 106 float builtin_lerp_float_scalar ( float p0) {
 107   return __builtin_hlsl_lerp ( p0, p0, p0 );
 108   // expected-error@-1 {{passing 'double' to parameter of incompatible type 'float'}}
 109 }