AVX2: Replace intrinsics implementation of poly_decompose with assembly #420
Metadata
Metadata
Assignees
Type
Fields
Give feedbackNo fields configured for issues without a type.
{{ message }}
AVX2: Replace intrinsics implementation of
For formally verifying functional correctness using HOL-Light, we will require assembly instead of intrinsics.