Branch Statement in Jimple

While:


public static void whilebranch(){
	int i = 1;
	int a = 0;
	while(i !=a){
		i++;
	}
}


 public static void whilebranch()
    {
        int i0, i1;

        i0 = 1;
        i1 = 0;
        goto label2;

     label1:
        i0 = i0 + 1;

     label2:
        if i0 != i1 goto label1;

        return;
    }

For:


public static void forbranch(){
	int a = 0;
	for(int i =1; i !=a; i++){
		
	}
}


public static void forbranch()
{
    int i0, i1;

    i0 = 0;
    i1 = 1;
    goto label2;

 label1:
    i1 = i1 + 1;

 label2:
    if i1 != i0 goto label1;

    return;
}

Case:


public static void casebranch(){
		int month = 8;
        String monthString;
        switch (month) {
            case 1:  monthString = "January";
                     break;
            case 2:  monthString = "February";
                     break;
            case 3:  monthString = "March";
                     break;
...


public static void casebranch()
    {
        byte b0;

        b0 = 8;
        tableswitch(b0)
        {
            case 1: goto label01;
            case 2: goto label02;
            case 3: goto label03;
...