aie::UnpackableFrom Concept Reference

The concept UnpackableFrom is satisfied when all the following requirements are met: More...

#include <concepts.hpp>

Concept definition

template<typename To, typename From>
concept aie::UnpackableFrom =  ElemBaseType<To> &&
                         ElemBaseType<From> &&
                         detail::type_bits_v<To> > detail::type_bits_v<From> &&
                         detail::is_complex_v<To> == detail::is_complex_v<From> &&
                         !detail::is_floating_point_v<To> &&
                         !detail::is_floating_point_v<From>

Detailed Description

The concept UnpackableFrom is satisfied when all the following requirements are met:

1. Both From and To types are valid vector element types.
2. From type is complex if and only if To is a complex type.
3. Both From and To are integer types.
4. From type has a narrower bit representation than To.

See also

aie::vector::unpack

aie::vector::unpack_sign

aie::PackableFrom