%include "mips64/bincmp.S" { "condition":"ge" }