### ### test4 - tests not taken branching ### ### no conditional branch in this program should be taken ### ### should return 10. ### bipush 0 start1: bipush 1 ifeq good1 goto start2 good1: bipush 1 iadd start2: bipush 0 ifne good2 goto start3 good2: bipush 2 iadd start3: bipush 6 ifle good3 goto start4 good3: bipush 4 iadd start4: bipush 6 iflt good4 goto start5 good4: bipush 8 iadd start5: bipush -3 ifge good5 goto start6 good5: bipush 16 iadd start6: bipush 0 ifgt good6 goto start7 good6: bipush 32 iadd good7: sipush 64 iadd goto start8 start7: bipush -1 ifeq good7 goto start8 good8: sipush 128 iadd goto start9 start8: bipush 0 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 0 iflt good10 goto start11 good11: sipush 1024 iadd goto start12 start11: bipush -3 ifge good11 goto start12 good12: sipush 2048 iadd goto start13 start12: bipush -3 ifgt good12 start13: bipush 10 iadd ireturn