--- Quote Start ---
That's the first thing I did - there's nothing at all with the signal name in the synthesizer output :-(
Now, it might be that it's not optimising the registers/signals away, but there's some other reason SignalTap can't find them. If I search for 'all signals' then they're there, but not if I search in post-fitting. If I select one in 'all signals', then it appears in red, which I guess means that it can't display its contents.
(It's not working in the programmed FPGA either, where other, similar constructs are, which, along with not appearing in SignalTap may have made me come to the wrong conclusion)
--- Quote End ---
when adding nodes to signaltap it asks if you want them before compilation(design entry) or later. Have you tried that.
Due to optimisation, register retiming, duplication etc some nodes cease to exist unless you want them stay.