Implementation notes: amd64, cezanne, crypto_sign/luov8117404

Compiler output

keccakrng.c: keccakrng.c:71:24: warning: unused function 'rotl' [-Wunused-function]
keccakrng.c: static inline uint64_t rotl(const uint64_t x, int k) {
keccakrng.c:                        ^
keccakrng.c: 1 warning generated.

Compiler output

LUOV.c: LUOV.c:110:17: error: '__builtin_ia32_permti256' needs target feature avx2
LUOV.c:                         __m256i rr = _mm256_permute2x128_si256(_mm256_loadu_si256((__m256i *)&r),_mm256_setzero_si256(),0);
LUOV.c:                                      ^
LUOV.c: /usr/lib/llvm-11/lib/clang/11.0.1/include/avx2intrin.h:821:12: note: expanded from macro '_mm256_permute2x128_si256'
LUOV.c:   (__m256i)__builtin_ia32_permti256((__m256i)(V1), (__m256i)(V2), (int)(M))
LUOV.c:            ^
LUOV.c: LUOV.c:110:43: error: always_inline function '_mm256_loadu_si256' requires target feature 'avx', but would be inlined into function 'calculateQ2' that is compiled without support for 'avx'
LUOV.c:                         __m256i rr = _mm256_permute2x128_si256(_mm256_loadu_si256((__m256i *)&r),_mm256_setzero_si256(),0);
LUOV.c:                                                                ^
LUOV.c: LUOV.c:110:43: error: AVX vector return of type '__m256i' (vector of 4 'long long' values) without 'avx' enabled changes the ABI
LUOV.c: LUOV.c:110:77: error: always_inline function '_mm256_setzero_si256' requires target feature 'avx', but would be inlined into function 'calculateQ2' that is compiled without support for 'avx'
LUOV.c:                         __m256i rr = _mm256_permute2x128_si256(_mm256_loadu_si256((__m256i *)&r),_mm256_setzero_si256(),0);
LUOV.c:                                                                                                  ^
LUOV.c: LUOV.c:110:77: error: AVX vector return of type '__m256i' (vector of 4 'long long' values) without 'avx' enabled changes the ABI
LUOV.c: LUOV.c:115:20: error: always_inline function '_mm256_set1_epi8' requires target feature 'avx', but would be inlined into function 'calculateQ2' that is compiled without support for 'avx'
LUOV.c:                                 __m256i tttt = _mm256_set1_epi8(t[k/8]);
LUOV.c:                                                ^
LUOV.c: LUOV.c:115:20: error: AVX vector return of type '__m256i' (vector of 4 'long long' values) without 'avx' enabled changes the ABI
LUOV.c: LUOV.c:117:54: error: always_inline function '_mm256_setzero_si256' requires target feature 'avx', but would be inlined into function 'calculateQ2' that is compiled without support for 'avx'
LUOV.c:                                 __m256i t1t2 = _mm256_cmpeq_epi8(tttt & masks[0],_mm256_setzero_si256());
LUOV.c:                                                                                  ^
LUOV.c: LUOV.c:117:54: error: AVX vector return of type '__m256i' (vector of 4 'long long' values) without 'avx' enabled changes the ABI
LUOV.c: LUOV.c:117:20: error: always_inline function '_mm256_cmpeq_epi8' requires target feature 'avx2', but would be inlined into function 'calculateQ2' that is compiled without support for 'avx2'
LUOV.c:                                 __m256i t1t2 = _mm256_cmpeq_epi8(tttt & masks[0],_mm256_setzero_si256());
LUOV.c:                                                ^
LUOV.c: ...

Compiler output

F64Field.c: F64Field.c: In function 'f64addInPlace':
F64Field.c: F64Field.c:43:4: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F64Field.c:    43 |  *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F64Field.c:       |   ~^~~~~~~~~~~~~~~~~~~~~
F64Field.c: F64Field.c:43:31: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F64Field.c:    43 |  *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F64Field.c:       |                              ~^~~~~~~~~~~~~~~~~~~~~
F80Field.c: F80Field.c: In function 'f80addInPlace':
F80Field.c: F80Field.c:55:4: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F80Field.c:    55 |  *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F80Field.c:       |   ~^~~~~~~~~~~~~~~~~~~~~
F80Field.c: F80Field.c:55:31: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
F80Field.c:    55 |  *((uint64_t *) a->coef) ^= *((uint64_t *) b->coef);
F80Field.c:       |                              ~^~~~~~~~~~~~~~~~~~~~~

Namespace violations

LUOV.o BuildAugmentedMatrixFromP1L T
LUOV.o BuildAugmentedMatrixFromQ1 T
LUOV.o EvaluateVinegarPart T
LUOV.o TransformQ1 T
LUOV.o _generateKeyPair T
LUOV.o _sign T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserializeQ2 T
LUOV.o evaluatePublicMap T
LUOV.o extractMessage T
LUOV.o generateBigKeyPair T
LUOV.o generateKeyPair T
LUOV.o initializeVinegarSponge T
LUOV.o multiplyByT T
LUOV.o precompute_sign T
LUOV.o precompute_verify T
LUOV.o serializeQ2 T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LUOV.o verify_fast T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scalarMul2 T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o calculateQ1 T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeCols T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T

Namespace violations

Bitcontainer.o deserialize_bitcontainer T
Bitcontainer.o flipBit T
Bitcontainer.o getBit T
Bitcontainer.o randomBitcontainer T
Bitcontainer.o serialize_bitcontainer T
Bitcontainer.o squeezeBitcontainerArray T
Bitcontainer.o xor T
F16Field.o f16EucildeanDivision T
F16Field.o f16ExtendedEuclideanAlgorithm T
F16Field.o f16antilog T
F16Field.o f16deserialize_FELT T
F16Field.o f16inverse T
F16Field.o f16log T
F16Field.o f16multiply T
F16Field.o f16polyAdd T
F16Field.o f16polyCopy T
F16Field.o f16polyMult T
F16Field.o f16polyOne T
F16Field.o f16polyZero T
F16Field.o f16printFELT T
F16Field.o f16scalarMultiply T
F16Field.o f16serialize_FELT T
F16Field.o isArrayOfZeros T
F32Field.o f32add T
F32Field.o f32addInPlace T
F32Field.o f32deserialize_FELT T
F32Field.o f32inverse T
F32Field.o f32isEqual T
F32Field.o f32multiply T
F32Field.o f32multiplyOld T
F32Field.o f32printFELT T
F32Field.o f32scalarMultiply T
F32Field.o f32serialize_FELT T
F32Field.o newF32FELT T
F48Field.o f48add T
F48Field.o f48addInPlace T
F48Field.o f48deserialize_FELT T
F48Field.o f48inverse T
F48Field.o f48isEqual T
F48Field.o f48multiply T
F48Field.o f48printFELT T
F48Field.o f48scalarMultiply T
F48Field.o f48serialize_FELT T
F48Field.o newF48FELT T
F64Field.o f64add T
F64Field.o f64addInPlace T
F64Field.o f64deserialize_FELT T
F64Field.o f64inverse T
F64Field.o f64isEqual T
F64Field.o f64multiply T
F64Field.o f64printFELT T
F64Field.o f64scalarMultiply T
F64Field.o f64serialize_FELT T
F64Field.o newF64FELT T
F80Field.o f80Scalarmultiply T
F80Field.o f80add T
F80Field.o f80addInPlace T
F80Field.o f80deserialize_FELT T
F80Field.o f80inverse T
F80Field.o f80isEqual T
F80Field.o f80multiply T
F80Field.o f80printFELT T
F80Field.o f80serialize_FELT T
F80Field.o newF80FELT T
F8Field.o f8antilog T
F8Field.o f8deserialize_FELT T
F8Field.o f8inverse T
F8Field.o f8log T
F8Field.o f8multiply T
F8Field.o f8printFELT T
F8Field.o f8serialize_FELT T
LUOV.o BuildAugmentedMatrix T
LUOV.o _addScalarProduct1 T
LUOV.o _addScalarProduct3 T
LUOV.o addScalarProduct T
LUOV.o addScalarProduct3 T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserialize_PublicKey T
LUOV.o deserialize_SecretKey T
LUOV.o deserialize_signature T
LUOV.o destroy_PublicKey T
LUOV.o destroy_SecretKey T
LUOV.o destroy_signature T
LUOV.o evaluatePublicMap T
LUOV.o expandTable T
LUOV.o extractMessage T
LUOV.o generateKeyPair T
LUOV.o repeatTable T
LUOV.o serialize_PublicKey T
LUOV.o serialize_SecretKey T
LUOV.o serialize_signature T
LUOV.o signDocument T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
LinearAlgebra.o zeroMatrix T
buffer.o deserialize_uint64_t T
buffer.o newReader T
buffer.o newWriter T
buffer.o readBit T
buffer.o serialize_uint64_t T
buffer.o transcribe T
buffer.o writeBit T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T

Namespace violations

Bitcontainer.o deserialize_bitcontainer T
Bitcontainer.o flipBit T
Bitcontainer.o getBit T
Bitcontainer.o randomBitcontainer T
Bitcontainer.o serialize_bitcontainer T
Bitcontainer.o squeezeBitcontainerArray T
Bitcontainer.o xor T
F16Field.o f16EucildeanDivision T
F16Field.o f16ExtendedEuclideanAlgorithm T
F16Field.o f16antilog T
F16Field.o f16deserialize_FELT T
F16Field.o f16inverse T
F16Field.o f16log T
F16Field.o f16multiply T
F16Field.o f16polyAdd T
F16Field.o f16polyCopy T
F16Field.o f16polyMult T
F16Field.o f16polyOne T
F16Field.o f16polyZero T
F16Field.o f16printFELT T
F16Field.o f16scalarMultiply T
F16Field.o f16serialize_FELT T
F16Field.o isArrayOfZeros T
F32Field.o f32add T
F32Field.o f32deserialize_FELT T
F32Field.o f32inverse T
F32Field.o f32isEqual T
F32Field.o f32multiply T
F32Field.o f32multiplyOld T
F32Field.o f32printFELT T
F32Field.o f32scalarMultiply T
F32Field.o f32serialize_FELT T
F32Field.o newF32FELT T
F48Field.o f48add T
F48Field.o f48deserialize_FELT T
F48Field.o f48inverse T
F48Field.o f48isEqual T
F48Field.o f48multiply T
F48Field.o f48printFELT T
F48Field.o f48scalarMultiply T
F48Field.o f48serialize_FELT T
F48Field.o newF48FELT T
F64Field.o f64add T
F64Field.o f64deserialize_FELT T
F64Field.o f64inverse T
F64Field.o f64isEqual T
F64Field.o f64multiply T
F64Field.o f64printFELT T
F64Field.o f64scalarMultiply T
F64Field.o f64serialize_FELT T
F64Field.o newF64FELT T
F80Field.o f80Scalarmultiply T
F80Field.o f80add T
F80Field.o f80deserialize_FELT T
F80Field.o f80inverse T
F80Field.o f80isEqual T
F80Field.o f80multiply T
F80Field.o f80printFELT T
F80Field.o f80serialize_FELT T
F80Field.o newF80FELT T
F8Field.o f8antilog T
F8Field.o f8deserialize_FELT T
F8Field.o f8inverse T
F8Field.o f8log T
F8Field.o f8multiply T
F8Field.o f8printFELT T
F8Field.o f8serialize_FELT T
LUOV.o BuildAugmentedMatrix T
LUOV.o calculateQ2 T
LUOV.o computeTarget T
LUOV.o deserialize_PublicKey T
LUOV.o deserialize_SecretKey T
LUOV.o deserialize_signature T
LUOV.o destroy_PublicKey T
LUOV.o destroy_SecretKey T
LUOV.o destroy_signature T
LUOV.o evaluatePublicMap T
LUOV.o extractMessage T
LUOV.o generateKeyPair T
LUOV.o serialize_PublicKey T
LUOV.o serialize_SecretKey T
LUOV.o serialize_signature T
LUOV.o signDocument T
LUOV.o solvePrivateUOVSystem T
LUOV.o verify T
LinearAlgebra.o destroy_matrix T
LinearAlgebra.o getUniqueSolution T
LinearAlgebra.o newMatrix T
LinearAlgebra.o printMatrix T
LinearAlgebra.o rowEchelonAugmented T
LinearAlgebra.o rowOp T
LinearAlgebra.o scaleRow T
LinearAlgebra.o swapRows T
LinearAlgebra.o zeroMatrix T
buffer.o deserialize_uint64_t T
buffer.o newReader T
buffer.o newWriter T
buffer.o readBit T
buffer.o serialize_uint64_t T
buffer.o transcribe T
buffer.o writeBit T
intermediateValues.o printAugmentedMatrix T
intermediateValues.o printEvaluation T
intermediateValues.o printPrivateSolution T
intermediateValues.o printVinegarValues T
intermediateValues.o reportSolutionFound T
keccakrng.o initializeAndAbsorb T
keccakrng.o squeezeVector T
keccakrng.o squeezeuint64_t T