public class ArrayOutOfBoundsAnalysis
extends java.lang.Object
[1] BodÃk, Rastislav, Rajiv Gupta, and Vivek Sarkar. "ABCD: eliminating array bounds checks on demand." ACM SIGPLAN Notices. Vol. 35. No. 5. ACM, 2000.
| Modifier and Type | Class and Description |
|---|---|
static class |
ArrayOutOfBoundsAnalysis.UnnecessaryCheck |
| Constructor and Description |
|---|
ArrayOutOfBoundsAnalysis(IR ir)
Create and perform the array out of bounds analysis.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<SSAArrayReferenceInstruction,ArrayOutOfBoundsAnalysis.UnnecessaryCheck> |
getBoundsCheckNecessary() |
public ArrayOutOfBoundsAnalysis(IR ir)
Make sure, the given IR was created with pi nodes for each variable, that is part of a branch instruction! Otherwise the results will be poor.
public java.util.Map<SSAArrayReferenceInstruction,ArrayOutOfBoundsAnalysis.UnnecessaryCheck> getBoundsCheckNecessary()