mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-17 10:06:36 +00:00
89fb8490a9
HLSL output parameters are denoted with the `inout` and `out` keywords in the function declaration. When an argument to an output parameter is constructed a temporary value is constructed for the argument. For `inout` pamameters the argument is initialized via copy-initialization from the argument lvalue expression to the parameter type. For `out` parameters the argument is not initialized before the call. In both cases on return of the function the temporary value is written back to the argument lvalue expression through an implicit assignment binary operator with casting as required. This change introduces a new HLSLOutArgExpr ast node which represents the output argument behavior. The OutArgExpr has three defined children: - An OpaqueValueExpr of the argument lvalue expression. - An OpaqueValueExpr of the copy-initialized parameter. - A BinaryOpExpr assigning the first with the value of the second. Fixes #87526 --------- Co-authored-by: Damyan Pepper <damyanp@microsoft.com> Co-authored-by: John McCall <rjmccall@gmail.com>
66 lines
2.5 KiB
HLSL
66 lines
2.5 KiB
HLSL
// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.6-library %s -ast-dump | FileCheck %s
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn 'void (float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float'
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn(float f);
|
|
|
|
// CHECK: FunctionDecl {{.*}}6 fn2 'void (float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} in
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn2(in float f);
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn3 'void (out float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float &__restrict'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} out
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn3(out float f);
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn4 'void (inout float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float &__restrict'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} inout
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn4(inout float f);
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn5 'void (inout float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float &__restrict'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} inout MergedSpelling
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn5(out in float f);
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn6 'void (inout float)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float &__restrict'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} inout MergedSpelling
|
|
// CHECK-NOT: HLSLParamModifierAttr
|
|
void fn6(in out float f);
|
|
|
|
// CHECK-NEXT: FunctionTemplateDecl [[Template:0x[0-9a-fA-F]+]] {{.*}} fn7
|
|
// CHECK-NEXT: TemplateTypeParmDecl {{.*}} referenced typename depth 0 index 0 T
|
|
// CHECK-NEXT: FunctionDecl {{.*}} fn7 'void (inout T)'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'T'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} inout
|
|
// CHECK-NEXT: FunctionDecl [[Instantiation:0x[0-9a-fA-F]+]] {{.*}} used fn7 'void (inout float)' implicit_instantiation
|
|
// CHECK-NEXT: TemplateArgument type 'float'
|
|
// CHECK-NEXT: BuiltinType {{.*}} 'float'
|
|
// CHECK-NEXT: ParmVarDecl {{.*}} f 'float &__restrict'
|
|
// CHECK-NEXT: HLSLParamModifierAttr {{.*}} inout
|
|
|
|
template <typename T>
|
|
void fn7(inout T f);
|
|
|
|
// CHECK: FunctionDecl {{.*}} fn8 'void ()'
|
|
// CHECK-NEXT: CompoundStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl {{.*}} used f 'float'
|
|
// CHECK-NEXT: CallExpr {{.*}} 'void'
|
|
// CHECK-NEXT: ImplicitCastExpr {{.*}} 'void (*)(inout float)' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr {{.*}} 'void (inout float)' lvalue
|
|
// CHECK-SAME: Function [[Instantiation]] 'fn7' 'void (inout float)'
|
|
// CHECK-SAME: (FunctionTemplate [[Template]] 'fn7')
|
|
// CHECK-NEXT: HLSLOutArgExpr {{.*}}'float' lvalue
|
|
void fn8() {
|
|
float f;
|
|
fn7<float>(f);
|
|
}
|