Hojun-Cho/ww
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
33295c41c6dd6a2c0dc86cc784721fcaa3379793
ww/test/lang
History
Hojun-Cho e7effe5f57 check: narrow untyped float literals to f32 in f32 context (#120) 
An untyped float literal defaults to f64, so in an f32 context it was
materialized as f64 then bit-truncated by a raw MOVSS (low-32 reinterpret)
rather than narrowed -- e.g. `let x: f32 = 2.0f32; x * 3.0` multiplied by
0.0f. Twelve byte-id-gate-blind both-wrong miscompiles, all this one cause
(compare, binop, call-arg, struct-field, array-elem against an untyped
literal).

Broaden coerce_floatlit to stamp the untyped fconst type_=f32 across the
f32-context sites (assign rhs, call-arg, struct-field, array-elem) and to
descend the implicit-cast shapes (peel unary +/-/cast, recurse binop
operands AND the binop node, recurse arrlit elems), mirroring harec's
lower_implicit_cast. The existing CVTSD2SS gate then fires; cgen is
unchanged. f64 contexts are untouched -- the stamp is gated on TY_F32.

Surfaced by the float codegen sub-hunt (= the deferred #120). Pinned by
test/lang/f32_untyped_narrow_test.ww (22 value-asserting rows incl. f64
controls; reddens on revert).
2026-06-27 12:34:58 +09:00
..
aggret_source_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
alias_accept_runonly_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_accept_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_amp_idx_test.ww
test: migrate deref/narrow/stride family-6 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:34:28 +09:00
alias_cgen_b5_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_cgen_b6_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_decl_order_size_runonly_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_decl_order_size_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_def_addr_test.ww
test: migrate 944_alias_def_addr to @test + runww reject, retire C twin (fold-3)
2026-06-22 17:10:22 +09:00
alias_emit_b7_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_global_decl_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_idx_family_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
alias_structlit_init_test.ww
test: migrate Fam10 alias value tests to @test, carve divergences to pins (#5-C3)
2026-06-24 02:45:09 +09:00
append_structlit_evalorder_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
arr_float_call_index_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
arr_u16_store_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
array_static_init_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
arraytoslice_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
arrlit_elem_narrow_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
arrlit_infer_elem_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
arrlit_slice_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
callret_unsigned_test.ww
test: migrate callret-unsigned/sar-shr/widen-pad behavior to test/lang @test
2026-06-22 02:53:16 +09:00
chained_dot_struct_copy_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
chainidx_test.ww
test: migrate gunsigned/chainidx/idxarg behavior to test/lang @test
2026-06-22 02:04:56 +09:00
composite_call_arg_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
const_slice_aggregate_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
continue_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
def_amp_idx_test.ww
test: migrate deref/narrow/stride family-6 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:34:28 +09:00
def_float_lit_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
defdim_argslice_test.ww
test: migrate defdim len/cap family to test/lang @test, retire C twins (fold-2)
2026-06-22 12:04:03 +09:00
defdim_field_test.ww
test: migrate defdim len/cap family to test/lang @test, retire C twins (fold-2)
2026-06-22 12:04:03 +09:00
defdim_slice_test.ww
test: migrate defdim len/cap family to test/lang @test, retire C twins (fold-2)
2026-06-22 12:04:03 +09:00
deref_hdr_test.ww
cgen: load full 24B header on whole str/slice deref-by-value
2026-06-27 11:47:54 +09:00
deref_narrow_test.ww
test: migrate deref/narrow/stride family-6 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:34:28 +09:00
deref_slice_store_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
dotbase_addr_slice_runonly_test.ww
test: migrate 949_dotbase_addr_slice to @test + byteid carve-out seam, retire C twin (fold-3)
2026-06-22 18:06:05 +09:00
dotbase_addr_slice_test.ww
test: migrate 949_dotbase_addr_slice to @test + byteid carve-out seam, retire C twin (fold-3)
2026-06-22 18:06:05 +09:00
dotbase_arr_test.ww
test: migrate deref/narrow/stride family-6 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:34:28 +09:00
dotbase_hijack_test.ww
test: migrate global value r/w family-5 to test/lang @test, retire C twins (fold-2)
2026-06-22 12:31:23 +09:00
dotfield_compound_test.ww
test: migrate dotfield/idxfield compound-assign to @test + runww rejects, retire C twins (fold-3)
2026-06-22 16:34:33 +09:00
f6_header_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
f9_float_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
f32_untyped_narrow_test.ww
check: narrow untyped float literals to f32 in f32 context (#120)
2026-06-27 12:34:58 +09:00
f32arg_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
f32lit_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
f32stamp_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
f64cgen_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
f64xmm_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
fieldfn_leaf_collide_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
floatarr_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
floatlit_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
forrange_fieldbase_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
glob_ptr_field_test.ww
wwstage: displacement store for global-ptr scalar field, align to cstage
2026-06-22 14:56:11 +09:00
glob_slice_field_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
glob_str_slice_arg_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
glob_struct_ret_test.ww
test: migrate global value r/w family-5 to test/lang @test, retire C twins (fold-2)
2026-06-22 12:31:23 +09:00
global_index_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
globfloatstructarg_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
globstructwiden_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
globtagisas_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
globtagreassign_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
globtagwiden_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
gunsigned_test.ww
test: migrate gunsigned/chainidx/idxarg behavior to test/lang @test
2026-06-22 02:04:56 +09:00
idx_compound_test.ww
test: migrate 948_idx_compound to @test + runww rejects, retire C twin (fold-3)
2026-06-22 16:02:01 +09:00
idx_tagged_field_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
idxarg_test.ww
test: migrate gunsigned/chainidx/idxarg behavior to test/lang @test
2026-06-22 02:04:56 +09:00
idxfield_compound_test.ww
test: migrate dotfield/idxfield compound-assign to @test + runww rejects, retire C twins (fold-3)
2026-06-22 16:34:33 +09:00
inferred_scalar_global_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
is_nonident_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
len_str_global_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
lenidx_test.ww
test: migrate 802_lenidx to @test + runww rejects, retire C twin (fold-3)
2026-06-22 16:53:49 +09:00
letshadow_test.ww
test: migrate 989_letshadow to @test value pin, retire C twin (fold-3)
2026-06-22 18:30:04 +09:00
lit_str_pseudo_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
match_nonident_idx_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
match_slice_variant_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
mixed_scalar_tuple_sret_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
nested_union_widen_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
nestfield_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
nonlit_tuple_widen_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
nullable_assert_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
nullable_try_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
oddstruct_byval_ret_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
opaque_assign_cast_test.ww
test: migrate Fam12 opaque value tests to @test row-tables (#5-C1)
2026-06-24 01:00:47 +09:00
opaque_decl_test.ww
test: migrate Fam12 opaque value tests to @test row-tables (#5-C1)
2026-06-24 01:00:47 +09:00
overcap_tuple_field_store_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
ptrarr_index_test.ww
test: migrate deref/narrow/stride family-6 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:34:28 +09:00
rvalue_tuple_destructure_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
sar_shr_test.ww
test: migrate callret-unsigned/sar-shr/widen-pad behavior to test/lang @test
2026-06-22 02:53:16 +09:00
signed_data_emit_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
size_type_test.ww
test: migrate str-elem-cap/size-in-type behavior to test/lang @test
2026-06-22 03:01:09 +09:00
slice_copy_assign_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
slice_global_arg_test.ww
wwstage: accept module-level const/let slice-from-arrlit (#28)
2026-06-26 23:16:19 +09:00
slice_store_cap_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
sret_narrow_field_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
sret_struct_return_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
str_abi_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
str_arrfield_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_arrfield_store_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_chained_field_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_chainfield_store_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_elem_cap_test.ww
test: migrate str-elem-cap/size-in-type behavior to test/lang @test
2026-06-22 03:01:09 +09:00
str_field_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_massign_store_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
str_tuple_elem_cap_test.ww
test: migrate 933-939 str-cap family to test/lang @test
2026-06-22 03:54:54 +09:00
strarray_static_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
strglobeq_test.ww
test: migrate 989_strglobeq to @test value pin, retire C twin (fold-3)
2026-06-22 18:28:41 +09:00
struct_composite_init_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
structcopytail_test.ww
test: migrate structcopytail #73 struct-copy-tail family to test/lang @test, retire C twin (fold-2)
2026-06-22 12:11:46 +09:00
structlit_arrfield_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
subslice_cap_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
subslice_ptresz_test.ww
test: migrate str/slice header family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 09:02:40 +09:00
tagged_call_arg_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
tagged_structlit_payload_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
tagged_tuple_widen_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tagged_widen_arg_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
taggedderefstore_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
taggedglobalindex_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
taggedidx_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
tagnorm_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
tagtupfieldsize_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
try_str_unwrap_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
tryprop_tag_remap_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
tupfieldsize_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_elem_slice_len_test.ww
test: migrate str/slice global family-1 batch to test/lang @test, retire C twins (fold-2)
2026-06-22 11:52:41 +09:00
tuple_in_union_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_index_read_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_lit_declblind_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_nary_destructure_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_slot_layout_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuple_sret_receive_test.ww
test: migrate struct/sret round-trip family-7 to test/lang @test, retire C twins (fold-2)
2026-06-22 13:52:41 +09:00
tuple_tagged_union_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tupparam_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
tuprecv_f64_test.ww
test: migrate Fam11 float value tests to @test, keep ABI-conformance pins (#5-C4)
2026-06-24 03:25:47 +09:00
tuprecv_test.ww
test: migrate Fam8 tuple value tests to @test + reject carriers (#5-C2)
2026-06-24 01:44:13 +09:00
type_value_shadow_test.ww
test: migrate Fam13 misc checker/coercion value tests to @test (#5-C6)
2026-06-24 22:59:32 +09:00
uniesc_test.ww
test: migrate 110_uniesc rows to in-language @test (test/lang pilot)
2026-06-22 01:48:38 +09:00
valstruct_subsize_test.ww
test: migrate Fam4 static-init/DATA-emit value tests to @test (#30)
2026-06-25 01:32:32 +09:00
variant_chain_b95_runonly_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
variant_chain_b95_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
variant_typekey_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
void_error_singleton_test.ww
test: migrate Fam9 match/tagged value tests to @test (#5-C5)
2026-06-24 20:42:08 +09:00
widen_pad_test.ww
test: migrate callret-unsigned/sar-shr/widen-pad behavior to test/lang @test
2026-06-22 02:53:16 +09:00