coins.lparallel
Class RegionOpImpl

java.lang.Object
  coins.lparallel.RegionOpImpl

All Implemented Interfaces:

RegionOp

public class RegionOpImpl

extends java.lang.Object

implements RegionOp

Constructor Summary

RegionOpImpl()

Method Summary

int	regADD(Ref_Array reg1, Ref_Array reg2, Ref_Array reg3, int dim) regADD: The operation method of [ref array] is as follows.
(package private) void	RegionOpImpl() RegionOp: Implementing array region operations.
int	regMUL(Ref_Array reg1, Ref_Array reg2, Ref_Array reg3, int dim) regMUL: The operation method of [ref array] is as follows.
int	regMUL2(Ref_Array reg1, Ref_Array reg2, int dim) regMUL2: The operation method of [ref array] is as follows.
int	regSUB(Ref_Array reg1, Ref_Array reg2, Ref_Array reg3, int dim) regSUB: The operation method of [ref array] is as follows.

Methods inherited from class java.lang.Object

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

Constructor Detail

RegionOpImpl

public RegionOpImpl()

Method Detail

RegionOpImpl

void RegionOpImpl()

RegionOp: Implementing array region operations.

regADD

public int regADD(Ref_Array reg1,
                  Ref_Array reg2,
                  Ref_Array reg3,
                  int dim)

regADD: The operation method of [ref array] is as follows. UNKNOWN INVARIANT INDUCTION UNKNOWN (safety) (safety) (safety) INVARIANT (safety) case-1 case-2 INDUCTION (safety) case-2 case-3 ex1) a[3] regADD a[2] -> case-1 ex2) a[i] regADD a[j+2] -> case-3

Specified by:

regADD in interface RegionOp

regSUB

public int regSUB(Ref_Array reg1,
                  Ref_Array reg2,
                  Ref_Array reg3,
                  int dim)

regSUB: The operation method of [ref array] is as follows. UNKNOWN INVARIANT INDUCTION UNKNOWN (safety) (safety) (safety) INVARIANT (safety) case-1 reg1-inv INDUCTION (safety) reg1-ind case-2 ex1) a[3] regSUB a[2] -> case-1 ex2) a[i] regSUB a[j+2] -> case-2 i and j are induction variables(REG_INV).

Specified by:

regSUB in interface RegionOp

regMUL

public int regMUL(Ref_Array reg1,
                  Ref_Array reg2,
                  Ref_Array reg3,
                  int dim)

regMUL: The operation method of [ref array] is as follows. UNKNOWN INVARIANT INDUCTION UNKNOWN (safety) (safety) (safety) INVARIANT (safety) case-1 case-2 INDUCTION (safety) case-2 case-3 ex1) a[3] regMUL a[2] -> case-1 ex2) a[i] regMUL a[j+2] -> case-3 i and j are induction variables.

Specified by:

regMUL in interface RegionOp

regMUL2

public int regMUL2(Ref_Array reg1,
                   Ref_Array reg2,
                   int dim)

regMUL2: The operation method of [ref array] is as follows. UNKNOWN INVARIANT INDUCTION UNKNOWN (safety) (safety) (safety) INVARIANT (safety) case-1 case-2 INDUCTION (safety) case-2 case-3 ex1) a[3] regMUL2 a[2] -> case-1 ex2) a[i] regMUL2 a[j+2] -> case-3 i and j are induction variables.

Specified by:

regMUL2 in interface RegionOp