huitseeker

Benchmark Results for PR #1225: columnwise_dot_product_batched

Machine: AMD Ryzen 9 9950X 16-Core Processor Date: 2026-01-08 Features: --features parallel

General columnwise_dot_product (BabyBear, EF=degree-4 extension)

Size	unbatched	batched<1>	Δ	unbatched×2	batched<2>	Δ

huitseeker

//! Verify QuadFelt::new_complex matches the old QuadFelt::from([a, b]) behavior.
//!
//! Both APIs call BinomialExtensionField::new with the same array, so they should be identical.

use miden_core::{Felt, QuadFelt};
use proptest::prelude::*;

/// Create QuadFelt from array like the old API did.
///
/// BinomialExtensionField is #[repr(transparent)] over [A; D], and PhantomData is zero-sized,

huitseeker

use std::println;

use miden_utils_testing::build_debug_test;

/// Test case to reproduce issue #2404 where only some debug.stack calls print
#[test]
fn test_debug_stack_issue_2404() {
    let stack_inputs = [1, 2, 3, 4];
    let source = "
        proc set_pool_state

huitseeker

// Demo to measure padding overhead in basic blocks
use miden_core_lib::CoreLibrary;
use miden_core::{Operation, mast::MastNode};

fn main() {
    let libcore = CoreLibrary::default();
    let mast_forest = libcore.mast_forest();

    let total_nodes = mast_forest.num_nodes();
    let mut basic_block_count = 0;

huitseeker

   Compiling enum_dispatch_test v0.1.0 (/private/tmp/enum_dispatch_test)
error[E0308]: `match` arms have incompatible types
   --> src/lib.rs:34:1
    |
 19 |     fn to_builder(&self) -> impl Builder {
    |                             ------------ the expected opaque type
...
 28 |     fn to_builder(&self) -> impl Builder {
    |                             ------------ the found opaque type
...

huitseeker

ORG="0xmiden"
USER="huitseeker"
DATE="2025-09-22T00:00:00Z"

Q="org:$ORG is:pr reviewed-by:$USER"

gh api graphql --paginate -f query='
query ($q: String!, $cursor: String) {
  search(type: ISSUE, query: $q, first: 100, after: $cursor) {
    pageInfo { hasNextPage endCursor }

huitseeker

2025-09-27T02:42:43.0925661Z ##[group]Run make test-build
2025-09-27T02:42:43.0925966Z make test-build
2025-09-27T02:42:43.0957721Z shell: /usr/bin/bash -e {0}
2025-09-27T02:42:43.0957945Z env:
2025-09-27T02:42:43.0958122Z   CACHE_ON_FAILURE: false
2025-09-27T02:42:43.0958329Z   CARGO_INCREMENTAL: 0
2025-09-27T02:42:43.0958520Z ##[endgroup]
2025-09-27T02:42:43.2886603Z make core-test-build NEXTEST_PROFILE=ci FEATURES="concurrent,testing,metal,executable"
2025-09-27T02:42:43.2906238Z make[1]: Entering directory '/home/runner/work/miden-vm/miden-vm'
2025-09-27T02:42:43.2907159Z make core-test EXTRA="--no-run"

huitseeker

---
source: assembly/src/tests.rs
expression: program.mast_forest()
---
MastForest {
    nodes: [
        Block(
            BasicBlockNode {
                op_batches: [
                    OpBatch {

huitseeker

---
source: assembly/src/tests.rs
assertion_line: 3920
expression: program.mast_forest()
---
MastForest {
    nodes: [
        Block(
            BasicBlockNode {
                op_batches: [

huitseeker

   Compiling miden-stdlib v0.18.0 (/Users/huitseeker/tmp/miden-vm/stdlib)
   Compiling miden-test-utils v0.1.0 (/Users/huitseeker/tmp/miden-vm/crates/utils/testing)
   Compiling miden-vm v0.18.0 (/Users/huitseeker/tmp/miden-vm/miden-vm)
   Compiling miden-assembly v0.18.0 (/Users/huitseeker/tmp/miden-vm/assembly)
   Compiling miden-processor v0.18.0 (/Users/huitseeker/tmp/miden-vm/processor)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 8.25s
────────────
 Nextest run ID b550b576-ec53-4674-b62f-a73916bc497a with nextest profile: default
    Starting 2 tests across 18 binaries (2246 tests skipped)
       START             miden-assembly tests::test_issue_2181_locaddr_bug_assembly