An entry attribute telling the compiler that multiple calls to this entry with the same parameters can be reduced to a single call. That is, the entry returns identical values for calls with the same set of parameters and has no side effects. REDUCIBLE is the opposite of IRREDUCIBLE.