4. shl

最終更新日時:
が更新

履歴 編集

function template
<simd>

std::simd::shl(C++29)

namespace std::simd {
  template<simd-integral VX, simd-integral VS>
  constexpr VX shl(const VX& x, const VS& s) noexcept; // (1) C++29

  template<simd-integral V, class S>
  constexpr V shl(const V& x, S s) noexcept;           // (2) C++29
}

概要

整数要素をもつbasic_vecの各要素に対して、<bit>ヘッダのstd::shlを要素ごとに適用し、各要素を論理左シフトする。下位には0が入る。

組み込みの左シフト演算子<<とは異なり、シフト量が要素のビット幅以上である場合や負である場合でも未定義動作とならず、定義された結果を返す。

  • (1) : 各要素をシフト量s[i]だけ左シフトする
  • (2) : すべての要素を同一のシフト量sだけ左シフトする

テンプレートパラメータ制約

  • (1) :
    • VX::value_typeとVS::value_typeがそれぞれ符号付きまたは符号なし整数型であること
    • VX::size() == VS::size()がtrueであること
    • sizeof(typename VX::value_type) == sizeof(typename VS::value_type)がtrueであること
  • (2) :
    • V::value_typeとSがそれぞれ符号付きまたは符号なし整数型であること

戻り値

  • (1) : i番目の要素がstd::shl(x[i], s[i])で初期化されたbasic_vecオブジェクトを返す
  • (2) : i番目の要素がstd::shl(x[i], s)で初期化されたbasic_vecオブジェクトを返す

例外

投げない

例

#include <simd>
#include <print>
#include <cstdint>

namespace simd = std::simd;

int main()
{
  // {0x0001, 0x0010, 0x0100, 0x1000}
  simd::vec<std::uint16_t, 4> v {[](int i) {
    return static_cast<std::uint16_t>(1u << (i * 4));
  }};

  // 各要素を4ビットだけ論理左シフトする
  simd::vec<std::uint16_t, 4> r = simd::shl(v, 4);

  for (int i = 0; i < v.size(); ++i) {
    std::println("{:016b} -> {:016b}", v[i], r[i]);
  }
}

出力

0000000000000001 -> 0000000000010000
0000000000010000 -> 0000000100000000
0000000100000000 -> 0001000000000000
0001000000000000 -> 0000000000000000

バージョン

言語

  • C++29

処理系

関連項目

参照

  • P3793R1 Better shifting
    • C++29で<bit>ヘッダにスカラー版、<simd>ヘッダにstd::simd版のshlが追加された