loongson/mirror: links for unit-propagation