Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 1 | // Copyright 2021 The Tint Authors. |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
| 15 | #include "src/tint/fuzzers/mersenne_twister_engine.h" |
| 16 | |
| 17 | #include <algorithm> |
| 18 | #include <cassert> |
| 19 | |
dan sinclair | 22b4dd2 | 2023-07-21 00:40:07 +0000 | [diff] [blame] | 20 | #include "src/tint/utils/math/hash.h" |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 21 | |
dan sinclair | 62a1d71 | 2022-04-07 17:46:04 +0000 | [diff] [blame] | 22 | namespace tint::fuzzers { |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 23 | |
| 24 | namespace { |
| 25 | |
| 26 | /// Generate integer from uniform distribution |
| 27 | /// @tparam I - integer type |
| 28 | /// @param engine - random number engine to use |
| 29 | /// @param lower - Lower bound of integer generated |
| 30 | /// @param upper - Upper bound of integer generated |
| 31 | /// @returns i, where lower <= i < upper |
| 32 | template <typename I> |
| 33 | I RandomInteger(std::mt19937_64* engine, I lower, I upper) { |
dan sinclair | 41e4d9a | 2022-05-01 14:40:55 +0000 | [diff] [blame] | 34 | assert(lower < upper && "|lower| must be strictly less than |upper|"); |
| 35 | return std::uniform_int_distribution<I>(lower, upper - 1)(*engine); |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | } // namespace |
| 39 | |
| 40 | MersenneTwisterEngine::MersenneTwisterEngine(uint64_t seed) : engine_(seed) {} |
| 41 | |
| 42 | uint32_t MersenneTwisterEngine::RandomUInt32(uint32_t lower, uint32_t upper) { |
dan sinclair | 41e4d9a | 2022-05-01 14:40:55 +0000 | [diff] [blame] | 43 | return RandomInteger(&engine_, lower, upper); |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 44 | } |
| 45 | |
| 46 | uint64_t MersenneTwisterEngine::RandomUInt64(uint64_t lower, uint64_t upper) { |
dan sinclair | 41e4d9a | 2022-05-01 14:40:55 +0000 | [diff] [blame] | 47 | return RandomInteger(&engine_, lower, upper); |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 48 | } |
| 49 | |
| 50 | void MersenneTwisterEngine::RandomNBytes(uint8_t* dest, size_t n) { |
dan sinclair | 41e4d9a | 2022-05-01 14:40:55 +0000 | [diff] [blame] | 51 | assert(dest && "|dest| must not be nullptr"); |
| 52 | std::generate(dest, dest + n, |
| 53 | std::independent_bits_engine<std::mt19937_64, 8, uint8_t>(engine_)); |
Ryan Harrison | dbc13af | 2022-02-21 15:19:07 +0000 | [diff] [blame] | 54 | } |
| 55 | |
dan sinclair | 62a1d71 | 2022-04-07 17:46:04 +0000 | [diff] [blame] | 56 | } // namespace tint::fuzzers |