---

FCMPL.java

package gov.nasa.arc.ase.jpf.jvm.bytecode;

import de.fub.bytecode.classfile.ConstantPool;
import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.KernelState;
import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
import gov.nasa.arc.ase.jpf.jvm.Types;
import gov.nasa.arc.ase.util.Debug;

public class FCMPL extends Instruction {
  public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
    float v1 = Types.intToFloat(th.pop());
    float v2 = Types.intToFloat(th.pop());

    if (Float.isNaN(v1) || Float.isNaN(v2))
      th.push(-1, false);
    else if (v1 == v2) 
      th.push(0, false);
    else if (v2 > v1) 
      th.push(1, false);
    else 
      th.push(-1, false);

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i, ConstantPool cp) {
  }  
}

---