1// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.0-compute \ 2// RUN: -fhlsl-strict-availability -fsyntax-only -verify %s 3 4__attribute__((availability(shadermodel, introduced = 6.5))) 5float fx(float); // #fx 6 7__attribute__((availability(shadermodel, introduced = 6.6))) 8half fx(half); // #fx_half 9 10__attribute__((availability(shadermodel, introduced = 5.0, environment = pixel))) 11__attribute__((availability(shadermodel, introduced = 6.5, environment = compute))) 12float fy(float); // #fy 13 14__attribute__((availability(shadermodel, introduced = 5.0, environment = pixel))) 15__attribute__((availability(shadermodel, introduced = 6.5, environment = mesh))) 16float fz(float); // #fz 17 18float also_alive(float f) { 19 // expected-error@#also_alive_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 20 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 21 float A = fx(f); // #also_alive_fx_call 22 // expected-error@#also_alive_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 23 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 24 float B = fy(f); // #also_alive_fy_call 25 // expected-error@#also_alive_fz_call {{'fz' is unavailable}} 26 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 27 float C = fz(f); // #also_alive_fz_call 28 return 0; 29} 30 31float alive(float f) { 32 // expected-error@#alive_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 33 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 34 float A = fx(f); // #alive_fx_call 35 // expected-error@#alive_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 36 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 37 float B = fy(f); // #alive_fy_call 38 // expected-error@#alive_fz_call {{'fz' is unavailable}} 39 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 40 float C = fz(f); // #alive_fz_call 41 42 return also_alive(f); 43} 44 45float also_dead(float f) { 46 // expected-error@#also_dead_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 47 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 48 float A = fx(f); // #also_dead_fx_call 49 // expected-error@#also_dead_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 50 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 51 float B = fy(f); // #also_dead_fy_call 52 // expected-error@#also_dead_fz_call {{'fz' is unavailable}} 53 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 54 float C = fz(f); // #also_dead_fz_call 55 return 0; 56} 57 58float dead(float f) { 59 // expected-error@#dead_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 60 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 61 float A = fx(f); // #dead_fx_call 62 // expected-error@#dead_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 63 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 64 float B = fy(f); // #dead_fy_call 65 // expected-error@#dead_fz_call {{'fz' is unavailable}} 66 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 67 float C = fz(f); // #dead_fz_call 68 69 return also_dead(f); 70} 71 72template<typename T> 73T aliveTemp(T f) { 74 // expected-error@#aliveTemp_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 75 // expected-note@#aliveTemp_inst {{in instantiation of function template specialization 'aliveTemp<float>' requested here}} 76 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 77 float A = fx(f); // #aliveTemp_fx_call 78 // expected-error@#aliveTemp_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 79 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 80 float B = fy(f); // #aliveTemp_fy_call 81 // expected-error@#aliveTemp_fz_call {{'fz' is unavailable}} 82 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 83 float C = fz(f); // #aliveTemp_fz_call 84 return 0; 85} 86 87template<typename T> T aliveTemp2(T f) { 88 // expected-error@#aliveTemp2_fx_call {{'fx' is only available on Shader Model 6.6 or newer}} 89 // expected-note@#fx_half {{'fx' has been marked as being introduced in Shader Model 6.6 here, but the deployment target is Shader Model 6.0}} 90 // expected-error@#aliveTemp2_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 91 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 92 return fx(f); // #aliveTemp2_fx_call 93} 94 95half test(half x) { 96 return aliveTemp2(x); // expected-note {{in instantiation of function template specialization 'aliveTemp2<half>' requested here}} 97} 98 99float test(float x) { 100 return aliveTemp2(x); // expected-note {{in instantiation of function template specialization 'aliveTemp2<float>' requested here}} 101} 102 103class MyClass 104{ 105 float F; 106 float makeF() { 107 // expected-error@#MyClass_makeF_fx_call {{'fx' is only available on Shader Model 6.5 or newer}} 108 // expected-note@#fx {{'fx' has been marked as being introduced in Shader Model 6.5 here, but the deployment target is Shader Model 6.0}} 109 float A = fx(F); // #MyClass_makeF_fx_call 110 // expected-error@#MyClass_makeF_fy_call {{'fy' is only available in compute environment on Shader Model 6.5 or newer}} 111 // expected-note@#fy {{'fy' has been marked as being introduced in Shader Model 6.5 in compute environment here, but the deployment target is Shader Model 6.0 compute environment}} 112 float B = fy(F); // #MyClass_makeF_fy_call 113 // expected-error@#MyClass_makeF_fz_call {{'fz' is unavailable}} 114 // expected-note@#fz {{'fz' has been marked as being introduced in Shader Model 6.5 in mesh environment here, but the deployment target is Shader Model 6.0 compute environment}} 115 float C = fz(F); // #MyClass_makeF_fz_call 116 } 117}; 118 119[numthreads(4,1,1)] 120float main() { 121 float f = 3; 122 MyClass C = { 1.0f }; 123 float a = alive(f); 124 float b = aliveTemp<float>(f); // #aliveTemp_inst 125 float c = C.makeF(); 126 float d = test((float)1.0); 127 float e = test((half)1.0); 128 return a * b * c; 129}