@Eugenio @salomonbrys I can’t say for sure, but since DEX is register machine, not stack machine, it could take time. We could try
http://asm.ow2.org/asmdex-index.html but it was not updated since 2012. So basically yes, it would require a separate backend, though a lot of code could probably be reused from JVM bytecode backend.