[LLVMdev] Reassociate and Canonicalization of Expressions

[Owen Anderson]

> On Feb 4, 2015, at 11:30 AM, Mehdi Amini <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.

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