From 1704098da5411db759596f32d61e0eacc8975e39 Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sun, 21 Jun 2026 02:28:18 +0300 Subject: [PATCH] v3: vfmt --- vlib/v3/ssa/optimize/phi.v | 3 ++- vlib/v3/ssa/optimize/verify.v | 4 +++- vlib/v3/ssa/worker.v | 6 +++++- vlib/v3/tests/ssa_worker_test.v | 3 +-- 4 files changed, 11 insertions(+), 5 deletions(-) diff --git a/vlib/v3/ssa/optimize/phi.v b/vlib/v3/ssa/optimize/phi.v index 586bc3f20..5f631eb06 100644 --- a/vlib/v3/ssa/optimize/phi.v +++ b/vlib/v3/ssa/optimize/phi.v @@ -246,7 +246,8 @@ fn eliminate_phi_nodes(mut m ssa.Module) { } for pred_blk in pred_copy_blocks { - resolve_parallel_copies(mut m, pred_blk, pred_copy_dests[pred_blk], pred_copy_srcs[pred_blk]) + resolve_parallel_copies(mut m, pred_blk, pred_copy_dests[pred_blk], + pred_copy_srcs[pred_blk]) } for pred_blk in pred_copy_blocks { pred_copy_dests[pred_blk] = [] diff --git a/vlib/v3/ssa/optimize/verify.v b/vlib/v3/ssa/optimize/verify.v index e6dc637a8..390a79b60 100644 --- a/vlib/v3/ssa/optimize/verify.v +++ b/vlib/v3/ssa/optimize/verify.v @@ -108,7 +108,8 @@ fn is_legacy_noncritical_verify_error(err VerifyError) bool { // a terminator within the same block). These are tolerated by the lenient // verify_ssa() and removed by remove_unreachable_blocks / DCE. if err.msg.contains('has no instructions') || err.msg.contains('not at end of block') - || err.msg.contains('multiple terminators') || err.msg.contains('does not end with terminator') { + || err.msg.contains('multiple terminators') + || err.msg.contains('does not end with terminator') { return true } // Type-precision findings. The v3 builder does not maintain strict SSA typing @@ -340,6 +341,7 @@ fn verify_instruction(m &ssa.Module, func_id int, blk_id int, val_id int, instr } else {} } + return errors } diff --git a/vlib/v3/ssa/worker.v b/vlib/v3/ssa/worker.v index eb31702b1..eb92cfa66 100644 --- a/vlib/v3/ssa/worker.v +++ b/vlib/v3/ssa/worker.v @@ -78,7 +78,11 @@ pub fn (mut m Module) new_worker_module() &Module { fn worker_type_cache_key(t Type, type_remap []TypeID) string { return match t.kind { .int_t { - if t.is_unsigned { 'u${t.width}' } else { 'i${t.width}' } + if t.is_unsigned { + 'u${t.width}' + } else { + 'i${t.width}' + } } .float_t { 'f${t.width}' diff --git a/vlib/v3/tests/ssa_worker_test.v b/vlib/v3/tests/ssa_worker_test.v index f30087a3f..f9736498f 100644 --- a/vlib/v3/tests/ssa_worker_test.v +++ b/vlib/v3/tests/ssa_worker_test.v @@ -43,8 +43,7 @@ fn test_worker_clone_merge_remaps_block_and_value_operands() { params: w.funcs[fidx].params } - m.merge_worker_module(w, [fd], seed_values, seed_instrs, seed_blocks, seed_types, - seed_funcs) + m.merge_worker_module(w, [fd], seed_values, seed_instrs, seed_blocks, seed_types, seed_funcs) // The function now has its 4 blocks, all parented correctly. assert m.funcs[fidx].blocks.len == 4 -- 2.39.5