Semicompiled

package com.zarbosoft.semicompiled;

class Main {
  public static void myMain(double x) {
    boolean y = x < (double) 3;
  }
}

Classfile /tmp/semicompiled-R8pc3gd1-T6iiDceD-16263500084395255394/com/zarbosoft/semicompiled/Main.class
  Last modified Jun 2, 2024; size 273 bytes
  MD5 checksum 278217ace18aca999c33edc25496eb2c
class com.zarbosoft.semicompiled.Main
  minor version: 0
  major version: 52
  flags: (0x0020) ACC_SUPER
  this_class: #4                          // com/zarbosoft/semicompiled/Main
  super_class: #5                         // java/lang/Object
  interfaces: 0, fields: 0, methods: 2, attributes: 0
Constant pool:
   #1 = Methodref          #5.#14         // java/lang/Object."<init>":()V
   #2 = Double             3.0d
   #4 = Class              #15            // com/zarbosoft/semicompiled/Main
   #5 = Class              #16            // java/lang/Object
   #6 = Utf8               <init>
   #7 = Utf8               ()V
   #8 = Utf8               Code
   #9 = Utf8               myMain
  #10 = Utf8               (D)V
  #11 = Utf8               StackMapTable
  #12 = Utf8               MethodParameters
  #13 = Utf8               x
  #14 = NameAndType        #6:#7          // "<init>":()V
  #15 = Utf8               com/zarbosoft/semicompiled/Main
  #16 = Utf8               java/lang/Object
{
  com.zarbosoft.semicompiled.Main();
    descriptor: ()V
    flags: (0x0000)
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return

  public static void myMain(double);
    descriptor: (D)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=4, locals=3, args_size=1
         0: dload_0
         1: ldc2_w        #2                  // double 3.0d
         4: dcmpg
         5: ifge          12
         8: iconst_1
         9: goto          13
        12: iconst_0
        13: istore_2
        14: return
      StackMapTable: number_of_entries = 2
        frame_type = 12 /* same */
        frame_type = 64 /* same_locals_1_stack_item */
          stack = [ int ]
    MethodParameters:
      Name                           Flags
      x
}

package asm.com.zarbosoft.semicompiled;

import org.objectweb.asm.AnnotationVisitor;
import org.objectweb.asm.Attribute;
import org.objectweb.asm.ClassReader;
import org.objectweb.asm.ClassWriter;
import org.objectweb.asm.ConstantDynamic;
import org.objectweb.asm.FieldVisitor;
import org.objectweb.asm.Handle;
import org.objectweb.asm.Label;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;
import org.objectweb.asm.RecordComponentVisitor;
import org.objectweb.asm.Type;
import org.objectweb.asm.TypePath;

public class MainDump implements Opcodes {

  public static byte[] dump() throws Exception {

    ClassWriter classWriter = new ClassWriter(0);
    FieldVisitor fieldVisitor;
    RecordComponentVisitor recordComponentVisitor;
    MethodVisitor methodVisitor;
    AnnotationVisitor annotationVisitor0;

    classWriter.visit(
        V1_8, ACC_SUPER, "com/zarbosoft/semicompiled/Main", null, "java/lang/Object", null);

    {
      methodVisitor = classWriter.visitMethod(0, "<init>", "()V", null, null);
      methodVisitor.visitCode();
      methodVisitor.visitVarInsn(ALOAD, 0);
      methodVisitor.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", false);
      methodVisitor.visitInsn(RETURN);
      methodVisitor.visitMaxs(1, 1);
      methodVisitor.visitEnd();
    }
    {
      methodVisitor =
          classWriter.visitMethod(ACC_PUBLIC | ACC_STATIC, "myMain", "(D)V", null, null);
      methodVisitor.visitParameter("x", 0);
      methodVisitor.visitCode();
      methodVisitor.visitVarInsn(DLOAD, 0);
      methodVisitor.visitLdcInsn(new Double("3.0"));
      methodVisitor.visitInsn(DCMPG);
      Label label0 = new Label();
      methodVisitor.visitJumpInsn(IFGE, label0);
      methodVisitor.visitInsn(ICONST_1);
      Label label1 = new Label();
      methodVisitor.visitJumpInsn(GOTO, label1);
      methodVisitor.visitLabel(label0);
      methodVisitor.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
      methodVisitor.visitInsn(ICONST_0);
      methodVisitor.visitLabel(label1);
      methodVisitor.visitFrame(Opcodes.F_SAME1, 0, null, 1, new Object[] {Opcodes.INTEGER});
      methodVisitor.visitVarInsn(ISTORE, 2);
      methodVisitor.visitInsn(RETURN);
      methodVisitor.visitMaxs(4, 3);
      methodVisitor.visitEnd();
    }
    classWriter.visitEnd();

    return classWriter.toByteArray();
  }
}

Classfile /tmp/semicompiled-R8pc3gd1-T6iiDceD-16263500084395255394/com/zarbosoft/semicompiled/Main.class
  Last modified Jun 2, 2024; size 474 bytes
  MD5 checksum b6e1c7734472f8474ab1946f4c9c42c5
  Compiled from "Main.java"
class com.zarbosoft.semicompiled.Main
  minor version: 0
  major version: 52
  flags: (0x0020) ACC_SUPER
  this_class: #4                          // com/zarbosoft/semicompiled/Main
  super_class: #5                         // java/lang/Object
  interfaces: 0, fields: 0, methods: 2, attributes: 1
Constant pool:
   #1 = Methodref          #5.#23         // java/lang/Object."<init>":()V
   #2 = Double             3.0d
   #4 = Class              #24            // com/zarbosoft/semicompiled/Main
   #5 = Class              #25            // java/lang/Object
   #6 = Utf8               <init>
   #7 = Utf8               ()V
   #8 = Utf8               Code
   #9 = Utf8               LineNumberTable
  #10 = Utf8               LocalVariableTable
  #11 = Utf8               this
  #12 = Utf8               Lcom/zarbosoft/semicompiled/Main;
  #13 = Utf8               myMain
  #14 = Utf8               (D)V
  #15 = Utf8               x
  #16 = Utf8               D
  #17 = Utf8               y
  #18 = Utf8               Z
  #19 = Utf8               StackMapTable
  #20 = Utf8               MethodParameters
  #21 = Utf8               SourceFile
  #22 = Utf8               Main.java
  #23 = NameAndType        #6:#7          // "<init>":()V
  #24 = Utf8               com/zarbosoft/semicompiled/Main
  #25 = Utf8               java/lang/Object
{
  com.zarbosoft.semicompiled.Main();
    descriptor: ()V
    flags: (0x0000)
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 3: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/zarbosoft/semicompiled/Main;

  public static void myMain(double);
    descriptor: (D)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=4, locals=3, args_size=1
         0: dload_0
         1: ldc2_w        #2                  // double 3.0d
         4: dcmpg
         5: ifge          12
         8: iconst_1
         9: goto          13
        12: iconst_0
        13: istore_2
        14: return
      LineNumberTable:
        line 5: 0
        line 6: 14
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      15     0     x   D
           14       1     2     y   Z
      StackMapTable: number_of_entries = 2
        frame_type = 12 /* same */
        frame_type = 64 /* same_locals_1_stack_item */
          stack = [ int ]
    MethodParameters:
      Name                           Flags
      x
}
SourceFile: "Main.java"

package asm.com.zarbosoft.semicompiled;

import org.objectweb.asm.AnnotationVisitor;
import org.objectweb.asm.Attribute;
import org.objectweb.asm.ClassReader;
import org.objectweb.asm.ClassWriter;
import org.objectweb.asm.ConstantDynamic;
import org.objectweb.asm.FieldVisitor;
import org.objectweb.asm.Handle;
import org.objectweb.asm.Label;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;
import org.objectweb.asm.RecordComponentVisitor;
import org.objectweb.asm.Type;
import org.objectweb.asm.TypePath;

public class MainDump implements Opcodes {

  public static byte[] dump() throws Exception {

    ClassWriter classWriter = new ClassWriter(0);
    FieldVisitor fieldVisitor;
    RecordComponentVisitor recordComponentVisitor;
    MethodVisitor methodVisitor;
    AnnotationVisitor annotationVisitor0;

    classWriter.visit(
        V1_8, ACC_SUPER, "com/zarbosoft/semicompiled/Main", null, "java/lang/Object", null);

    classWriter.visitSource("Main.java", null);

    {
      methodVisitor = classWriter.visitMethod(0, "<init>", "()V", null, null);
      methodVisitor.visitCode();
      Label label0 = new Label();
      methodVisitor.visitLabel(label0);
      methodVisitor.visitLineNumber(3, label0);
      methodVisitor.visitVarInsn(ALOAD, 0);
      methodVisitor.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", false);
      methodVisitor.visitInsn(RETURN);
      Label label1 = new Label();
      methodVisitor.visitLabel(label1);
      methodVisitor.visitLocalVariable(
          "this", "Lcom/zarbosoft/semicompiled/Main;", null, label0, label1, 0);
      methodVisitor.visitMaxs(1, 1);
      methodVisitor.visitEnd();
    }
    {
      methodVisitor =
          classWriter.visitMethod(ACC_PUBLIC | ACC_STATIC, "myMain", "(D)V", null, null);
      methodVisitor.visitParameter("x", 0);
      methodVisitor.visitCode();
      Label label0 = new Label();
      methodVisitor.visitLabel(label0);
      methodVisitor.visitLineNumber(5, label0);
      methodVisitor.visitVarInsn(DLOAD, 0);
      methodVisitor.visitLdcInsn(new Double("3.0"));
      methodVisitor.visitInsn(DCMPG);
      Label label1 = new Label();
      methodVisitor.visitJumpInsn(IFGE, label1);
      methodVisitor.visitInsn(ICONST_1);
      Label label2 = new Label();
      methodVisitor.visitJumpInsn(GOTO, label2);
      methodVisitor.visitLabel(label1);
      methodVisitor.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
      methodVisitor.visitInsn(ICONST_0);
      methodVisitor.visitLabel(label2);
      methodVisitor.visitFrame(Opcodes.F_SAME1, 0, null, 1, new Object[] {Opcodes.INTEGER});
      methodVisitor.visitVarInsn(ISTORE, 2);
      Label label3 = new Label();
      methodVisitor.visitLabel(label3);
      methodVisitor.visitLineNumber(6, label3);
      methodVisitor.visitInsn(RETURN);
      Label label4 = new Label();
      methodVisitor.visitLabel(label4);
      methodVisitor.visitLocalVariable("x", "D", null, label0, label4, 0);
      methodVisitor.visitLocalVariable("y", "Z", null, label3, label4, 2);
      methodVisitor.visitMaxs(4, 3);
      methodVisitor.visitEnd();
    }
    classWriter.visitEnd();

    return classWriter.toByteArray();
  }
}