Rebase, futz with parent diffs in arc for wenlei@.

Fix langref nit, use update_test_checks.py.

Rebase

Movie logic into BasicAA.

Clean up nit.

Abandoning in favor of merging this functionality into BasicAA in D136514, as suggested in the review there.

Fix the LangRef changes -- left some junk lying around.

Thanks, think I caught everything this time around.

Per review comments.

Per review comments.

Per review comments.

Per review comments.

ping @nikic, would you mind taking another look? I think with the changes you suggested this ends up as a much cleaner stack (being able to avoid duplicating so much of the assume handling really cuts down). My followup plan is to expand this to handle the possibility of inline storage (e.g. the small string optimization), which is where we incur more of the costs, but I'd rather build on something stable before going much further.

Fix out-of-date comment.

Add langref change for separate_storage attribute.

Fix build.

Fix build, move out-of-date comment.

Update per review comments.

Rather than adding a separate aliasAt() API, we should add an extra optional argument to alias(). Especially when it comes to the Concept/Model/Base I don't see a value in having both alias() and aliasAt().

Removing from draft to get some feedback, but still more or less an RFC at the moment.

(For background: I'm a jemalloc maintainer and wrote N2293).

Ah, gotcha, thanks. Still learning the LLVM diff workflows.

Add (a / y) * y % y tests, make Opcode first arg, add Alive2 links to the commit message.

BTW, re-reading I realized I phrased that diff update poorly. I meant to say something more like "now that I understand better, it's obvious to me that you're right", not like "that thing you pointed out was obvious"; hopefully it parsed that way, and sorry if it didn't.

Merge cases into simplifyDivRem

In D102864#2773521, @spatel wrote:

No problem. I can commit on your behalf. To confirm - use your gmail address for author info?

I don't have commit access. Happy to split this in two and do two diffs if you'd prefer, though.

Add commuted and vector test cases.