trans: use CvalOrLvalue to avoid allocas for immediate copyable locals.