It can screw you by making the code inside of Real_equal being test if x1 != x2 if true jump load %eax with 1 return label: load %eax with 0 return I.e., you can be screwed in either place.