bug 20542

[Norman Rink]

I am not sure what you mean by "consistent with getBooleanContents()". The whole point of "isSetCCEquivalent" seems to be to check that this is the case. How do you propose to modify "isSetCCEquivalent"?

Norman

-----Original Message-----
From: Tim Northover [mailto:t.p.northover at gmail.com] 
Sent: 18 August 2014 15:36
To: Norman Rink
Cc: llvm-commits at cs.uiuc.edu
Subject: Re: bug 20542

> I think in the case of a SETCC node you are absolutely right, and this is the case that the comment in the source code describes. The same code, however, is also invoked on a SELECT_CC node, and this is what I had in mind:

I think the "isSetCCEquivalent" call should only let through SELECT_CC
operations that are being used to emulate a SETCC and has results
consistent with getBooleanContents().

Your example doesn't appear to satisfy this (for example), assuming a
generic N0.

Cheers.

Tim.