| 283 | } |
| 284 | |
| 285 | XlaOp Uint128ToOp(std::array<XlaOp, 2> u128) { |
| 286 | return ConcatScalars(u128[0].builder(), {u128[0], u128[1]}); |
| 287 | } |
| 288 | |
| 289 | // Returns the pair (state + [0, 1, ..., n-1], state + n), which should be used |
| 290 | // as the inputs fed to `Philox4x32` and the updated state. `state` is an U128 |
no test coverage detected