Is there a diagram or document with the lexer/pars...
# compilerv
ventura
07/20/2021, 4:07 PMIs there a diagram or document with the lexer/parser/etc... flow of Kotlin complier? I am trying to figure out how to write a compiler for other languages
d
dmitriy.novozhilov
07/20/2021, 4:12 PMv
ventura
07/20/2021, 4:20 PM@Abel @dmitriy.novozhilov is this the same flow provided by Kotlin/JS? (Excluding the byte code generation, of course)
d
dmitriy.novozhilov
07/20/2021, 4:27 PMYes it is. For js it's a JS code generator instead of bytecode generator
👍🏼 1
r
Ryan Kay
07/20/2021, 5:26 PMThank you for asking this and also sharing the resource. I was literally about to ask the same thing for the same reason.
ventura
08/18/2021, 8:30 PMventura
08/20/2021, 7:27 PM@dmitriy.novozhilov which class actually maps the IR to JVM ASM?
ventura
08/20/2021, 7:28 PMI am assuming the code is directly compiled to human readable byte code, but I could not find any JVM instruction
d
dmitriy.novozhilov
08/22/2021, 5:15 PMActually idk, because I mostly work with frontend. Try to find something with "codegen" name
a
Abel
08/22/2021, 5:35 PMI'm not a developer, but while making the diagram linked above I remember that the bytecode generation (the list of instructions in a plain/compiled text file) is made by the asm library, so the kotlin compiler uses the asm object-like list of instructions, which later is converted to bytecode text by that library.
You can check for example this optimization, or other in that folder, for how it uses the asm library and the bytecode as a list of object-instructions.
I do remember seeing some conversions though, but could be for some explicit cases or most probably the asm source code (when you use intellij to travel source code it 'enters' libraries).
❤️ 1
v
ventura
02/07/2022, 5:08 PM@Abel I wish I had read your message. I would have saved me a lot of time digging into the code, but thanks to you I advanced a little bit in the
Opcodesventura
02/07/2022, 5:12 PM Copy code
//
// Source code recreated from a .class file by IntelliJ IDEA
// (powered by FernFlower decompiler)
//
package com.sun.xml.internal.ws.org.objectweb.asm;
public interface Opcodes {
int V1_1 = 196653;
int V1_2 = 46;
int V1_3 = 47;
int V1_4 = 48;
int V1_5 = 49;
int V1_6 = 50;
int ACC_PUBLIC = 1;
int ACC_PRIVATE = 2;
int ACC_PROTECTED = 4;
int ACC_STATIC = 8;
int ACC_FINAL = 16;
int ACC_SUPER = 32;
int ACC_SYNCHRONIZED = 32;
int ACC_VOLATILE = 64;
int ACC_BRIDGE = 64;
int ACC_VARARGS = 128;
int ACC_TRANSIENT = 128;
int ACC_NATIVE = 256;
int ACC_INTERFACE = 512;
int ACC_ABSTRACT = 1024;
int ACC_STRICT = 2048;
int ACC_SYNTHETIC = 4096;
int ACC_ANNOTATION = 8192;
int ACC_ENUM = 16384;
int ACC_DEPRECATED = 131072;
int T_BOOLEAN = 4;
int T_CHAR = 5;
int T_FLOAT = 6;
int T_DOUBLE = 7;
int T_BYTE = 8;
int T_SHORT = 9;
int T_INT = 10;
int T_LONG = 11;
int F_NEW = -1;
int F_FULL = 0;
int F_APPEND = 1;
int F_CHOP = 2;
int F_SAME = 3;
int F_SAME1 = 4;
Integer TOP = new Integer(0);
Integer INTEGER = new Integer(1);
Integer FLOAT = new Integer(2);
Integer DOUBLE = new Integer(3);
Integer LONG = new Integer(4);
Integer NULL = new Integer(5);
Integer UNINITIALIZED_THIS = new Integer(6);
int NOP = 0;
int ACONST_NULL = 1;
int ICONST_M1 = 2;
int ICONST_0 = 3;
int ICONST_1 = 4;
int ICONST_2 = 5;
int ICONST_3 = 6;
int ICONST_4 = 7;
int ICONST_5 = 8;
int LCONST_0 = 9;
int LCONST_1 = 10;
int FCONST_0 = 11;
int FCONST_1 = 12;
int FCONST_2 = 13;
int DCONST_0 = 14;
int DCONST_1 = 15;
int BIPUSH = 16;
int SIPUSH = 17;
int LDC = 18;
int ILOAD = 21;
int LLOAD = 22;
int FLOAD = 23;
int DLOAD = 24;
int ALOAD = 25;
int IALOAD = 46;
int LALOAD = 47;
int FALOAD = 48;
int DALOAD = 49;
int AALOAD = 50;
int BALOAD = 51;
int CALOAD = 52;
int SALOAD = 53;
int ISTORE = 54;
int LSTORE = 55;
int FSTORE = 56;
int DSTORE = 57;
int ASTORE = 58;
int IASTORE = 79;
int LASTORE = 80;
int FASTORE = 81;
int DASTORE = 82;
int AASTORE = 83;
int BASTORE = 84;
int CASTORE = 85;
int SASTORE = 86;
int POP = 87;
int POP2 = 88;
int DUP = 89;
int DUP_X1 = 90;
int DUP_X2 = 91;
int DUP2 = 92;
int DUP2_X1 = 93;
int DUP2_X2 = 94;
int SWAP = 95;
int IADD = 96;
int LADD = 97;
int FADD = 98;
int DADD = 99;
int ISUB = 100;
int LSUB = 101;
int FSUB = 102;
int DSUB = 103;
int IMUL = 104;
int LMUL = 105;
int FMUL = 106;
int DMUL = 107;
int IDIV = 108;
int LDIV = 109;
int FDIV = 110;
int DDIV = 111;
int IREM = 112;
int LREM = 113;
int FREM = 114;
int DREM = 115;
int INEG = 116;
int LNEG = 117;
int FNEG = 118;
int DNEG = 119;
int ISHL = 120;
int LSHL = 121;
int ISHR = 122;
int LSHR = 123;
int IUSHR = 124;
int LUSHR = 125;
int IAND = 126;
int LAND = 127;
int IOR = 128;
int LOR = 129;
int IXOR = 130;
int LXOR = 131;
int IINC = 132;
int I2L = 133;
int I2F = 134;
int I2D = 135;
int L2I = 136;
int L2F = 137;
int L2D = 138;
int F2I = 139;
int F2L = 140;
int F2D = 141;
int D2I = 142;
int D2L = 143;
int D2F = 144;
int I2B = 145;
int I2C = 146;
int I2S = 147;
int LCMP = 148;
int FCMPL = 149;
int FCMPG = 150;
int DCMPL = 151;
int DCMPG = 152;
int IFEQ = 153;
int IFNE = 154;
int IFLT = 155;
int IFGE = 156;
int IFGT = 157;
int IFLE = 158;
int IF_ICMPEQ = 159;
int IF_ICMPNE = 160;
int IF_ICMPLT = 161;
int IF_ICMPGE = 162;
int IF_ICMPGT = 163;
int IF_ICMPLE = 164;
int IF_ACMPEQ = 165;
int IF_ACMPNE = 166;
int GOTO = 167;
int JSR = 168;
int RET = 169;
int TABLESWITCH = 170;
int LOOKUPSWITCH = 171;
int IRETURN = 172;
int LRETURN = 173;
int FRETURN = 174;
int DRETURN = 175;
int ARETURN = 176;
int RETURN = 177;
int GETSTATIC = 178;
int PUTSTATIC = 179;
int GETFIELD = 180;
int PUTFIELD = 181;
int INVOKEVIRTUAL = 182;
int INVOKESPECIAL = 183;
int INVOKESTATIC = 184;
int INVOKEINTERFACE = 185;
int NEW = 187;
int NEWARRAY = 188;
int ANEWARRAY = 189;
int ARRAYLENGTH = 190;
int ATHROW = 191;
int CHECKCAST = 192;
int INSTANCEOF = 193;
int MONITORENTER = 194;
int MONITOREXIT = 195;
int MULTIANEWARRAY = 197;
int IFNULL = 198;
int IFNONNULL = 199;
}ventura
03/02/2022, 1:51 PM7 Views