java/9 : jdk.internal.vm.compiler/org/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode.class

IntegerMulExactNode
https://openjdk.java.net/
GPLv2 + Classpath Exception
public final class org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode extends org.graalvm.compiler.nodes.calc.MulNode implements org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticNode
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode
  super_class: org.graalvm.compiler.nodes.calc.MulNode
{
  public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode> TYPE;
    descriptor: Lorg/graalvm/compiler/graph/NodeClass;
    flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL
    Signature: Lorg/graalvm/compiler/graph/NodeClass<Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;>;

  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 46
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.$assertionsDisabled:Z
         3: .line 47
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
            putstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode x
        start local 2 // org.graalvm.compiler.nodes.ValueNode y
         0: .line 50
            aload 0 /* this */
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            aload 1 /* x */
            aload 2 /* y */
            invokespecial org.graalvm.compiler.nodes.calc.MulNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
         1: .line 51
            aload 0 /* this */
            aload 1 /* x */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokevirtual org.graalvm.compiler.core.common.type.Stamp.unrestricted:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.setStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;)V
         2: .line 52
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.$assertionsDisabled:Z
            ifne 4
            aload 1 /* x */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            aload 2 /* y */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokevirtual org.graalvm.compiler.core.common.type.Stamp.isCompatible:(Lorg/graalvm/compiler/core/common/type/Stamp;)Z
            ifeq 3
            aload 1 /* x */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifne 4
      StackMap locals: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
         3: new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 53
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.nodes.ValueNode y
        end local 1 // org.graalvm.compiler.nodes.ValueNode x
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            0    5     1     x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    5     2     y  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      x     
      y     

  public boolean inferStamp();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
         0: .line 63
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;

  public org.graalvm.compiler.nodes.ValueNode canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
        start local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        start local 2 // org.graalvm.compiler.nodes.ValueNode forX
        start local 3 // org.graalvm.compiler.nodes.ValueNode forY
         0: .line 68
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 2
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifne 2
         1: .line 69
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode
            dup
            aload 3 /* forY */
            aload 2 /* forX */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            areturn
         2: .line 71
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 4
         3: .line 72
            aload 0 /* this */
            aload 2 /* forX */
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.canonicalXconstant:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            areturn
         4: .line 73
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 10
         5: .line 74
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            lstore 4 /* c */
        start local 4 // long c
         6: .line 75
            lload 4 /* c */
            lconst_1
            lcmp
            ifne 8
         7: .line 76
            aload 2 /* forX */
            areturn
         8: .line 78
      StackMap locals: long
      StackMap stack:
            lload 4 /* c */
            lconst_0
            lcmp
            ifne 10
         9: .line 79
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            lconst_0
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;J)Lorg/graalvm/compiler/nodes/ConstantNode;
            areturn
        end local 4 // long c
        10: .line 82
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.x:Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.y:Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            invokestatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.mayOverFlow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
            ifne 12
        11: .line 83
            new org.graalvm.compiler.nodes.calc.MulNode
            dup
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.x:Lorg/graalvm/compiler/nodes/ValueNode;
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.y:Lorg/graalvm/compiler/nodes/ValueNode;
            invokespecial org.graalvm.compiler.nodes.calc.MulNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            aload 1 /* tool */
            invokevirtual org.graalvm.compiler.nodes.calc.MulNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.ValueNode
            areturn
        12: .line 85
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        end local 3 // org.graalvm.compiler.nodes.ValueNode forY
        end local 2 // org.graalvm.compiler.nodes.ValueNode forX
        end local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   13     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            0   13     1  tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   13     2  forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   13     3  forY  Lorg/graalvm/compiler/nodes/ValueNode;
            6   10     4     c  J
    MethodParameters:
      Name  Flags
      tool  
      forX  
      forY  

  private static boolean mayOverFlow(org.graalvm.compiler.core.common.type.IntegerStamp, org.graalvm.compiler.core.common.type.IntegerStamp);
    descriptor: (Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=6, locals=20, args_size=2
        start local 0 // org.graalvm.compiler.core.common.type.IntegerStamp a
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp b
         0: .line 90
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.$assertionsDisabled:Z
            ifne 1
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            if_icmpeq 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 91
      StackMap locals:
      StackMap stack:
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            lconst_0
            lcmp
            ifne 3
         2: .line 92
            iconst_0
            ireturn
         3: .line 93
      StackMap locals:
      StackMap stack:
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            lconst_0
            lcmp
            ifne 5
         4: .line 94
            iconst_0
            ireturn
         5: .line 96
      StackMap locals:
      StackMap stack:
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isUnrestricted:()Z
            ifeq 7
         6: .line 97
            iconst_1
            ireturn
         7: .line 99
      StackMap locals:
      StackMap stack:
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isUnrestricted:()Z
            ifeq 9
         8: .line 100
            iconst_1
            ireturn
         9: .line 102
      StackMap locals:
      StackMap stack:
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 2 /* bits */
        start local 2 // int bits
        10: .line 104
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 3 /* minN_a */
        start local 3 // long minN_a
        11: .line 105
            lconst_0
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            invokestatic java.lang.Math.min:(JJ)J
            lstore 5 /* maxN_a */
        start local 5 // long maxN_a
        12: .line 106
            lconst_0
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            invokestatic java.lang.Math.max:(JJ)J
            lstore 7 /* minP_a */
        start local 7 // long minP_a
        13: .line 107
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 9 /* maxP_a */
        start local 9 // long maxP_a
        14: .line 109
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 11 /* minN_b */
        start local 11 // long minN_b
        15: .line 110
            lconst_0
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            invokestatic java.lang.Math.min:(JJ)J
            lstore 13 /* maxN_b */
        start local 13 // long maxN_b
        16: .line 111
            lconst_0
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            invokestatic java.lang.Math.max:(JJ)J
            lstore 15 /* minP_b */
        start local 15 // long minP_b
        17: .line 112
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 17 /* maxP_b */
        start local 17 // long maxP_b
        18: .line 115
            iconst_0
            istore 19 /* mayOverflow */
        start local 19 // boolean mayOverflow
        19: .line 116
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBePositive:()Z
            ifeq 26
        20: .line 117
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBePositive:()Z
            ifeq 23
        21: .line 118
            iload 19 /* mayOverflow */
            lload 9 /* maxP_a */
            lload 17 /* maxP_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        22: .line 119
            iload 19 /* mayOverflow */
            lload 7 /* minP_a */
            lload 15 /* minP_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        23: .line 121
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp int long long long long long long long long int
      StackMap stack:
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBeNegative:()Z
            ifeq 26
        24: .line 122
            iload 19 /* mayOverflow */
            lload 7 /* minP_a */
            lload 13 /* maxN_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        25: .line 123
            iload 19 /* mayOverflow */
            lload 9 /* maxP_a */
            lload 11 /* minN_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        26: .line 127
      StackMap locals:
      StackMap stack:
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBeNegative:()Z
            ifeq 33
        27: .line 128
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBePositive:()Z
            ifeq 30
        28: .line 129
            iload 19 /* mayOverflow */
            lload 5 /* maxN_a */
            lload 15 /* minP_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        29: .line 130
            iload 19 /* mayOverflow */
            lload 3 /* minN_a */
            lload 17 /* maxP_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        30: .line 132
      StackMap locals:
      StackMap stack:
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.canBeNegative:()Z
            ifeq 33
        31: .line 133
            iload 19 /* mayOverflow */
            lload 3 /* minN_a */
            lload 11 /* minN_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        32: .line 134
            iload 19 /* mayOverflow */
            lload 5 /* maxN_a */
            lload 13 /* maxN_b */
            iload 2 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.multiplicationOverflows:(JJI)Z
            ior
            istore 19 /* mayOverflow */
        33: .line 137
      StackMap locals:
      StackMap stack:
            iload 19 /* mayOverflow */
            ireturn
        end local 19 // boolean mayOverflow
        end local 17 // long maxP_b
        end local 15 // long minP_b
        end local 13 // long maxN_b
        end local 11 // long minN_b
        end local 9 // long maxP_a
        end local 7 // long minP_a
        end local 5 // long maxN_a
        end local 3 // long minN_a
        end local 2 // int bits
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp b
        end local 0 // org.graalvm.compiler.core.common.type.IntegerStamp a
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   34     0            a  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            0   34     1            b  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           10   34     2         bits  I
           11   34     3       minN_a  J
           12   34     5       maxN_a  J
           13   34     7       minP_a  J
           14   34     9       maxP_a  J
           15   34    11       minN_b  J
           16   34    13       maxN_b  J
           17   34    15       minP_b  J
           18   34    17       maxP_b  J
           19   34    19  mayOverflow  Z
    MethodParameters:
      Name  Flags
      a     
      b     

  private org.graalvm.compiler.nodes.ValueNode canonicalXconstant(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=4, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode forX
        start local 2 // org.graalvm.compiler.nodes.ValueNode forY
         0: .line 141
            aload 1 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 3 /* xConst */
        start local 3 // jdk.vm.ci.meta.JavaConstant xConst
         1: .line 142
            aload 2 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 4 /* yConst */
        start local 4 // jdk.vm.ci.meta.JavaConstant yConst
         2: .line 143
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.$assertionsDisabled:Z
            ifne 3
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            aload 4 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            if_acmpeq 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 145
      StackMap locals: jdk.vm.ci.meta.JavaConstant jdk.vm.ci.meta.JavaConstant
      StackMap stack:
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            getstatic jdk.vm.ci.meta.JavaKind.Int:Ljdk/vm/ci/meta/JavaKind;
            if_acmpne 6
         4: .line 146
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asInt:()I
            aload 4 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asInt:()I
            invokestatic java.lang.Math.multiplyExact:(II)I
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forInt:(I)Lorg/graalvm/compiler/nodes/ConstantNode;
         5: areturn
         6: .line 148
      StackMap locals:
      StackMap stack:
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.$assertionsDisabled:Z
            ifne 7
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            getstatic jdk.vm.ci.meta.JavaKind.Long:Ljdk/vm/ci/meta/JavaKind;
            if_acmpeq 7
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         7: .line 149
      StackMap locals:
      StackMap stack:
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            aload 4 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            invokestatic java.lang.Math.multiplyExact:(JJ)J
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forLong:(J)Lorg/graalvm/compiler/nodes/ConstantNode;
         8: areturn
         9: .line 151
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
            pop
        10: .line 154
            aload 0 /* this */
            areturn
        end local 4 // jdk.vm.ci.meta.JavaConstant yConst
        end local 3 // jdk.vm.ci.meta.JavaConstant xConst
        end local 2 // org.graalvm.compiler.nodes.ValueNode forY
        end local 1 // org.graalvm.compiler.nodes.ValueNode forX
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   11     0    this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            0   11     1    forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   11     2    forY  Lorg/graalvm/compiler/nodes/ValueNode;
            1   11     3  xConst  Ljdk/vm/ci/meta/JavaConstant;
            2   11     4  yConst  Ljdk/vm/ci/meta/JavaConstant;
      Exception table:
        from    to  target  type
           3     5       9  Class java.lang.ArithmeticException
           6     8       9  Class java.lang.ArithmeticException
    MethodParameters:
      Name  Flags
      forX  
      forY  

  public org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode createSplit(org.graalvm.compiler.nodes.AbstractBeginNode, org.graalvm.compiler.nodes.AbstractBeginNode);
    descriptor: (Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;)Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerExactArithmeticSplitNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=8, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
        start local 1 // org.graalvm.compiler.nodes.AbstractBeginNode next
        start local 2 // org.graalvm.compiler.nodes.AbstractBeginNode deopt
         0: .line 159
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactSplitNode
            dup
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* next */
            aload 2 /* deopt */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactSplitNode.<init>:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;)V
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode
            areturn
        end local 2 // org.graalvm.compiler.nodes.AbstractBeginNode deopt
        end local 1 // org.graalvm.compiler.nodes.AbstractBeginNode next
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            0    1     1   next  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            0    1     2  deopt  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
    MethodParameters:
       Name  Flags
      next   
      deopt  

  public void lower(org.graalvm.compiler.nodes.spi.LoweringTool);
    descriptor: (Lorg/graalvm/compiler/nodes/spi/LoweringTool;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
        start local 1 // org.graalvm.compiler.nodes.spi.LoweringTool tool
         0: .line 164
            aload 1 /* tool */
            aload 0 /* this */
            invokestatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode.lower:(Lorg/graalvm/compiler/nodes/spi/LoweringTool;Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerExactArithmeticNode;)V
         1: .line 165
            return
        end local 1 // org.graalvm.compiler.nodes.spi.LoweringTool tool
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode;
            0    2     1  tool  Lorg/graalvm/compiler/nodes/spi/LoweringTool;
    MethodParameters:
      Name  Flags
      tool  

  public org.graalvm.compiler.graph.Node canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.graph.Node, org.graalvm.compiler.graph.Node);
    descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
    flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=4, locals=4, args_size=4
         0: .line 1
            aload 0
            aload 1
            aload 2
            checkcast org.graalvm.compiler.nodes.ValueNode
            aload 3
            checkcast org.graalvm.compiler.nodes.ValueNode
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerMulExactNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
SourceFile: "IntegerMulExactNode.java"
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.nodeinfo.NodeInfo(cycles = org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_4:Lorg/graalvm/compiler/nodeinfo/NodeCycles;, cyclesRationale = "mul+cmp", size = org.graalvm.compiler.nodeinfo.NodeSize.SIZE_2:Lorg/graalvm/compiler/nodeinfo/NodeSize;)
/

java/ 9/ jdk.internal.vm.compiler/org/graalvm/compiler/replacements/nodes/arithmetic/IntegerMulExactNode.class
