26999116500
98%
main: 98%

Ran 05 Jun 2026 06:22AM UTC

Jobs 1

Files 26

Run time 1min

Badge

Embed ▾

Committed 05 Jun 2026 06:22AM UTC coverage: 98.316%. Remained the same

Build # 26999116500

Build Type

Pull #122

github

Committed by

kaidokert

Commit Message

Allowlist compiler_builtins::mem and __{ashl,ashr,lshr}[dt]i3

Two more compiler-runtime helpers slip through the helper-scope walker:

- compiler_builtins::mem::{memcpy,memset,memmove,memcmp} — the Rust
  implementations of the bare-name byte helpers. On bare-metal targets
  without a libc, calls to `memcpy` resolve to this rather than the
  externally-defined `__aeabi_memcpy` / libc symbols already in the
  list. Mangled `_ZN17compiler_builtins3mem…E`. Branchful on size only
  (length is a public parameter at every call site we reach it from —
  array init + FixedUInt copy moves).

- __ashlti3 / __ashrti3 / __lshrti3 and their 64-bit twins __ashldi3 /
  __ashrdi3 / __lshrdi3 — compiler-rt 128-bit / 64-bit shift helpers.
  Reached from FixedUInt shifts whose limb pair spans a register
  width. The internal branches are on the shift count, and our Ct
  shift helpers (const_shl_ct / const_shr_ct) only pass `1 << k` from
  a public iteration counter, so the count itself is public-bounded.

Closes the remaining 48 thumbv6m and 2 x86_64 helper violations.

Pull Request Pull Request #122: Extend asm-grep scope to follow helpers reachable from fixtures

Coverage Stats

2860 of 2909 relevant lines covered (98.32%)

367.57 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26999116500.1	05 Jun 2026 06:22AM UTC	26	98.32	GitHub Action Run

kaidokert / fixed-bigint-rs / 26999116500
98%
main: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26999116500

kaidokert / fixed-bigint-rs / 26999116500 98% main: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26999116500

kaidokert / fixed-bigint-rs / 26999116500
98%
main: 98%

README BADGES
x