Package org.qbicc.plugin.opt

Class LocalOptBasicBlockBuilder

java.lang.Object

org.qbicc.graph.DelegatingBasicBlockBuilder

org.qbicc.plugin.opt.LocalOptBasicBlockBuilder

All Implemented Interfaces:

Locatable, BasicBlockBuilder

public class LocalOptBasicBlockBuilder
extends DelegatingBasicBlockBuilder

A basic block builder which performs local optimizations opportunistically.

Nested Class Summary

Nested classes/interfaces inherited from interface org.qbicc.graph.BasicBlockBuilder

BasicBlockBuilder.FactoryContext

Field Summary

Fields inherited from interface org.qbicc.context.Locatable

EMPTY

Constructor Summary

Constructors

Constructor	Description
LocalOptBasicBlockBuilder(BasicBlockBuilder.FactoryContext ctxt, BasicBlockBuilder delegate)

Method Summary

Modifier and Type	Method	Description
Value	add(Value v1, Value v2)
Value	and(Value v1, Value v2)
Value	bitCast(Value input, WordType toType)
Value	complement(Value v)
Value	extend(Value value, WordType toType)
Value	extractElement(Value array, Value index)
Value	extractMember(Value compound, CompoundType.Member member)
BasicBlock	if_(Value condition, BlockLabel trueTarget, BlockLabel falseTarget, Map<Slot,Value> targetArguments)
Value	insertElement(Value array, Value index, Value value)
Value	insertMember(Value compound, CompoundType.Member member, Value value)
Value	isEq(Value v1, Value v2)
Value	isGe(Value v1, Value v2)
Value	isGt(Value v1, Value v2)
Value	isLe(Value v1, Value v2)
Value	isLt(Value v1, Value v2)
Value	isNe(Value v1, Value v2)
Value	load(Value pointer, ReadAccessMode accessMode)
Value	negate(Value v)
Value	offsetPointer(Value basePointer, Value offset)
Value	or(Value v1, Value v2)
Value	select(Value condition, Value trueValue, Value falseValue)
Value	sub(Value v1, Value v2)
BasicBlock	switch_(Value value, int[] checkValues, BlockLabel[] targets, BlockLabel defaultTarget, Map<Slot,Value> targetArguments)
Value	truncate(Value value, WordType toType)
Value	valueConvert(Value input, WordType toType)
Value	xor(Value v1, Value v2)

Methods inherited from class org.qbicc.graph.DelegatingBasicBlockBuilder

addParam, auto, begin, begin, bitReverse, byteOffsetPointer, byteSwap, call, callNoReturn, callNoSideEffects, checkcast, checkcast, classOf, cmp, cmpAndSwap, cmpG, cmpL, countLeadingZeros, countTrailingZeros, currentThread, declareDebugAddress, decodeReference, deref, divide, divisorCheck, elementOf, extractInstanceField, extractInstanceField, fence, finish, getBlockEntry, getBytecodeIndex, getCallSite, getCurrentElement, getDelegate, getEntryLabel, getFirstBlock, getFirstBuilder, getLocation, getParam, getRootElement, getTerminatedBlock, goto_, initCheck, initializeClass, instanceFieldOf, instanceFieldOf, instanceOf, instanceOf, invoke, invokeDynamic, invokeNoReturn, loadLength, loadTypeId, lookupInterfaceMethod, lookupInterfaceMethod, lookupVirtualMethod, lookupVirtualMethod, max, memberOf, min, monitorEnter, monitorExit, multiNewArray, multiNewArray, multiply, new_, new_, newArray, newArray, newReferenceArray, nop, notNull, nullCheck, offsetOfField, pointerDifference, populationCount, reachable, readModifyWrite, remainder, resolveConstructor, resolveInstanceMethod, resolveStaticField, resolveStaticMethod, ret, return_, rol, ror, safePoint, setBytecodeIndex, setCallSite, setCurrentElement, setDebugValue, setFirstBuilder, setLineNumber, shl, shr, stackAllocate, store, tailCall, throw_, unreachable, vaArg

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.qbicc.graph.BasicBlockBuilder

addParam, begin, call, callNoReturn, callNoSideEffects, classOf, classOf, classOf, classOf, classOf, classOf, classOf, classOf, decodeReference, emptyVoid, getContext, getCurrentClassContext, getLiteralFactory, getTypeSystem, goto_, instanceOf, invoke, invokeNoReturn, load, return_, store, tailCall

Constructor Details

LocalOptBasicBlockBuilder

public LocalOptBasicBlockBuilder(BasicBlockBuilder.FactoryContext ctxt,
 BasicBlockBuilder delegate)

Method Details

offsetPointer

public Value offsetPointer(Value basePointer,
 Value offset)

Specified by:

offsetPointer in interface BasicBlockBuilder

Overrides:

offsetPointer in class DelegatingBasicBlockBuilder

extractElement

public Value extractElement(Value array,
 Value index)

Specified by:

extractElement in interface BasicBlockBuilder

Overrides:

extractElement in class DelegatingBasicBlockBuilder

extractMember

public Value extractMember(Value compound,
 CompoundType.Member member)

Specified by:

extractMember in interface BasicBlockBuilder

Overrides:

extractMember in class DelegatingBasicBlockBuilder

insertElement

public Value insertElement(Value array,
 Value index,
 Value value)

Specified by:

insertElement in interface BasicBlockBuilder

Overrides:

insertElement in class DelegatingBasicBlockBuilder

insertMember

public Value insertMember(Value compound,
 CompoundType.Member member,
 Value value)

Specified by:

insertMember in interface BasicBlockBuilder

Overrides:

insertMember in class DelegatingBasicBlockBuilder

load

public Value load(Value pointer,
 ReadAccessMode accessMode)

Specified by:

load in interface BasicBlockBuilder

Overrides:

load in class DelegatingBasicBlockBuilder

truncate

public Value truncate(Value value,
 WordType toType)

Specified by:

truncate in interface BasicBlockBuilder

Overrides:

truncate in class DelegatingBasicBlockBuilder

extend

public Value extend(Value value,
 WordType toType)

Specified by:

extend in interface BasicBlockBuilder

Overrides:

extend in class DelegatingBasicBlockBuilder

complement

public Value complement(Value v)

Specified by:

complement in interface BasicBlockBuilder

Overrides:

complement in class DelegatingBasicBlockBuilder

isEq

public Value isEq(Value v1,
 Value v2)

Specified by:

isEq in interface BasicBlockBuilder

Overrides:

isEq in class DelegatingBasicBlockBuilder

isNe

public Value isNe(Value v1,
 Value v2)

Specified by:

isNe in interface BasicBlockBuilder

Overrides:

isNe in class DelegatingBasicBlockBuilder

isLt

public Value isLt(Value v1,
 Value v2)

Specified by:

isLt in interface BasicBlockBuilder

Overrides:

isLt in class DelegatingBasicBlockBuilder

isGt

public Value isGt(Value v1,
 Value v2)

Specified by:

isGt in interface BasicBlockBuilder

Overrides:

isGt in class DelegatingBasicBlockBuilder

isLe

public Value isLe(Value v1,
 Value v2)

Specified by:

isLe in interface BasicBlockBuilder

Overrides:

isLe in class DelegatingBasicBlockBuilder

isGe

public Value isGe(Value v1,
 Value v2)

Specified by:

isGe in interface BasicBlockBuilder

Overrides:

isGe in class DelegatingBasicBlockBuilder

and

public Value and(Value v1,
 Value v2)

Specified by:

and in interface BasicBlockBuilder

Overrides:

and in class DelegatingBasicBlockBuilder

or

public Value or(Value v1,
 Value v2)

Specified by:

or in interface BasicBlockBuilder

Overrides:

or in class DelegatingBasicBlockBuilder

xor

public Value xor(Value v1,
 Value v2)

Specified by:

xor in interface BasicBlockBuilder

Overrides:

xor in class DelegatingBasicBlockBuilder

bitCast

public Value bitCast(Value input,
 WordType toType)

Specified by:

bitCast in interface BasicBlockBuilder

Overrides:

bitCast in class DelegatingBasicBlockBuilder

valueConvert

public Value valueConvert(Value input,
 WordType toType)

Specified by:

valueConvert in interface BasicBlockBuilder

Overrides:

valueConvert in class DelegatingBasicBlockBuilder

select

public Value select(Value condition,
 Value trueValue,
 Value falseValue)

Specified by:

select in interface BasicBlockBuilder

Overrides:

select in class DelegatingBasicBlockBuilder

if_

public BasicBlock if_(Value condition,
 BlockLabel trueTarget,
 BlockLabel falseTarget,
 Map<Slot,Value> targetArguments)

Specified by:

if_ in interface BasicBlockBuilder

Overrides:

if_ in class DelegatingBasicBlockBuilder

switch_

public BasicBlock switch_(Value value,
 int[] checkValues,
 BlockLabel[] targets,
 BlockLabel defaultTarget,
 Map<Slot,Value> targetArguments)

Specified by:

switch_ in interface BasicBlockBuilder

Overrides:

switch_ in class DelegatingBasicBlockBuilder

add

public Value add(Value v1,
 Value v2)

Specified by:

add in interface BasicBlockBuilder

Overrides:

add in class DelegatingBasicBlockBuilder

sub

public Value sub(Value v1,
 Value v2)

Specified by:

sub in interface BasicBlockBuilder

Overrides:

sub in class DelegatingBasicBlockBuilder

negate

public Value negate(Value v)

Specified by:

negate in interface BasicBlockBuilder

Overrides:

negate in class DelegatingBasicBlockBuilder