x86: code routine returns only once and use labels for them
x86: cleaner code for if-else-return patterns