TruffleDSL Specialization causes broken code generation (related to not operator use , "!")

[smarr]

The following node definition causes the DSL to generated invalid code:

public abstract class BreakpointNode extends Node {

  public abstract boolean executeCheckIsSetAndEnabled();

  protected BreakpointInfo getBreakpointStatus() {
    return null;
  }

  @Specialization(guards = "!info.hasBreakpoint")
  public boolean noBreakpoint(@Cached("getBreakpointStatus()") final BreakpointInfo info) {
    return false;
  }

  @Specialization(guards = {"info.hasBreakpoint", "!info.breakpoint.isEnabled()"})
  public boolean breakpointDisabled(@Cached("getBreakpointStatus()") final BreakpointInfo info) {
    return false;
  }
}

Specifically, this generates the following createNext(.) method:

        @Override
        protected final SpecializationNode createNext(Frame frameValue) {
            BreakpointInfo info1 = (root.getBreakpointStatus());
            if ((!(info1.hasBreakpoint))) {
                return NoBreakpointNode_.create(root, info1);
            }
            BreakpointInfo info2 = (root.getBreakpointStatus()); else if ((!(info2.breakpoint.isEnabled()))) {
                return BreakpointDisabledNode_.create(root, info2);
            }
            return null;
        }

[chumer]

This issue is a known issue. its fixed in the new layout, so I don't really want to fix it anymore.
You can workaround it by not using the ! operator.

[chumer]

public abstract class BreakpointNode extends Node {

  public abstract boolean executeCheckIsSetAndEnabled();

  protected BreakpointInfo getBreakpointStatus() {
    return null;
  }

  @Specialization(guards = "not(info.hasBreakpoint)")
  public boolean noBreakpoint(@Cached("getBreakpointStatus()") final BreakpointInfo info) {
    return false;
  }

  @Specialization(guards = {"info.hasBreakpoint", "!info.breakpoint.isEnabled()"})
  public boolean breakpointDisabled(@Cached("getBreakpointStatus()") final BreakpointInfo info) {
    return false;
  }
  public static boolean not(boolean value) {return !value;}

[smarr]

Ah, good, thanks for the work around!

Will close the issue.