> Let me rephrase: we need a mechanism to say "this register is being set
> to something that's too complicated to describe".
Isn't that what
(set (...) (unspec ...))
means?
Interesting idea. There's the issue that an UNSPEC has an index, but that's
probably not a major problem.