Searched refs:jumps (Results 1 – 9 of 9) sorted by relevance
53 let jumps = insns.filter(item => item instanceof Jmp); variable55 expect(jumps.length).to.equal(1);57 let jmpLabel = (<Jmp>jumps[0]).getTarget();65 let jumps = insns.filter(item => item instanceof Jmp); variable67 expect(jumps.length).to.equal(1);69 let jmpLabel = (<Jmp>jumps[0]).getTarget();71 expect(insns[4]).to.equal(jumps[0]);77 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable79 expect(jumps.length).to.equal(2);81 let jgezLabel = (<Jmp>jumps[0]).getTarget();[all …]
43 let jumps = insns.filter(item => item instanceof Jmp); variable45 expect(jumps.length).to.equal(1);47 let jmpLabel = (<Jmp>jumps[0]).getTarget();56 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable58 expect(jumps.length).to.equal(2);60 let jgezLabel = (<Jmp>jumps[0]).getTarget();61 let jmpLabel = (<Jmp>jumps[1]).getTarget();66 expect(insns[15]).to.equal(jumps[0]);67 expect(insns[16]).to.equal(jumps[1]);
74 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable76 expect(jumps.length).to.equal(2);152 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable154 expect(jumps.length).to.equal(3);189 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable191 expect(jumps.length).to.equal(3);
123 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable125 expect(jumps.length).to.equal(4);213 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable215 expect(jumps.length).to.equal(5);314 let jumps = insns.filter(item => (item instanceof Jmp || item instanceof Jeqz)); variable316 expect(jumps.length).to.equal(6);
46 let jumps = insns.filter(item => item instanceof Jeqz); variable48 expect(jumps.length).to.equal(1);50 let targetLabel = (<Jeqz>jumps[0]).getTarget();60 let jumps = insns.filter(item => item instanceof Jeqz); variable62 expect(jumps.length).to.equal(1);64 let targetLabel = (<Jeqz>jumps[0]).getTarget();76 let jumps = insns.filter(item => (item instanceof Jeqz || item instanceof Jmp)); variable79 expect(jumps.length).to.equal(2);82 let elseLabel = (<Jeqz>jumps[0]).getTarget();83 let endIfLabel = (<Jmp>jumps[1]).getTarget();[all …]
110 let jumps = insns.filter(item => item instanceof Jeqz || item instanceof Jmp); variable112 expect(jumps.length).to.equal(3);140 let jumps = insns.filter(item => item instanceof Jeqz || item instanceof Jmp) variable142 expect(jumps.length).to.equal(3);171 let jumps = insns.filter(item => item instanceof Jeqz || item instanceof Jmp) variable173 expect(jumps.length).to.equal(3);
78 Mis-jumps, or improper termination of cflow at the end of the body are prohibited.101 Conditional jumps are in grey zone, if they may be proven as always jump103 of verifier, conditional jumps at the end of the method are prohibited.107 direct jumps:175 direct jumps:228 direct jumps:313 By default such jumps are prohibited currently.
177 (acc-reg-reg, acc-reg, acc-imm) and integer-based jumps, but not for floating-point arithmetic
398 If the corresponding catch handler is found in the current stack frame the runtime jumps to the han…