391392393394395396397
this.i2 = i2; } public ETuple toSymbolic() { return ETuple.make(opcode.symbol, alist.toSymbolic(), new ESmall(i2)); }
405406407408409410411412413
this.al = al; this.i3 = i3; } public ETuple toSymbolic() { return ETuple.make(opcode.symbol, new ESmall(i1), al.toSymbolic(), new ESmall(i3)); }
423424425426427428429430431432433434
if (is_test) return ETuple.make(TEST_ATOM, opcode.symbol, label.toSymbolic(), EList.make(dest.toSymbolic(), new ESmall(i))); else return ETuple.make(opcode.symbol, label.toSymbolic(), dest.toSymbolic(), new ESmall(i)); }
445446447448449450451452
this.dest = dest; } public ETuple toSymbolic() { return ETuple.make(opcode.symbol, src.toSymbolic(), new ESmall(i), dest.toSymbolic()); }
564565566567568569570
} public ETuple toSymbolic() { return ETuple.make(opcode.symbol, src.toSymbolic(), dest.toSymbolic(), new ESmall(i)); }
581582583584585586587588589590591592593594
} public ETuple toSymbolic() { if (is_call) return ETuple.make(opcode.symbol, new ESmall(i1), functionAtLabel.toSymbolic(), new ESmall(i3)); else return ETuple.make(opcode.symbol, new ESmall(i1), label.toSymbolic(), new ESmall(i3)); }
600601602603604605606607608
super(opcode, i1, ext_fun); this.i3 = i3; } public ETuple toSymbolic() { return ETuple.make(opcode.symbol, new ESmall(i1), ext_fun.toSymbolic(), new ESmall(i3)); }
617618619620621622623624625
this.dest = dest; } public ETuple toSymbolic() { return ETuple.make(opcode.symbol, new ESmall(bin.byteLength()), bin.toSymbolic(), dest.toSymbolic()); }
10201021102210231024102510261027102810291030
Insn.DI insn = (Insn.DI) insn_; vis.visitBS(opcode, src_arg(insn_idx, insn.dest), //TODO: streamline - change API insn.i2 == -1 ? new Arg(EAtom.intern("start")) : new Arg(new ESmall(insn.i2)), 0 ); break; } case bs_init_writable: {
680681682683684685686687
public ETuple toSymbolic() { return ETuple.make(opcode.symbol, label.toSymbolic(), EList.make(src1.toSymbolic(), src2.toSymbolic(), new ESmall(i3)), dest.toSymbolic()); }