26999023608
98%
main: 98%

Ran 05 Jun 2026 06:19AM UTC

Jobs 1

Files 26

Run time 1min

Badge

Embed ▾

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

Build # 26999023608

Build Type

Pull #122

github

Committed by

kaidokert

Commit Message

Add per-target RUSTFLAGS scoping + thumbv6m intrinsic allowlist

x86_64-unknown-linux-gnu: baseline x86_64 lowers u32::leading_zeros()
to test/je/bsr (bsr is undefined on zero). Pass +lzcnt,+bmi1 via
matrix.extra_rustflags so the intrinsic lowers to lzcnt — same
workaround already in ct-ctgrind.yml. The hardcoded
CARGO_TARGET_AVR_NONE_RUSTFLAGS line is replaced by a generic step
that maps the triple to its CARGO_TARGET_<TRIPLE>_RUSTFLAGS name.

thumbv6m-none-eabi: armv6m is the only target without CLZ, so
core's u{8,16,32,64}::leading_zeros / trailing_zeros lower to a
branchful software polynomial in the std intrinsic itself. The
fixed-bigint impls on primitives that forward to it, and the
ConstPowerOfTwo / next_power_of_two callers that inline it,
inherit those branches. Same root cause pulls in
compiler_builtins specialized_div_rem. Add a thumbv6m-only
extra_allowed_helpers list documenting each as an upstream
intrinsic concern outside the asm-grep gate's scope; ctgrind
still covers them on supported targets. The slice
<[T] as ConstantTimeEq>::ct_eq impl is added to the shared list
since its loop bound is the slice length (public).

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	26999023608.1	05 Jun 2026 06:19AM UTC	26	98.32	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26999023608

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26999023608

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

README BADGES
x