bemanproject / utf_view / 27243503217
100%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 5
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 99.744%. Remained the same
27243503217

push

github

ednolan 
P2728: loosen wording to admit chunked (SIMD) implementations

The wording previously pinned the transcoding iterator to decoding one
code point per read: buf_ was sized to hold exactly one transcoded code
point, and base() and iterator equality were specified directly in
terms of the exposition-only members, making the buffer anchor
observable and blocking an as-if chunked implementation. Loosen it so
an implementation may transcode chunks of input at a time, e.g. with
SIMD:

- Make buf_'s capacity an unspecified constant, buffer-capacity, of at
  least 4 / sizeof(ToType), and widen buf_index_ and to_increment_
  accordingly. Chunking is permitted only when the underlying range
  models forward_range; read-ahead on a single-pass range is
  destructive and therefore observable.
- Allow read() to transcode an implementation-chosen number n >= 1 of
  consecutive input subsequences per invocation, provided the result
  fits in buf_. The choice of n is unobservable and may vary call to
  call: an implementation typically transcodes a fixed-size window of
  code units trimmed back to whole input subsequences. Substitution of
  Maximal Subparts applies per input subsequence exactly as before.
- Allow read-reverse() to chunk symmetrically (n subsequences ending at
  current_), specify explicitly that it leaves current_ at the
  beginning of the first subsequence it transcoded, and note that the
  chunk's starting boundary is locatable by bounded backward scanning.
- Respecify base() and iterator equality positionally -- in terms of
  the position of the current input subsequence and the offset of the
  current element within its transcoded code units -- instead of by
  memberwise comparison, since iterators denoting the same element can
  hold different buffer anchors once buffers are chunked.
- Make operator-- skip an ill-formed input subsequence's three-unit
  replacement-character encoding as a unit in _or_error views with
  char8_t output, mirroring oper... (continued)

390 of 391 relevant lines covered (99.74%)

248.2 hits per line

Jobs
ID Job ID Ran Files Coverage
1 27243503217.1 5
99.74
 GitHub Action Run
Source Files on build 27243503217