As far as I understand the "branch-on-sign" is the name of some kind of if
statement that does something depending on sign. I'm not sure that it's just if (x<0) then ... else ...
.
However, the name "branch-on-sign" seems to denote something very concrete. So, what is it? Perhaps, it's language-specific, but I don't really know. Probably, it's related to embedded development.