org.qbicc.object.Function Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of qbicc-compiler Show documentation
The main Qbicc compiler
There is a newer version: 0.77.0
package org.qbicc.object;

import org.qbicc.type.FunctionType;
import org.qbicc.type.definition.MethodBody;
import org.qbicc.type.definition.classfile.ClassFile;
import org.qbicc.type.definition.element.ExecutableElement;

/**
 * A function definition.
 */
public final class Function extends SectionObject {
    public static final int FN_NO_RETURN = 1 << 0;
    public static final int FN_NO_SIDE_EFFECTS = 1 << 1;
    public static final int FN_NO_SAFEPOINTS = 1 << 2;
    public static final int FN_NO_THROW = 1 << 3;

    private final int fnFlags;
    private volatile MethodBody body;
    private volatile FunctionDeclaration declaration;

    Function(final ExecutableElement originalElement, ModuleSection moduleSection, final String name, final FunctionType functionType, int fnFlags) {
        super(originalElement, name, functionType, moduleSection);
        this.fnFlags = fnFlags;
    }

    public ExecutableElement getOriginalElement() {
        return (ExecutableElement) super.getOriginalElement();
    }

    public FunctionType getValueType() {
        return (FunctionType) super.getValueType();
    }

    public MethodBody getBody() {
        return body;
    }

    public void replaceBody(final MethodBody body) {
        this.body = body;
    }

    public int getFlags() {
        return fnFlags;
    }

    public boolean isNoReturn() {
        return (fnFlags & FN_NO_RETURN) != 0;
    }

    public boolean isNoSideEffects() {
        return (fnFlags & FN_NO_SIDE_EFFECTS) != 0;
    }

    public boolean isNoSafePoints() {
        return (fnFlags & FN_NO_SAFEPOINTS) != 0;
    }

    public boolean isNoThrow() {
        return (fnFlags & FN_NO_THROW) != 0;
    }

    public FunctionDeclaration getDeclaration() {
        FunctionDeclaration declaration = this.declaration;
        if (declaration == null) {
            synchronized (this) {
                declaration = this.declaration;
                if (declaration == null) {
                    declaration = this.declaration = new FunctionDeclaration(this);
                }
            }
        }
        return declaration;
    }

    void initDeclaration(FunctionDeclaration decl) {
        declaration = decl;
    }

    public static int getFunctionFlags(ExecutableElement element) {
        int flags = 0;
        if (element.hasAllModifiersOf(ClassFile.I_ACC_NO_SIDE_EFFECTS)) {
            flags |= Function.FN_NO_SIDE_EFFECTS;
        } else if (element.hasAllModifiersOf(ClassFile.I_ACC_NO_RETURN)) {
            flags |= Function.FN_NO_RETURN;
        } else if (element.hasAllModifiersOf(ClassFile.I_ACC_NO_SAFEPOINTS)) {
            flags |= Function.FN_NO_SAFEPOINTS;
        } else if (element.hasAllModifiersOf(ClassFile.I_ACC_NO_THROW)) {
            flags |= Function.FN_NO_THROW;
        }
        return flags;
    }
}