Reduction pass performs reduction recognition for each ForLoop. It generates cetus annotation in the form of “#pragma cetus reduction(…)” Currently, it supports scalar (sum += …), ArrayAccess (A[i] += …), and AccessExpression (A->x += …) for reduction variable. If another pass wants to access reduction information for a given statement, stmt, Tools.getAnnotation(stmt, “cetus”, “reduction”) will return an object that contains a reduction map.