[LLVMdev] Reassociate and Canonicalization of Expressions

[Mehdi Amini]

> On Feb 4, 2015, at 11:36 AM, Owen Anderson <owen at apple.com> wrote:
> 
> 
>> On Feb 4, 2015, at 11:30 AM, Mehdi Amini <mehdi.amini at apple.com <mailto:mehdi.amini at apple.com>> wrote:
>> 
>>> I don't think deterministic is the right word (as the pass in
>>> deterministic, AFAICT), but I get what you're saying.  You infer we should
>>> always arrive at one final solution once the pass has run.
>> 
>> Yes.
> 
> FWIW, I believe the term you’re looking for is idempotent.

Wikipedia confirms that’s the word, thanks :)

Mehdi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150204/749eb912/attachment.html>