Update mipscodegen.c