org.apache.commons.nabla.algorithmic.forward.arithmetic
Class DRemTransformer1

java.lang.Object
  org.apache.commons.nabla.algorithmic.forward.arithmetic.DRemTransformer1

All Implemented Interfaces:

InstructionsTransformer

public class DRemTransformer1
extends Object
implements InstructionsTransformer

Differentiation transformer for DREM instructions.

This transformer is used when only the first argument of DREM is an expanded differential pair. It is based on the identity: a%b = a - q * b where q is an integer.

See Also:

DRemTransformer12, DRemTransformer2

Method Summary

static InstructionsTransformer	getInstance() Get the singleton instance.
org.objectweb.asm.tree.InsnList	getReplacement(org.objectweb.asm.tree.AbstractInsnNode insn, MethodDifferentiator methodDifferentiator) Get the replacement instructions.

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static InstructionsTransformer getInstance()

Get the singleton instance.

We use here the Initialization on Demand Holder idiom.

Returns:

the singleton instance

getReplacement

public org.objectweb.asm.tree.InsnList getReplacement(org.objectweb.asm.tree.AbstractInsnNode insn,
                                                      MethodDifferentiator methodDifferentiator)
                                               throws DifferentiationException

Get the replacement instructions.

Specified by:

getReplacement in interface InstructionsTransformer

Parameters:

insn - original instruction

methodDifferentiator - method differentiator driving this transformer

Returns:

replacement instructions

Throws:

DifferentiationException - if the method differentiator cannot provide a temporary variable