I would hope our compilers are "smart enough" for the above to be "OK"...but still/rather shouldn't this be written as a single if or as an if-else clause that returns the inf already present in a1 or a0 rather than loading it from memory (static constant)?