mirror of
https://github.com/dart-lang/sdk
synced 2024-10-14 12:48:10 +00:00
[vm/ffi] Fix @Natives with VarArgs
This CL fixes the processing of `@Native` annotations to take into account the native types nested in `VarArgs`. TEST=tests/ffi/regress_51504_test.dart TEST=tests/ffi/function_varargs_generated_native_leaf_test.dart TEST=tests/ffi/function_varargs_generated_native_test.dart Closes: https://github.com/dart-lang/sdk/issues/51504 Change-Id: Ifb0a08e1e52c9b51cb5143e7ac487a91da4a0e0c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/285623 Commit-Queue: Daco Harkes <dacoharkes@google.com> Reviewed-by: Martin Kustermann <kustermann@google.com>
This commit is contained in:
Daco Harkes
Commit Queue
parent
a62f91e5fc
commit
cb1b6905ac
|
|
@ -617,43 +617,60 @@ class FfiTransformer extends Transformer {
|
|||
allowCompounds: true, allowHandle: true);
|
||||
if (returnType == null) return null;
|
||||
final argumentTypes = <DartType>[];
|
||||
bool seenVarArgs = false;
|
||||
for (final paramDartType in fun.positionalParameters) {
|
||||
if (seenVarArgs) {
|
||||
// VarArgs is not last.
|
||||
return null;
|
||||
}
|
||||
if (paramDartType is InterfaceType &&
|
||||
paramDartType.classNode == varArgsClass) {
|
||||
seenVarArgs = true;
|
||||
final typeArgument = paramDartType.typeArguments.single;
|
||||
if (typeArgument is RecordType) {
|
||||
if (typeArgument.named.isNotEmpty) {
|
||||
// Named record fields are not supported.
|
||||
return null;
|
||||
}
|
||||
for (final paramDartType in typeArgument.positional) {
|
||||
argumentTypes.add(
|
||||
convertNativeTypeToDartType(paramDartType,
|
||||
allowCompounds: true, allowHandle: true) ??
|
||||
dummyDartType,
|
||||
);
|
||||
}
|
||||
} else {
|
||||
return null;
|
||||
}
|
||||
} else {
|
||||
argumentTypes.add(
|
||||
convertNativeTypeToDartType(paramDartType,
|
||||
allowCompounds: true, allowHandle: true) ??
|
||||
dummyDartType,
|
||||
);
|
||||
}
|
||||
for (final paramDartType in flattenVarargs(fun).positionalParameters) {
|
||||
argumentTypes.add(
|
||||
convertNativeTypeToDartType(paramDartType,
|
||||
allowCompounds: true, allowHandle: true) ??
|
||||
dummyDartType,
|
||||
);
|
||||
}
|
||||
if (argumentTypes.contains(dummyDartType)) return null;
|
||||
return FunctionType(argumentTypes, returnType, Nullability.legacy);
|
||||
}
|
||||
|
||||
/// Removes the VarArgs from a DartType list.
|
||||
///
|
||||
/// ```
|
||||
/// [Int8, Int8] -> [Int8, Int8]
|
||||
/// [Int8, VarArgs<(Int8,)>] -> [Int8, Int8]
|
||||
/// [Int8, VarArgs<(Int8, Int8)>] -> [Int8, Int8, Int8]
|
||||
/// ```
|
||||
FunctionType flattenVarargs(FunctionType functionTypeWithPossibleVarArgs) {
|
||||
final positionalParameters =
|
||||
functionTypeWithPossibleVarArgs.positionalParameters;
|
||||
if (positionalParameters.isEmpty) {
|
||||
return functionTypeWithPossibleVarArgs;
|
||||
}
|
||||
final lastPositionalParameter = positionalParameters.last;
|
||||
if (lastPositionalParameter is InterfaceType &&
|
||||
lastPositionalParameter.classNode == varArgsClass) {
|
||||
final typeArgument = lastPositionalParameter.typeArguments.single;
|
||||
if (typeArgument is! RecordType) {
|
||||
return functionTypeWithPossibleVarArgs;
|
||||
}
|
||||
|
||||
if (typeArgument.named.isNotEmpty) {
|
||||
// Named record fields are not supported.
|
||||
return functionTypeWithPossibleVarArgs;
|
||||
}
|
||||
|
||||
final positionalParameters = [
|
||||
...functionTypeWithPossibleVarArgs.positionalParameters.sublist(
|
||||
0, functionTypeWithPossibleVarArgs.positionalParameters.length - 1),
|
||||
for (final paramDartType in typeArgument.positional) paramDartType,
|
||||
];
|
||||
return FunctionType(
|
||||
positionalParameters,
|
||||
functionTypeWithPossibleVarArgs.returnType,
|
||||
functionTypeWithPossibleVarArgs.declaredNullability,
|
||||
namedParameters: functionTypeWithPossibleVarArgs.namedParameters,
|
||||
typeParameters: functionTypeWithPossibleVarArgs.typeParameters,
|
||||
requiredParameterCount: positionalParameters.length,
|
||||
);
|
||||
}
|
||||
return functionTypeWithPossibleVarArgs;
|
||||
}
|
||||
|
||||
/// The [NativeType] corresponding to [c]. Returns `null` for user-defined
|
||||
/// structs.
|
||||
NativeType? getType(Class c) {
|
||||
|
|
|
|||
|
|
@ -21,7 +21,7 @@ import 'package:kernel/type_environment.dart';
|
|||
|
||||
import 'common.dart' show FfiStaticTypeError, FfiTransformer;
|
||||
|
||||
/// Transform @FfiNative annotated functions into FFI native function pointer
|
||||
/// Transform @Native annotated functions into FFI native function pointer
|
||||
/// functions.
|
||||
void transformLibraries(
|
||||
Component component,
|
||||
|
|
@ -693,8 +693,13 @@ class FfiNativeTransformer extends FfiTransformer {
|
|||
///
|
||||
/// For example, for FFI function type `Int8 Function(Double)`, this returns
|
||||
/// `int Function(double)`.
|
||||
FunctionType? checkFfiType(Procedure node, FunctionType dartFunctionType,
|
||||
FunctionType ffiFunctionType, bool isLeaf, int annotationOffset) {
|
||||
FunctionType? checkFfiType(
|
||||
Procedure node,
|
||||
FunctionType dartFunctionType,
|
||||
FunctionType ffiFunctionTypeWithPossibleVarArgs,
|
||||
bool isLeaf,
|
||||
int annotationOffset) {
|
||||
final ffiFunctionType = flattenVarargs(ffiFunctionTypeWithPossibleVarArgs);
|
||||
if (!_verifySignatures(
|
||||
node, dartFunctionType, ffiFunctionType, annotationOffset)) {
|
||||
return null;
|
||||
|
|
|
|||
|
|
@ -51,9 +51,7 @@ Object dlopenGlobalPlatformSpecific(String name, {String? path}) {
|
|||
// TODO(https://dartbug.com/50105): enable dlopen global via package:ffi.
|
||||
return using((arena) {
|
||||
final dylibHandle = dlopen(
|
||||
platformPath("ffi_test_functions")
|
||||
.toNativeUtf8(allocator: arena)
|
||||
.cast(),
|
||||
platformPath(name).toNativeUtf8(allocator: arena).cast(),
|
||||
RTLD_LAZY | RTLD_GLOBAL);
|
||||
return dylibHandle;
|
||||
});
|
||||
|
|
|
|||
608
tests/ffi/function_varargs_generated_native_leaf_test.dart
Normal file
608
tests/ffi/function_varargs_generated_native_leaf_test.dart
Normal file
|
|
@ -0,0 +1,608 @@
|
|||
// Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file
|
||||
// for details. All rights reserved. Use of this source code is governed by a
|
||||
// BSD-style license that can be found in the LICENSE file.
|
||||
//
|
||||
// This file has been automatically generated. Please do not edit it manually.
|
||||
// Generated by tests/ffi/generator/structs_by_value_tests_generator.dart.
|
||||
//
|
||||
// SharedObjects=ffi_test_functions
|
||||
// VMOptions=--enable-experiment=records
|
||||
// VMOptions=--enable-experiment=records --deterministic --optimization-counter-threshold=90
|
||||
// VMOptions=--enable-experiment=records --use-slow-path
|
||||
// VMOptions=--enable-experiment=records --use-slow-path --stacktrace-every=100
|
||||
|
||||
|
||||
|
||||
import 'dart:ffi';
|
||||
|
||||
import "package:expect/expect.dart";
|
||||
import "package:ffi/ffi.dart";
|
||||
|
||||
|
||||
import 'dylib_utils.dart';
|
||||
|
||||
// Reuse the compound classes.
|
||||
import 'function_structs_by_value_generated_compounds.dart';
|
||||
|
||||
final ffiTestFunctions = dlopenPlatformSpecific("ffi_test_functions");
|
||||
void main() { // Force dlopen so @Native lookups in DynamicLibrary.process() succeed.
|
||||
dlopenGlobalPlatformSpecific('ffi_test_functions');
|
||||
|
||||
for (int i = 0; i < 100; ++i) {
|
||||
testVariadicAt1Int64x2NativeLeaf();
|
||||
testVariadicAt1Doublex2NativeLeaf();
|
||||
testVariadicAt1Int64x5NativeLeaf();
|
||||
testVariadicAt1Doublex5NativeLeaf();
|
||||
testVariadicAt1Int64x20NativeLeaf();
|
||||
testVariadicAt1Doublex20NativeLeaf();
|
||||
testVariadicAt1Int64x2Struct8BytesIntInt64NativeLeaf();
|
||||
testVariadicAt1Doublex2Struct32BytesHomogeneousDoubleDNativeLeaf();
|
||||
testVariadicAt1DoubleStruct12BytesHomogeneousFloatDoubNativeLeaf();
|
||||
testVariadicAt1Int32Struct20BytesHomogeneousInt32Int32NativeLeaf();
|
||||
testVariadicAt1DoubleStruct20BytesHomogeneousFloatDoubNativeLeaf();
|
||||
testVariadicAt2Int32Int64IntPtrNativeLeaf();
|
||||
testVariadicAt1DoubleInt64Int32DoubleInt64Int32NativeLeaf();
|
||||
testVariadicAt1Int64Int32Struct12BytesHomogeneousFloatNativeLeaf();
|
||||
testVariadicAt11Doublex8FloatStruct12BytesHomogeneousFNativeLeaf();
|
||||
testVariadicAt1DoubleInt64Int32Struct20BytesHomogeneouNativeLeaf();
|
||||
testVariadicAt5Doublex5NativeLeaf();
|
||||
}
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64,)>)>(symbol: 'VariadicAt1Int64x2', isLeaf:true)
|
||||
external int variadicAt1Int64x2NativeLeaf(int a0, int a1);
|
||||
|
||||
/// Single variadic argument.
|
||||
void testVariadicAt1Int64x2NativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x2NativeLeaf(a0, a1);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(1, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double,)>)>(symbol: 'VariadicAt1Doublex2', isLeaf:true)
|
||||
external double variadicAt1Doublex2NativeLeaf(double a0, double a1);
|
||||
|
||||
/// Single variadic argument.
|
||||
void testVariadicAt1Doublex2NativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex2NativeLeaf(a0, a1);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(1.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Int64, Int64, Int64)>)>(symbol: 'VariadicAt1Int64x5', isLeaf:true)
|
||||
external int variadicAt1Int64x5NativeLeaf(int a0, int a1, int a2, int a3, int a4);
|
||||
|
||||
/// Variadic arguments.
|
||||
void testVariadicAt1Int64x5NativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
int a3;
|
||||
int a4;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4;
|
||||
a4 = -5;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x5NativeLeaf(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-3, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Double, Double, Double)>)>(symbol: 'VariadicAt1Doublex5', isLeaf:true)
|
||||
external double variadicAt1Doublex5NativeLeaf(double a0, double a1, double a2, double a3, double a4);
|
||||
|
||||
/// Variadic arguments.
|
||||
void testVariadicAt1Doublex5NativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex5NativeLeaf(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)>)>(symbol: 'VariadicAt1Int64x20', isLeaf:true)
|
||||
external int variadicAt1Int64x20NativeLeaf(int a0, int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19);
|
||||
|
||||
/// Variadic arguments exhaust registers.
|
||||
void testVariadicAt1Int64x20NativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
int a3;
|
||||
int a4;
|
||||
int a5;
|
||||
int a6;
|
||||
int a7;
|
||||
int a8;
|
||||
int a9;
|
||||
int a10;
|
||||
int a11;
|
||||
int a12;
|
||||
int a13;
|
||||
int a14;
|
||||
int a15;
|
||||
int a16;
|
||||
int a17;
|
||||
int a18;
|
||||
int a19;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4;
|
||||
a4 = -5;
|
||||
a5 = 6;
|
||||
a6 = -7;
|
||||
a7 = 8;
|
||||
a8 = -9;
|
||||
a9 = 10;
|
||||
a10 = -11;
|
||||
a11 = 12;
|
||||
a12 = -13;
|
||||
a13 = 14;
|
||||
a14 = -15;
|
||||
a15 = 16;
|
||||
a16 = -17;
|
||||
a17 = 18;
|
||||
a18 = -19;
|
||||
a19 = 20;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x20NativeLeaf(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(10, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double)>)>(symbol: 'VariadicAt1Doublex20', isLeaf:true)
|
||||
external double variadicAt1Doublex20NativeLeaf(double a0, double a1, double a2, double a3, double a4, double a5, double a6, double a7, double a8, double a9, double a10, double a11, double a12, double a13, double a14, double a15, double a16, double a17, double a18, double a19);
|
||||
|
||||
/// Variadic arguments exhaust registers.
|
||||
void testVariadicAt1Doublex20NativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
double a5;
|
||||
double a6;
|
||||
double a7;
|
||||
double a8;
|
||||
double a9;
|
||||
double a10;
|
||||
double a11;
|
||||
double a12;
|
||||
double a13;
|
||||
double a14;
|
||||
double a15;
|
||||
double a16;
|
||||
double a17;
|
||||
double a18;
|
||||
double a19;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
a5 = 6.0;
|
||||
a6 = -7.0;
|
||||
a7 = 8.0;
|
||||
a8 = -9.0;
|
||||
a9 = 10.0;
|
||||
a10 = -11.0;
|
||||
a11 = 12.0;
|
||||
a12 = -13.0;
|
||||
a13 = 14.0;
|
||||
a14 = -15.0;
|
||||
a15 = 16.0;
|
||||
a16 = -17.0;
|
||||
a17 = 18.0;
|
||||
a18 = -19.0;
|
||||
a19 = 20.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex20NativeLeaf(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(10.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Struct8BytesInt, Int64)>)>(symbol: 'VariadicAt1Int64x2Struct8BytesIntInt64', isLeaf:true)
|
||||
external int variadicAt1Int64x2Struct8BytesIntInt64NativeLeaf(int a0, int a1, Struct8BytesInt a2, int a3);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Int64x2Struct8BytesIntInt64NativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
final a2Pointer = calloc<Struct8BytesInt>();
|
||||
final Struct8BytesInt a2 = a2Pointer.ref;
|
||||
int a3;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2.a0 = -3;
|
||||
a2.a1 = 4;
|
||||
a2.a2 = -5;
|
||||
a3 = 6;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x2Struct8BytesIntInt64NativeLeaf(a0, a1, a2, a3);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(3, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Struct32BytesHomogeneousDouble, Double)>)>(symbol: 'VariadicAt1Doublex2Struct32BytesHomogeneousDoubleD', isLeaf:true)
|
||||
external double variadicAt1Doublex2Struct32BytesHomogeneousDoubleDNativeLeaf(double a0, double a1, Struct32BytesHomogeneousDouble a2, double a3);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Doublex2Struct32BytesHomogeneousDoubleDNativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
final a2Pointer = calloc<Struct32BytesHomogeneousDouble>();
|
||||
final Struct32BytesHomogeneousDouble a2 = a2Pointer.ref;
|
||||
double a3;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2.a0 = -3.0;
|
||||
a2.a1 = 4.0;
|
||||
a2.a2 = -5.0;
|
||||
a2.a3 = 6.0;
|
||||
a3 = -7.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex2Struct32BytesHomogeneousDoubleDNativeLeaf(a0, a1, a2, a3);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-4.0, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Struct12BytesHomogeneousFloat, Double)>)>(symbol: 'VariadicAt1DoubleStruct12BytesHomogeneousFloatDoub', isLeaf:true)
|
||||
external double variadicAt1DoubleStruct12BytesHomogeneousFloatDoubNativeLeaf(double a0, Struct12BytesHomogeneousFloat a1, double a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1DoubleStruct12BytesHomogeneousFloatDoubNativeLeaf() {
|
||||
double a0;
|
||||
final a1Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a1 = a1Pointer.ref;
|
||||
double a2;
|
||||
|
||||
a0 = -1.0;
|
||||
a1.a0 = 2.0;
|
||||
a1.a1 = -3.0;
|
||||
a1.a2 = 4.0;
|
||||
a2 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleStruct12BytesHomogeneousFloatDoubNativeLeaf(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Int32 Function(Int32, VarArgs<(Struct20BytesHomogeneousInt32, Int32)>)>(symbol: 'VariadicAt1Int32Struct20BytesHomogeneousInt32Int32', isLeaf:true)
|
||||
external int variadicAt1Int32Struct20BytesHomogeneousInt32Int32NativeLeaf(int a0, Struct20BytesHomogeneousInt32 a1, int a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Int32Struct20BytesHomogeneousInt32Int32NativeLeaf() {
|
||||
int a0;
|
||||
final a1Pointer = calloc<Struct20BytesHomogeneousInt32>();
|
||||
final Struct20BytesHomogeneousInt32 a1 = a1Pointer.ref;
|
||||
int a2;
|
||||
|
||||
a0 = -1;
|
||||
a1.a0 = 2;
|
||||
a1.a1 = -3;
|
||||
a1.a2 = 4;
|
||||
a1.a3 = -5;
|
||||
a1.a4 = 6;
|
||||
a2 = -7;
|
||||
|
||||
|
||||
final result = variadicAt1Int32Struct20BytesHomogeneousInt32Int32NativeLeaf(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-4, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Struct20BytesHomogeneousFloat, Double)>)>(symbol: 'VariadicAt1DoubleStruct20BytesHomogeneousFloatDoub', isLeaf:true)
|
||||
external double variadicAt1DoubleStruct20BytesHomogeneousFloatDoubNativeLeaf(double a0, Struct20BytesHomogeneousFloat a1, double a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1DoubleStruct20BytesHomogeneousFloatDoubNativeLeaf() {
|
||||
double a0;
|
||||
final a1Pointer = calloc<Struct20BytesHomogeneousFloat>();
|
||||
final Struct20BytesHomogeneousFloat a1 = a1Pointer.ref;
|
||||
double a2;
|
||||
|
||||
a0 = -1.0;
|
||||
a1.a0 = 2.0;
|
||||
a1.a1 = -3.0;
|
||||
a1.a2 = 4.0;
|
||||
a1.a3 = -5.0;
|
||||
a1.a4 = 6.0;
|
||||
a2 = -7.0;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleStruct20BytesHomogeneousFloatDoubNativeLeaf(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-4.0, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Int32 Function(Int32, Int64, VarArgs<(IntPtr,)>)>(symbol: 'VariadicAt2Int32Int64IntPtr', isLeaf:true)
|
||||
external int variadicAt2Int32Int64IntPtrNativeLeaf(int a0, int a1, int a2);
|
||||
|
||||
/// Regression test for variadic arguments.
|
||||
/// https://github.com/dart-lang/sdk/issues/49460
|
||||
void testVariadicAt2Int32Int64IntPtrNativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
|
||||
|
||||
final result = variadicAt2Int32Int64IntPtrNativeLeaf(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-2, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Int64, Int32, Double, Int64, Int32)>)>(symbol: 'VariadicAt1DoubleInt64Int32DoubleInt64Int32', isLeaf:true)
|
||||
external double variadicAt1DoubleInt64Int32DoubleInt64Int32NativeLeaf(double a0, int a1, int a2, double a3, int a4, int a5);
|
||||
|
||||
/// Variadic arguments mixed.
|
||||
void testVariadicAt1DoubleInt64Int32DoubleInt64Int32NativeLeaf() {
|
||||
double a0;
|
||||
int a1;
|
||||
int a2;
|
||||
double a3;
|
||||
int a4;
|
||||
int a5;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4.0;
|
||||
a4 = -5;
|
||||
a5 = 6;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleInt64Int32DoubleInt64Int32NativeLeaf(a0, a1, a2, a3, a4, a5);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Int64, VarArgs<(Int32, Struct12BytesHomogeneousFloat)>)>(symbol: 'VariadicAt1Int64Int32Struct12BytesHomogeneousFloat', isLeaf:true)
|
||||
external double variadicAt1Int64Int32Struct12BytesHomogeneousFloatNativeLeaf(int a0, int a1, Struct12BytesHomogeneousFloat a2);
|
||||
|
||||
/// Variadic arguments homogenous struct stack alignment on macos_arm64.
|
||||
void testVariadicAt1Int64Int32Struct12BytesHomogeneousFloatNativeLeaf() {
|
||||
int a0;
|
||||
int a1;
|
||||
final a2Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a2 = a2Pointer.ref;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2.a0 = -3.0;
|
||||
a2.a1 = 4.0;
|
||||
a2.a2 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1Int64Int32Struct12BytesHomogeneousFloatNativeLeaf(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, Double, Double, Double, Double, Double, Double, Double, Float, Struct12BytesHomogeneousFloat, Int64, VarArgs<(Int32, Struct12BytesHomogeneousFloat)>)>(symbol: 'VariadicAt11Doublex8FloatStruct12BytesHomogeneousF', isLeaf:true)
|
||||
external double variadicAt11Doublex8FloatStruct12BytesHomogeneousFNativeLeaf(double a0, double a1, double a2, double a3, double a4, double a5, double a6, double a7, double a8, Struct12BytesHomogeneousFloat a9, int a10, int a11, Struct12BytesHomogeneousFloat a12);
|
||||
|
||||
/// Variadic arguments homogenous struct stack alignment on macos_arm64.
|
||||
void testVariadicAt11Doublex8FloatStruct12BytesHomogeneousFNativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
double a5;
|
||||
double a6;
|
||||
double a7;
|
||||
double a8;
|
||||
final a9Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a9 = a9Pointer.ref;
|
||||
int a10;
|
||||
int a11;
|
||||
final a12Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a12 = a12Pointer.ref;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
a5 = 6.0;
|
||||
a6 = -7.0;
|
||||
a7 = 8.0;
|
||||
a8 = -9.0;
|
||||
a9.a0 = 10.0;
|
||||
a9.a1 = -11.0;
|
||||
a9.a2 = 12.0;
|
||||
a10 = -13;
|
||||
a11 = 14;
|
||||
a12.a0 = -15.0;
|
||||
a12.a1 = 16.0;
|
||||
a12.a2 = -17.0;
|
||||
|
||||
|
||||
final result = variadicAt11Doublex8FloatStruct12BytesHomogeneousFNativeLeaf(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-9.0, result);
|
||||
|
||||
calloc.free(a9Pointer);
|
||||
calloc.free(a12Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Int64, Int32, Struct20BytesHomogeneousInt32, Double, Int64, Int32, Struct12BytesHomogeneousFloat, Int64)>)>(symbol: 'VariadicAt1DoubleInt64Int32Struct20BytesHomogeneou', isLeaf:true)
|
||||
external double variadicAt1DoubleInt64Int32Struct20BytesHomogeneouNativeLeaf(double a0, int a1, int a2, Struct20BytesHomogeneousInt32 a3, double a4, int a5, int a6, Struct12BytesHomogeneousFloat a7, int a8);
|
||||
|
||||
/// Variadic arguments mixed.
|
||||
void testVariadicAt1DoubleInt64Int32Struct20BytesHomogeneouNativeLeaf() {
|
||||
double a0;
|
||||
int a1;
|
||||
int a2;
|
||||
final a3Pointer = calloc<Struct20BytesHomogeneousInt32>();
|
||||
final Struct20BytesHomogeneousInt32 a3 = a3Pointer.ref;
|
||||
double a4;
|
||||
int a5;
|
||||
int a6;
|
||||
final a7Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a7 = a7Pointer.ref;
|
||||
int a8;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3.a0 = 4;
|
||||
a3.a1 = -5;
|
||||
a3.a2 = 6;
|
||||
a3.a3 = -7;
|
||||
a3.a4 = 8;
|
||||
a4 = -9.0;
|
||||
a5 = 10;
|
||||
a6 = -11;
|
||||
a7.a0 = 12.0;
|
||||
a7.a1 = -13.0;
|
||||
a7.a2 = 14.0;
|
||||
a8 = -15;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleInt64Int32Struct20BytesHomogeneouNativeLeaf(a0, a1, a2, a3, a4, a5, a6, a7, a8);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-8.0, result);
|
||||
|
||||
calloc.free(a3Pointer);
|
||||
calloc.free(a7Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, Double, Double, Double, Double, VarArgs<()>)>(symbol: 'VariadicAt5Doublex5', isLeaf:true)
|
||||
external double variadicAt5Doublex5NativeLeaf(double a0, double a1, double a2, double a3, double a4);
|
||||
|
||||
/// Variadic arguments function definition, but not passing any.
|
||||
void testVariadicAt5Doublex5NativeLeaf() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt5Doublex5NativeLeaf(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
608
tests/ffi/function_varargs_generated_native_test.dart
Normal file
608
tests/ffi/function_varargs_generated_native_test.dart
Normal file
|
|
@ -0,0 +1,608 @@
|
|||
// Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file
|
||||
// for details. All rights reserved. Use of this source code is governed by a
|
||||
// BSD-style license that can be found in the LICENSE file.
|
||||
//
|
||||
// This file has been automatically generated. Please do not edit it manually.
|
||||
// Generated by tests/ffi/generator/structs_by_value_tests_generator.dart.
|
||||
//
|
||||
// SharedObjects=ffi_test_functions
|
||||
// VMOptions=--enable-experiment=records
|
||||
// VMOptions=--enable-experiment=records --deterministic --optimization-counter-threshold=90
|
||||
// VMOptions=--enable-experiment=records --use-slow-path
|
||||
// VMOptions=--enable-experiment=records --use-slow-path --stacktrace-every=100
|
||||
|
||||
|
||||
|
||||
import 'dart:ffi';
|
||||
|
||||
import "package:expect/expect.dart";
|
||||
import "package:ffi/ffi.dart";
|
||||
|
||||
|
||||
import 'dylib_utils.dart';
|
||||
|
||||
// Reuse the compound classes.
|
||||
import 'function_structs_by_value_generated_compounds.dart';
|
||||
|
||||
final ffiTestFunctions = dlopenPlatformSpecific("ffi_test_functions");
|
||||
void main() { // Force dlopen so @Native lookups in DynamicLibrary.process() succeed.
|
||||
dlopenGlobalPlatformSpecific('ffi_test_functions');
|
||||
|
||||
for (int i = 0; i < 100; ++i) {
|
||||
testVariadicAt1Int64x2Native();
|
||||
testVariadicAt1Doublex2Native();
|
||||
testVariadicAt1Int64x5Native();
|
||||
testVariadicAt1Doublex5Native();
|
||||
testVariadicAt1Int64x20Native();
|
||||
testVariadicAt1Doublex20Native();
|
||||
testVariadicAt1Int64x2Struct8BytesIntInt64Native();
|
||||
testVariadicAt1Doublex2Struct32BytesHomogeneousDoubleDNative();
|
||||
testVariadicAt1DoubleStruct12BytesHomogeneousFloatDoubNative();
|
||||
testVariadicAt1Int32Struct20BytesHomogeneousInt32Int32Native();
|
||||
testVariadicAt1DoubleStruct20BytesHomogeneousFloatDoubNative();
|
||||
testVariadicAt2Int32Int64IntPtrNative();
|
||||
testVariadicAt1DoubleInt64Int32DoubleInt64Int32Native();
|
||||
testVariadicAt1Int64Int32Struct12BytesHomogeneousFloatNative();
|
||||
testVariadicAt11Doublex8FloatStruct12BytesHomogeneousFNative();
|
||||
testVariadicAt1DoubleInt64Int32Struct20BytesHomogeneouNative();
|
||||
testVariadicAt5Doublex5Native();
|
||||
}
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64,)>)>(symbol: 'VariadicAt1Int64x2')
|
||||
external int variadicAt1Int64x2Native(int a0, int a1);
|
||||
|
||||
/// Single variadic argument.
|
||||
void testVariadicAt1Int64x2Native() {
|
||||
int a0;
|
||||
int a1;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x2Native(a0, a1);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(1, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double,)>)>(symbol: 'VariadicAt1Doublex2')
|
||||
external double variadicAt1Doublex2Native(double a0, double a1);
|
||||
|
||||
/// Single variadic argument.
|
||||
void testVariadicAt1Doublex2Native() {
|
||||
double a0;
|
||||
double a1;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex2Native(a0, a1);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(1.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Int64, Int64, Int64)>)>(symbol: 'VariadicAt1Int64x5')
|
||||
external int variadicAt1Int64x5Native(int a0, int a1, int a2, int a3, int a4);
|
||||
|
||||
/// Variadic arguments.
|
||||
void testVariadicAt1Int64x5Native() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
int a3;
|
||||
int a4;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4;
|
||||
a4 = -5;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x5Native(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-3, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Double, Double, Double)>)>(symbol: 'VariadicAt1Doublex5')
|
||||
external double variadicAt1Doublex5Native(double a0, double a1, double a2, double a3, double a4);
|
||||
|
||||
/// Variadic arguments.
|
||||
void testVariadicAt1Doublex5Native() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex5Native(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)>)>(symbol: 'VariadicAt1Int64x20')
|
||||
external int variadicAt1Int64x20Native(int a0, int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19);
|
||||
|
||||
/// Variadic arguments exhaust registers.
|
||||
void testVariadicAt1Int64x20Native() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
int a3;
|
||||
int a4;
|
||||
int a5;
|
||||
int a6;
|
||||
int a7;
|
||||
int a8;
|
||||
int a9;
|
||||
int a10;
|
||||
int a11;
|
||||
int a12;
|
||||
int a13;
|
||||
int a14;
|
||||
int a15;
|
||||
int a16;
|
||||
int a17;
|
||||
int a18;
|
||||
int a19;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4;
|
||||
a4 = -5;
|
||||
a5 = 6;
|
||||
a6 = -7;
|
||||
a7 = 8;
|
||||
a8 = -9;
|
||||
a9 = 10;
|
||||
a10 = -11;
|
||||
a11 = 12;
|
||||
a12 = -13;
|
||||
a13 = 14;
|
||||
a14 = -15;
|
||||
a15 = 16;
|
||||
a16 = -17;
|
||||
a17 = 18;
|
||||
a18 = -19;
|
||||
a19 = 20;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x20Native(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(10, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double, Double)>)>(symbol: 'VariadicAt1Doublex20')
|
||||
external double variadicAt1Doublex20Native(double a0, double a1, double a2, double a3, double a4, double a5, double a6, double a7, double a8, double a9, double a10, double a11, double a12, double a13, double a14, double a15, double a16, double a17, double a18, double a19);
|
||||
|
||||
/// Variadic arguments exhaust registers.
|
||||
void testVariadicAt1Doublex20Native() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
double a5;
|
||||
double a6;
|
||||
double a7;
|
||||
double a8;
|
||||
double a9;
|
||||
double a10;
|
||||
double a11;
|
||||
double a12;
|
||||
double a13;
|
||||
double a14;
|
||||
double a15;
|
||||
double a16;
|
||||
double a17;
|
||||
double a18;
|
||||
double a19;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
a5 = 6.0;
|
||||
a6 = -7.0;
|
||||
a7 = 8.0;
|
||||
a8 = -9.0;
|
||||
a9 = 10.0;
|
||||
a10 = -11.0;
|
||||
a11 = 12.0;
|
||||
a12 = -13.0;
|
||||
a13 = 14.0;
|
||||
a14 = -15.0;
|
||||
a15 = 16.0;
|
||||
a16 = -17.0;
|
||||
a17 = 18.0;
|
||||
a18 = -19.0;
|
||||
a19 = 20.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex20Native(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(10.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Struct8BytesInt, Int64)>)>(symbol: 'VariadicAt1Int64x2Struct8BytesIntInt64')
|
||||
external int variadicAt1Int64x2Struct8BytesIntInt64Native(int a0, int a1, Struct8BytesInt a2, int a3);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Int64x2Struct8BytesIntInt64Native() {
|
||||
int a0;
|
||||
int a1;
|
||||
final a2Pointer = calloc<Struct8BytesInt>();
|
||||
final Struct8BytesInt a2 = a2Pointer.ref;
|
||||
int a3;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2.a0 = -3;
|
||||
a2.a1 = 4;
|
||||
a2.a2 = -5;
|
||||
a3 = 6;
|
||||
|
||||
|
||||
final result = variadicAt1Int64x2Struct8BytesIntInt64Native(a0, a1, a2, a3);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(3, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Double, Struct32BytesHomogeneousDouble, Double)>)>(symbol: 'VariadicAt1Doublex2Struct32BytesHomogeneousDoubleD')
|
||||
external double variadicAt1Doublex2Struct32BytesHomogeneousDoubleDNative(double a0, double a1, Struct32BytesHomogeneousDouble a2, double a3);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Doublex2Struct32BytesHomogeneousDoubleDNative() {
|
||||
double a0;
|
||||
double a1;
|
||||
final a2Pointer = calloc<Struct32BytesHomogeneousDouble>();
|
||||
final Struct32BytesHomogeneousDouble a2 = a2Pointer.ref;
|
||||
double a3;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2.a0 = -3.0;
|
||||
a2.a1 = 4.0;
|
||||
a2.a2 = -5.0;
|
||||
a2.a3 = 6.0;
|
||||
a3 = -7.0;
|
||||
|
||||
|
||||
final result = variadicAt1Doublex2Struct32BytesHomogeneousDoubleDNative(a0, a1, a2, a3);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-4.0, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Struct12BytesHomogeneousFloat, Double)>)>(symbol: 'VariadicAt1DoubleStruct12BytesHomogeneousFloatDoub')
|
||||
external double variadicAt1DoubleStruct12BytesHomogeneousFloatDoubNative(double a0, Struct12BytesHomogeneousFloat a1, double a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1DoubleStruct12BytesHomogeneousFloatDoubNative() {
|
||||
double a0;
|
||||
final a1Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a1 = a1Pointer.ref;
|
||||
double a2;
|
||||
|
||||
a0 = -1.0;
|
||||
a1.a0 = 2.0;
|
||||
a1.a1 = -3.0;
|
||||
a1.a2 = 4.0;
|
||||
a2 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleStruct12BytesHomogeneousFloatDoubNative(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Int32 Function(Int32, VarArgs<(Struct20BytesHomogeneousInt32, Int32)>)>(symbol: 'VariadicAt1Int32Struct20BytesHomogeneousInt32Int32')
|
||||
external int variadicAt1Int32Struct20BytesHomogeneousInt32Int32Native(int a0, Struct20BytesHomogeneousInt32 a1, int a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1Int32Struct20BytesHomogeneousInt32Int32Native() {
|
||||
int a0;
|
||||
final a1Pointer = calloc<Struct20BytesHomogeneousInt32>();
|
||||
final Struct20BytesHomogeneousInt32 a1 = a1Pointer.ref;
|
||||
int a2;
|
||||
|
||||
a0 = -1;
|
||||
a1.a0 = 2;
|
||||
a1.a1 = -3;
|
||||
a1.a2 = 4;
|
||||
a1.a3 = -5;
|
||||
a1.a4 = 6;
|
||||
a2 = -7;
|
||||
|
||||
|
||||
final result = variadicAt1Int32Struct20BytesHomogeneousInt32Int32Native(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-4, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Struct20BytesHomogeneousFloat, Double)>)>(symbol: 'VariadicAt1DoubleStruct20BytesHomogeneousFloatDoub')
|
||||
external double variadicAt1DoubleStruct20BytesHomogeneousFloatDoubNative(double a0, Struct20BytesHomogeneousFloat a1, double a2);
|
||||
|
||||
/// Variadic arguments including struct.
|
||||
void testVariadicAt1DoubleStruct20BytesHomogeneousFloatDoubNative() {
|
||||
double a0;
|
||||
final a1Pointer = calloc<Struct20BytesHomogeneousFloat>();
|
||||
final Struct20BytesHomogeneousFloat a1 = a1Pointer.ref;
|
||||
double a2;
|
||||
|
||||
a0 = -1.0;
|
||||
a1.a0 = 2.0;
|
||||
a1.a1 = -3.0;
|
||||
a1.a2 = 4.0;
|
||||
a1.a3 = -5.0;
|
||||
a1.a4 = 6.0;
|
||||
a2 = -7.0;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleStruct20BytesHomogeneousFloatDoubNative(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-4.0, result);
|
||||
|
||||
calloc.free(a1Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Int32 Function(Int32, Int64, VarArgs<(IntPtr,)>)>(symbol: 'VariadicAt2Int32Int64IntPtr')
|
||||
external int variadicAt2Int32Int64IntPtrNative(int a0, int a1, int a2);
|
||||
|
||||
/// Regression test for variadic arguments.
|
||||
/// https://github.com/dart-lang/sdk/issues/49460
|
||||
void testVariadicAt2Int32Int64IntPtrNative() {
|
||||
int a0;
|
||||
int a1;
|
||||
int a2;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
|
||||
|
||||
final result = variadicAt2Int32Int64IntPtrNative(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.equals(-2, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Int64, Int32, Double, Int64, Int32)>)>(symbol: 'VariadicAt1DoubleInt64Int32DoubleInt64Int32')
|
||||
external double variadicAt1DoubleInt64Int32DoubleInt64Int32Native(double a0, int a1, int a2, double a3, int a4, int a5);
|
||||
|
||||
/// Variadic arguments mixed.
|
||||
void testVariadicAt1DoubleInt64Int32DoubleInt64Int32Native() {
|
||||
double a0;
|
||||
int a1;
|
||||
int a2;
|
||||
double a3;
|
||||
int a4;
|
||||
int a5;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3 = 4.0;
|
||||
a4 = -5;
|
||||
a5 = 6;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleInt64Int32DoubleInt64Int32Native(a0, a1, a2, a3, a4, a5);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Int64, VarArgs<(Int32, Struct12BytesHomogeneousFloat)>)>(symbol: 'VariadicAt1Int64Int32Struct12BytesHomogeneousFloat')
|
||||
external double variadicAt1Int64Int32Struct12BytesHomogeneousFloatNative(int a0, int a1, Struct12BytesHomogeneousFloat a2);
|
||||
|
||||
/// Variadic arguments homogenous struct stack alignment on macos_arm64.
|
||||
void testVariadicAt1Int64Int32Struct12BytesHomogeneousFloatNative() {
|
||||
int a0;
|
||||
int a1;
|
||||
final a2Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a2 = a2Pointer.ref;
|
||||
|
||||
a0 = -1;
|
||||
a1 = 2;
|
||||
a2.a0 = -3.0;
|
||||
a2.a1 = 4.0;
|
||||
a2.a2 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt1Int64Int32Struct12BytesHomogeneousFloatNative(a0, a1, a2);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
calloc.free(a2Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, Double, Double, Double, Double, Double, Double, Double, Float, Struct12BytesHomogeneousFloat, Int64, VarArgs<(Int32, Struct12BytesHomogeneousFloat)>)>(symbol: 'VariadicAt11Doublex8FloatStruct12BytesHomogeneousF')
|
||||
external double variadicAt11Doublex8FloatStruct12BytesHomogeneousFNative(double a0, double a1, double a2, double a3, double a4, double a5, double a6, double a7, double a8, Struct12BytesHomogeneousFloat a9, int a10, int a11, Struct12BytesHomogeneousFloat a12);
|
||||
|
||||
/// Variadic arguments homogenous struct stack alignment on macos_arm64.
|
||||
void testVariadicAt11Doublex8FloatStruct12BytesHomogeneousFNative() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
double a5;
|
||||
double a6;
|
||||
double a7;
|
||||
double a8;
|
||||
final a9Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a9 = a9Pointer.ref;
|
||||
int a10;
|
||||
int a11;
|
||||
final a12Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a12 = a12Pointer.ref;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
a5 = 6.0;
|
||||
a6 = -7.0;
|
||||
a7 = 8.0;
|
||||
a8 = -9.0;
|
||||
a9.a0 = 10.0;
|
||||
a9.a1 = -11.0;
|
||||
a9.a2 = 12.0;
|
||||
a10 = -13;
|
||||
a11 = 14;
|
||||
a12.a0 = -15.0;
|
||||
a12.a1 = 16.0;
|
||||
a12.a2 = -17.0;
|
||||
|
||||
|
||||
final result = variadicAt11Doublex8FloatStruct12BytesHomogeneousFNative(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-9.0, result);
|
||||
|
||||
calloc.free(a9Pointer);
|
||||
calloc.free(a12Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, VarArgs<(Int64, Int32, Struct20BytesHomogeneousInt32, Double, Int64, Int32, Struct12BytesHomogeneousFloat, Int64)>)>(symbol: 'VariadicAt1DoubleInt64Int32Struct20BytesHomogeneou')
|
||||
external double variadicAt1DoubleInt64Int32Struct20BytesHomogeneouNative(double a0, int a1, int a2, Struct20BytesHomogeneousInt32 a3, double a4, int a5, int a6, Struct12BytesHomogeneousFloat a7, int a8);
|
||||
|
||||
/// Variadic arguments mixed.
|
||||
void testVariadicAt1DoubleInt64Int32Struct20BytesHomogeneouNative() {
|
||||
double a0;
|
||||
int a1;
|
||||
int a2;
|
||||
final a3Pointer = calloc<Struct20BytesHomogeneousInt32>();
|
||||
final Struct20BytesHomogeneousInt32 a3 = a3Pointer.ref;
|
||||
double a4;
|
||||
int a5;
|
||||
int a6;
|
||||
final a7Pointer = calloc<Struct12BytesHomogeneousFloat>();
|
||||
final Struct12BytesHomogeneousFloat a7 = a7Pointer.ref;
|
||||
int a8;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2;
|
||||
a2 = -3;
|
||||
a3.a0 = 4;
|
||||
a3.a1 = -5;
|
||||
a3.a2 = 6;
|
||||
a3.a3 = -7;
|
||||
a3.a4 = 8;
|
||||
a4 = -9.0;
|
||||
a5 = 10;
|
||||
a6 = -11;
|
||||
a7.a0 = 12.0;
|
||||
a7.a1 = -13.0;
|
||||
a7.a2 = 14.0;
|
||||
a8 = -15;
|
||||
|
||||
|
||||
final result = variadicAt1DoubleInt64Int32Struct20BytesHomogeneouNative(a0, a1, a2, a3, a4, a5, a6, a7, a8);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-8.0, result);
|
||||
|
||||
calloc.free(a3Pointer);
|
||||
calloc.free(a7Pointer);
|
||||
|
||||
}
|
||||
|
||||
@Native<Double Function(Double, Double, Double, Double, Double, VarArgs<()>)>(symbol: 'VariadicAt5Doublex5')
|
||||
external double variadicAt5Doublex5Native(double a0, double a1, double a2, double a3, double a4);
|
||||
|
||||
/// Variadic arguments function definition, but not passing any.
|
||||
void testVariadicAt5Doublex5Native() {
|
||||
double a0;
|
||||
double a1;
|
||||
double a2;
|
||||
double a3;
|
||||
double a4;
|
||||
|
||||
a0 = -1.0;
|
||||
a1 = 2.0;
|
||||
a2 = -3.0;
|
||||
a3 = 4.0;
|
||||
a4 = -5.0;
|
||||
|
||||
|
||||
final result = variadicAt5Doublex5Native(a0, a1, a2, a3, a4);
|
||||
|
||||
print("result = $result");
|
||||
|
||||
Expect.approxEquals(-3.0, result);
|
||||
|
||||
|
||||
}
|
||||
|
||||
|
|
@ -1273,14 +1273,14 @@ void main(List<String> arguments) async {
|
|||
isNative: isNative,
|
||||
isVarArgs: false,
|
||||
),
|
||||
writeDartCallTest(
|
||||
'',
|
||||
functionsVarArgs,
|
||||
isLeaf: isLeaf,
|
||||
isNative: isNative,
|
||||
isVarArgs: true,
|
||||
),
|
||||
],
|
||||
writeDartCallTest(
|
||||
'',
|
||||
functionsVarArgs,
|
||||
isLeaf: isLeaf,
|
||||
isNative: false,
|
||||
isVarArgs: true,
|
||||
),
|
||||
],
|
||||
writeDartCallbackTest(functions, isVarArgs: false),
|
||||
writeDartCallbackTest(functionsVarArgs, isVarArgs: true),
|
||||
|
|
|
|||
49
tests/ffi/regress_51504_test.dart
Normal file
49
tests/ffi/regress_51504_test.dart
Normal file
|
|
@ -0,0 +1,49 @@
|
|||
// Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file
|
||||
// for details. All rights reserved. Use of this source code is governed by a
|
||||
// BSD-style license that can be found in the LICENSE file.
|
||||
|
||||
// SharedObjects=ffi_test_functions
|
||||
|
||||
// VMOptions=--enable-experiment=records
|
||||
|
||||
import 'dart:ffi';
|
||||
import 'dart:io';
|
||||
|
||||
import 'package:expect/expect.dart';
|
||||
import 'package:ffi/ffi.dart';
|
||||
|
||||
import 'dylib_utils.dart';
|
||||
|
||||
final ffiTestFunctions = dlopenPlatformSpecific('ffi_test_functions');
|
||||
|
||||
@Native<Pointer<Void> Function(Pointer<Char>, Int)>()
|
||||
external Pointer<Void> dlopen(Pointer<Char> file, int mode);
|
||||
|
||||
const RTLD_LAZY = 0x00001;
|
||||
const RTLD_GLOBAL = 0x00100;
|
||||
|
||||
void main() {
|
||||
// Force dlopen so @Native lookups in DynamicLibrary.process() succeed.
|
||||
print(ffiTestFunctions);
|
||||
if (Platform.isLinux || Platform.isAndroid) {
|
||||
// TODO(https://dartbug.com/50105): enable dlopen global via package:ffi.
|
||||
using((arena) {
|
||||
final dylibHandle = dlopen(
|
||||
platformPath('ffi_test_functions')
|
||||
.toNativeUtf8(allocator: arena)
|
||||
.cast(),
|
||||
RTLD_LAZY | RTLD_GLOBAL);
|
||||
print(dylibHandle);
|
||||
});
|
||||
}
|
||||
|
||||
testVariadicAt1Int64x5NativeLeaf();
|
||||
}
|
||||
|
||||
@Native<Int64 Function(Int64, VarArgs<(Int64, Int64, Int64, Int64)>)>(symbol: 'VariadicAt1Int64x5', isLeaf:true)
|
||||
external int variadicAt1Int64x5NativeLeaf(int a0, int a1, int a2, int a3, int a4);
|
||||
|
||||
void testVariadicAt1Int64x5NativeLeaf() {
|
||||
final result = variadicAt1Int64x5NativeLeaf(1, 2, 3, 4, 5);
|
||||
Expect.equals(15, result);
|
||||
}
|
||||
Loading…
Reference in a new issue