CFIB-handopt.j

.class CFIB-handopt
.super Procedure

.field private static final t LLispObject;


.method static <clinit>()V
    .limit locals 255
    .limit stack 255

    ldc_w "t"
    invokestatic Symbol.intern(Ljava/lang/String;)LSymbol;
    putstatic CFIB/t LLispObject;
    
    return
.end method

.method public <init>()V
    .limit stack 2
    .limit locals 1

    aload_0
    ldc "CFIB"
    invokenonvirtual Procedure.<init>(Ljava/lang/String;)V
    return
.end method

.method public run([LLispObject;)LLispObject;
    .limit stack 255
    .limit locals 255
    
    aload_0
    aload_1
    iconst_0
    aaload
    invokevirtual CFIB-handopt.run(LLispObject;)LLispObject;
    areturn
.end method

.method public run(LLispObject;)LLispObject;
    .limit stack  255
    .limit locals 255
    ;; (lambda (n) (if (= n 0) 0 (if (= n 1) 1 (+ (fib (- n 1)) (fib (- n 2))))))
    ;; (if (= n 0) 0 (if (= n 1) 1 (+ (fib (- n 1)) (fib (- n 2)))))
    aload_1
    new LispFixnum
    dup
    ldc2_w 0
    invokenonvirtual LispFixnum.<init>(J)V
    invokevirtual java/lang/Object.equals(Ljava/lang/Object;)Z
    ifeq L4
    getstatic CFIB/t LLispObject;
    goto L3
L4:
    aconst_null
L3:
    ifnonnull L2 ; branches to the true-expr
    ;; (if (= n 1) 1 (+ (fib (- n 1)) (fib (- n 2))))
    aload_1
    new LispFixnum
    dup
    ldc2_w 1
    invokenonvirtual LispFixnum.<init>(J)V
    invokevirtual java/lang/Object.equals(Ljava/lang/Object;)Z
    ifeq L8
    getstatic CFIB/t LLispObject;
    goto L7
L8:
    aconst_null
L7:
    ifnonnull L6 ; branches to the true-expr
    ;; (fib (- n 1))
    aload 0
    checkcast Procedure
    aload_1
    checkcast LispNumber
    new LispFixnum
    dup
    ldc2_w 1
    invokenonvirtual LispFixnum.<init>(J)V
    checkcast LispNumber
    invokevirtual LispNumber.sub(LLispNumber;)LLispNumber;
    invokevirtual CFIB-handopt.run(LLispObject;)LLispObject;
    checkcast LispNumber
    ;; (fib (- n 2))
    aload 0
    checkcast Procedure
    aload_1
    checkcast LispNumber
    new LispFixnum
    dup
    ldc2_w 2
    invokenonvirtual LispFixnum.<init>(J)V
    checkcast LispNumber
    invokevirtual LispNumber.sub(LLispNumber;)LLispNumber;
    invokevirtual CFIB-handopt.run(LLispObject;)LLispObject;
    checkcast LispNumber
    invokevirtual LispNumber.add(LLispNumber;)LLispNumber;
    goto L5 ; Don't also run the true-expr like a fool
L6:
    new LispFixnum
    dup
    ldc2_w 1
    invokenonvirtual LispFixnum.<init>(J)V
L5:
    ;; endif
    goto L1 ; Don't also run the true-expr like a fool
L2:
    new LispFixnum
    dup
    ldc2_w 0
    invokenonvirtual LispFixnum.<init>(J)V
L1:
    ;; endif
    areturn
    ;; endlambda
.end method