Metal: extend address-space inference across call arguments#816

Merged

maleadt merged 9 commits into

mainfrom

tb/infer_as_ipo

Jun 1, 2026

Commits on May 30, 2026

Metal: inline exception-reporting runtime functions before AS inference

maleadt
and
claude
committed

Commits on Jun 1, 2026

Initial implementation.
maleadt
committed
Metal: only narrow argument address spaces for local functions

maleadt
and
claude
committed
Metal: preserve attributes when narrowing argument address spaces

maleadt
and
claude
committed
Metal: handle recursion in argument address-space narrowing

maleadt
and
claude
committed
Metal: narrow argument address spaces for any specific-AS source

maleadt
and
claude
committed
Metal: test argument address-space narrowing

maleadt
and
claude
committed
Metal: tighten address-space narrowing comments

maleadt
and
claude
committed
Metal: iterate argument address-space narrowing to a fixed point

maleadt
and
claude
committed