* IR graphs that neither read nor write memory (and hence did
* not create exceptions, as these use memory in Firm).
*
* The result of calls to such functions depends only on its
* IR graphs that neither read nor write memory (and hence did
* not create exceptions, as these use memory in Firm).
*
* The result of calls to such functions depends only on its
*
* This is a rather strong criteria, so do not expect that a
* lot of functions will be found. Moreover, all of them might
* already be inlined if inlining is activated.
* Anyway, it might be good for handling builtin's or pseudo-graphs,
* even if the later read/write memory (but we know how).
*
* This is a rather strong criteria, so do not expect that a
* lot of functions will be found. Moreover, all of them might
* already be inlined if inlining is activated.
* Anyway, it might be good for handling builtin's or pseudo-graphs,
* even if the later read/write memory (but we know how).