|
| 1 | +/*************************************************************************** |
| 2 | + * Copyright (c) Johan Mabille, Sylvain Corlay, Wolf Vollprecht and * |
| 3 | + * Martin Renou * |
| 4 | + * Copyright (c) QuantStack * |
| 5 | + * Copyright (c) Serge Guelton * |
| 6 | + * * |
| 7 | + * Distributed under the terms of the BSD 3-Clause License. * |
| 8 | + * * |
| 9 | + * The full license is in the file LICENSE, distributed with this software. * |
| 10 | + ****************************************************************************/ |
| 11 | + |
| 12 | +#include <algorithm> |
| 13 | +#include <array> |
| 14 | +#include <cstdlib> |
| 15 | +#include <string> |
| 16 | + |
| 17 | +#include <doctest/doctest.h> |
| 18 | + |
| 19 | +#include "xsimd/xsimd.hpp" |
| 20 | + |
| 21 | +#define CHECK_IMPLICATION(a, b) CHECK_UNARY(!(a) || (b)) |
| 22 | + |
| 23 | +namespace detail |
| 24 | +{ |
| 25 | + void check_env_flag(const char* env_var, const char* feature_name, bool actual) |
| 26 | + { |
| 27 | + if (const char* val = std::getenv(env_var)) |
| 28 | + { |
| 29 | + // Doctest struggles with string literals and const char * |
| 30 | + // TODO(c++20): use std::format |
| 31 | + auto msg = std::string(env_var) + " = " + val + ", " + feature_name + " = " + (actual ? "true" : "false"); |
| 32 | + INFO(msg); |
| 33 | + CHECK_EQ(actual, val[0] == '1'); |
| 34 | + } |
| 35 | + } |
| 36 | + |
| 37 | + // TODO(c++23): use str.contains |
| 38 | + bool contains(const std::string& haystack, const char* needle) |
| 39 | + { |
| 40 | + return haystack.find(needle) != std::string::npos; |
| 41 | + } |
| 42 | +} |
| 43 | + |
| 44 | +#define CHECK_ENV_FEATURE(env_var, feature) detail::check_env_flag(env_var, #feature, feature) |
| 45 | + |
| 46 | +/** |
| 47 | + * Tests that x86_cpu_features respects the architectural implication chains. |
| 48 | + * |
| 49 | + * These are "always true" assertions: if a higher feature is reported, all |
| 50 | + * features it architecturally implies must also be reported. The test reads |
| 51 | + * the current CPU's features at runtime and verifies every implication. |
| 52 | + */ |
| 53 | +TEST_CASE("[cpu_features] x86 implication chains") |
| 54 | +{ |
| 55 | + xsimd::x86_cpu_features cpu; |
| 56 | + |
| 57 | + // SSE implication chain |
| 58 | + CHECK_IMPLICATION(cpu.sse4_2(), cpu.sse4_1()); |
| 59 | + CHECK_IMPLICATION(cpu.sse4_1(), cpu.ssse3()); |
| 60 | + CHECK_IMPLICATION(cpu.ssse3(), cpu.sse3()); |
| 61 | + CHECK_IMPLICATION(cpu.sse3(), cpu.sse2()); |
| 62 | + |
| 63 | + // AVX implication chain |
| 64 | + CHECK_IMPLICATION(cpu.avx(), cpu.sse4_2()); |
| 65 | + CHECK_IMPLICATION(cpu.avx2(), cpu.avx()); |
| 66 | + CHECK_IMPLICATION(cpu.fma4(), cpu.avx()); |
| 67 | + CHECK_IMPLICATION(cpu.fma3(), cpu.avx()); |
| 68 | + |
| 69 | + // AVX-512 iplication chain |
| 70 | + CHECK_IMPLICATION(cpu.avx512f(), cpu.avx2()); |
| 71 | + CHECK_IMPLICATION(cpu.avx512dq(), cpu.avx512f()); |
| 72 | + CHECK_IMPLICATION(cpu.avx512ifma(), cpu.avx512f()); |
| 73 | + CHECK_IMPLICATION(cpu.avx512pf(), cpu.avx512f()); |
| 74 | + CHECK_IMPLICATION(cpu.avx512er(), cpu.avx512f()); |
| 75 | + CHECK_IMPLICATION(cpu.avx512cd(), cpu.avx512f()); |
| 76 | + CHECK_IMPLICATION(cpu.avx512bw(), cpu.avx512f()); |
| 77 | + CHECK_IMPLICATION(cpu.avx512vbmi(), cpu.avx512f()); |
| 78 | + CHECK_IMPLICATION(cpu.avx512vbmi2(), cpu.avx512f()); |
| 79 | + CHECK_IMPLICATION(cpu.avx512vnni_bw(), cpu.avx512bw()); |
| 80 | + CHECK_IMPLICATION(cpu.avxvnni(), cpu.avx2()); |
| 81 | +} |
| 82 | + |
| 83 | +TEST_CASE("[cpu_features] x86 manufacturer from environment") |
| 84 | +{ |
| 85 | + xsimd::x86_cpu_features cpu; |
| 86 | + |
| 87 | + const char* val = std::getenv("XSIMD_TEST_CPU_ASSUME_MANUFACTURER"); |
| 88 | + if (val) |
| 89 | + { |
| 90 | + struct entry |
| 91 | + { |
| 92 | + const char* name; |
| 93 | + xsimd::x86_manufacturer value; |
| 94 | + }; |
| 95 | + std::array<entry, 9> manufacturers = { { |
| 96 | + { "intel", xsimd::x86_manufacturer::intel }, |
| 97 | + { "amd", xsimd::x86_manufacturer::amd }, |
| 98 | + { "via", xsimd::x86_manufacturer::via }, |
| 99 | + { "zhaoxin", xsimd::x86_manufacturer::zhaoxin }, |
| 100 | + { "hygon", xsimd::x86_manufacturer::hygon }, |
| 101 | + { "transmeta", xsimd::x86_manufacturer::transmeta }, |
| 102 | + { "elbrus", xsimd::x86_manufacturer::elbrus }, |
| 103 | + { "microsoft_vpc", xsimd::x86_manufacturer::microsoft_vpc }, |
| 104 | + { "unknown", xsimd::x86_manufacturer::unknown }, |
| 105 | + } }; |
| 106 | + |
| 107 | + auto manufacturer = cpu.known_manufacturer(); |
| 108 | + const std::string allowed(val); |
| 109 | + bool match = std::any_of(manufacturers.begin(), manufacturers.end(), [&](const entry& e) |
| 110 | + { return e.value == manufacturer && detail::contains(allowed, e.name); }); |
| 111 | + |
| 112 | + auto const msg = std::string("XSIMD_TEST_CPU_ASSUME_MANUFACTURER = ") + val |
| 113 | + + ", actual = " + xsimd::x86_manufacturer_name(manufacturer); |
| 114 | + INFO(msg); |
| 115 | + CHECK_UNARY(match); |
| 116 | + } |
| 117 | +} |
| 118 | + |
| 119 | +TEST_CASE("[cpu_features] x86 features from environment") |
| 120 | +{ |
| 121 | + xsimd::x86_cpu_features cpu; |
| 122 | + |
| 123 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SSE2", cpu.sse2()); |
| 124 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SSE3", cpu.sse3()); |
| 125 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SSSE3", cpu.ssse3()); |
| 126 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SSE4_1", cpu.sse4_1()); |
| 127 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SSE4_2", cpu.sse4_2()); |
| 128 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_FMA3", cpu.fma3()); |
| 129 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_FMA4", cpu.fma4()); |
| 130 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX", cpu.avx()); |
| 131 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX2", cpu.avx2()); |
| 132 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX512F", cpu.avx512f()); |
| 133 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX512BW", cpu.avx512bw()); |
| 134 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX512CD", cpu.avx512cd()); |
| 135 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVX512DQ", cpu.avx512dq()); |
| 136 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_AVXVNNI", cpu.avxvnni()); |
| 137 | +} |
| 138 | + |
| 139 | +TEST_CASE("[cpu_features] arm implication chains") |
| 140 | +{ |
| 141 | + xsimd::arm_cpu_features cpu; |
| 142 | + |
| 143 | + CHECK_IMPLICATION(cpu.neon64(), cpu.neon()); |
| 144 | + CHECK_IMPLICATION(cpu.sve(), cpu.neon64()); |
| 145 | + CHECK_IMPLICATION(cpu.i8mm(), cpu.neon64()); |
| 146 | +} |
| 147 | + |
| 148 | +TEST_CASE("[cpu_features] arm features from environment") |
| 149 | +{ |
| 150 | + xsimd::arm_cpu_features cpu; |
| 151 | + |
| 152 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_NEON", cpu.neon()); |
| 153 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_NEON64", cpu.neon64()); |
| 154 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_SVE", cpu.sve()); |
| 155 | + CHECK_ENV_FEATURE("XSIMD_TEST_CPU_ASSUME_I8MM", cpu.i8mm()); |
| 156 | +} |
0 commit comments