C1: Added support for branching In order to implement braning, a method is first pre-scanned for basic blocks by `C1BasicBlockAnalyzer*`. It returns an entry block (as `C1BasicBlock` instance) which is eventually linked to other blocks by its `successors` blocks. The compilation process then maps 1-to-1 each "C1" basic block to an LLVM basic block. When compiling, it starts with entry block and then recursivelly proceeds with successors.

     1

package jv.dragonfly.c1.tests;

     2

     3

//import java.util.*;

     4

     5

import static org.junit.Assert.*;

     6

import org.junit.Test;     

     7

import stx.libjava.annotation.Package;

     8

     9

@Package("jv:dragonfly/c1/tests")

    10

public class C1CompilerJavaTests {

    11

    public int m01a() {

    12

        return 15;

    13

    }

    14

    15

    public int m02a(int a) {

    16

        return a;

    17

    }

    18

    19

    public int m03a(int a, int b) {

    20

        return a + b;

    21

    }

    22

    23

    public int m04a(int a) {

    24

        if (a < 0) {

    25

            return -1;

    26

        } else {

    27

            if (a > 0) {

    28

                return 1;

    29

            } else {

    30

                return 0;

    31

            }

    32

        }

    33

    }

    34

    35

    public int m04b(int a) {

    36

        int r = 1;

    37

        do {

    38

            r = r * a--;

    39

        } while (a > 0);

    40

        return r;

    41

    } 

    42

}