### ### test3 - tests taken branching ### ### all conditional branches in this program should be taken. ### ### should return 4095. ### bipush 0 start1: bipush 0 ifeq good1 goto start2 good1: bipush 1 iadd start2: bipush 1 ifne good2 goto start3 good2: bipush 2 iadd start3: bipush 0 ifle good3 goto start4 good3: bipush 4 iadd start4: bipush -8 iflt good4 goto start5 good4: bipush 8 iadd start5: bipush 4 ifge good5 goto start6 good5: bipush 16 iadd start6: bipush 4 ifgt good6 goto start7 good6: bipush 32 iadd good7: sipush 64 iadd goto start8 start7: bipush 0 ifeq good7 goto start8 good8: sipush 128 iadd goto start9 start8: bipush 1 ifne good8 goto start9 good9: sipush 256 iadd goto start10 start9: bipush -7 ifle good9 goto start10 good10: sipush 512 iadd goto start11 start10: bipush -9 iflt good10 goto start11 good11: sipush 1024 iadd goto start12 start11: bipush 0 ifge good11 goto start12 good12: sipush 2048 iadd goto start13 start12: bipush 4 ifgt good12 start13: ireturn