Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The local optimization should now match the prediction of ir_is_optimizable_mux. This fixes opt/mux.c on SPARC.