assumptions about assume, was: RE: Early CSE clobbering llvm.assume

Daniel,

Here’s a relatively simple question that should not start a runaway thread (!?)

Is “assume” something the user supplies information with, like “assert”,

Or is “assume” something the compiler inserts as a result of analysis,

I originally thought it was the former, but these various emails have convinced me

That it is instead the later (except for the comment about “contracts”, which I hope

We can leave out of the discussion for now).

–Peter Lawrence.

(I also ask that no one replies to this thread saying that the user is not “supplying information”

With assert, that is a separate thread !!!)

Daniel,

Here’s a relatively simple question that should not start a runaway thread (!?)

Is “assume” something the user supplies information with, like “assert”,

Or is “assume” something the compiler inserts as a result of analysis,

I originally thought it was the former, but these various emails have convinced me

That it is instead the later (except for the comment about “contracts”, which I hope

We can leave out of the discussion for now).