1// RUN: %clang_cc1 -triple dxil-unknown-shadermodel6.6-library -S -fnative-half-type -finclude-default-header -o - -ast-dump %s | FileCheck %s 2// RUN: %clang_cc1 -finclude-default-header -triple dxil-pc-shadermodel6.6-library %s -fnative-half-type -emit-llvm -disable-llvm-passes -o - | FileCheck %s --check-prefixes=CHECKIR 3void Fn(double2 D); 4void Fn(half2 H); 5 6// CHECK: FunctionDecl {{.*}} Call 'void (float2)' 7// CHECK: CallExpr {{.*}}'void' 8// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(double2)' <FunctionToPointerDecay> 9// CHECK-NEXT: DeclRefExpr {{.*}}'void (double2)' lvalue Function {{.*}} 'Fn' 'void (double2)' 10// CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<double, 2>' <FloatingCast> 11// CHECK-NEXT: ImplicitCastExpr {{.*}} 'float2':'vector<float, 2>' <LValueToRValue> 12// CHECK-NEXT: DeclRefExpr {{.*}} 'float2':'vector<float, 2>' lvalue ParmVar {{.*}} 'F' 'float2':'vector<float, 2>' 13 14void Call(float2 F) { 15 Fn(F); 16} 17 18void Fn2(int64_t2 L); 19void Fn2(int16_t2 S); 20 21// CHECK: FunctionDecl {{.*}} Call2 'void (int2)' 22// CHECK: CallExpr {{.*}} 'void' 23// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(int64_t2)' <FunctionToPointerDecay> 24// CHECK-NEXT: DeclRefExpr {{.*}} 'void (int64_t2)' lvalue Function {{.*}} 'Fn2' 'void (int64_t2)' 25// CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<int64_t, 2>' <IntegralCast> 26// CHECK-NEXT: ImplicitCastExpr {{.*}} 'int2':'vector<int, 2>' <LValueToRValue> 27// CHECK-NEXT: DeclRefExpr {{.*}} 'int2':'vector<int, 2>' lvalue ParmVar {{.*}} 'I' 'int2':'vector<int, 2>' 28 29void Call2(int2 I) { 30 Fn2(I); 31} 32 33void Fn3( int64_t2 p0); 34 35// CHECK: FunctionDecl {{.*}} Call3 'void (half2)' 36// CHECK: CallExpr {{.*}} 'void' 37// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(int64_t2)' <FunctionToPointerDecay> 38// CHECK-NEXT: DeclRefExpr {{.*}} 'void (int64_t2)' lvalue Function {{.*}} 'Fn3' 'void (int64_t2)' 39// CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<int64_t, 2>' <FloatingToIntegral> 40// CHECK-NEXT: ImplicitCastExpr {{.*}} 'half2':'vector<half, 2>' <LValueToRValue> 41// CHECK-NEXT: DeclRefExpr {{.*}} 'half2':'vector<half, 2>' lvalue ParmVar {{.*}} 'p0' 'half2':'vector<half, 2>' 42// CHECKIR-LABEL: Call3 43// CHECKIR: {{.*}} = fptosi <2 x half> {{.*}} to <2 x i64> 44void Call3(half2 p0) { 45 Fn3(p0); 46} 47 48// CHECK: FunctionDecl {{.*}} Call4 'void (float2)' 49// CHECK: CallExpr {{.*}} 'void' 50// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(int64_t2)' <FunctionToPointerDecay> 51// CHECK-NEXT: DeclRefExpr {{.*}} 'void (int64_t2)' lvalue Function {{.*}} 'Fn3' 'void (int64_t2)' 52// CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<int64_t, 2>' <FloatingToIntegral> 53// CHECK-NEXT: ImplicitCastExpr {{.*}} 'float2':'vector<float, 2>' <LValueToRValue> 54// CHECK-NEXT: DeclRefExpr {{.*}} 'float2':'vector<float, 2>' lvalue ParmVar {{.*}} 'p0' 'float2':'vector<float, 2>' 55// CHECKIR-LABEL: Call4 56// CHECKIR: {{.*}} = fptosi <2 x float> {{.*}} to <2 x i64> 57void Call4(float2 p0) { 58 Fn3(p0); 59} 60 61void Fn4( float2 p0); 62 63// CHECK: FunctionDecl {{.*}} Call5 'void (int64_t2)' 64// CHECK: CallExpr {{.*}} 'void' 65// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(float2)' <FunctionToPointerDecay> 66// CHECK-NEXT: DeclRefExpr {{.*}} 'void (float2)' lvalue Function {{.*}} 'Fn4' 'void (float2)' 67// CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<float, 2>' <IntegralToFloating> 68// CHECK-NEXT: ImplicitCastExpr {{.*}} 'int64_t2':'vector<int64_t, 2>' <LValueToRValue> 69// CHECK-NEXT: DeclRefExpr {{.*}} 'int64_t2':'vector<int64_t, 2>' lvalue ParmVar {{.*}} 'p0' 'int64_t2':'vector<int64_t, 2>' 70// CHECKIR-LABEL: Call5 71// CHECKIR: {{.*}} = sitofp <2 x i64> {{.*}} to <2 x float> 72void Call5(int64_t2 p0) { 73 Fn4(p0); 74} 75