reduce Singeli-generated C noise on constant broadcasts

This commit is contained in:
dzaima 2025-03-21 02:39:03 +02:00
parent d6d1ab286f
commit 9876d1d622

View File

@ -286,7 +286,7 @@ def undef_promote{T, x:T} = x
def zero_promote{T, x:T} = x
def cvt{T, x:[_]T} = x
def broadcast{V=[_]T, v} = vec_broadcast{V, promote{T,v}}
def broadcast{V=[_]T, v} = vec_broadcast{V, if (knum{v}) v else promote{T,v}}
def make{V=[_]_, ...xs} = vec_make{V, ...xs}
def iota{V=[k]_} = make{V, ...iota{k}}
def absu{a:[_]_} = ty_u{abs{a}}