[llvm-dev] RFC: alive.llvm.org?

Roman Lebedev via llvm-dev
Thu, 18 Jun 2020 06:11:39 -0000

+1 to alive2.llvm.org

On Thu, Jun 18, 2020 at 8:11 AM John Regehr via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
>
> > If we can get Alive1 up there too, that would be even better. I still
> > use that to try to prove things where it's not obvious how to
express
> > the relationships in pure LLVM IR:
> > https://rise4fun.com/Alive/NDu
>
> I don't expect it would be real hard to shoehorn alive1 into Compiler
> Explorer, but Nuno and I will have to talk about whether we (or he, more
> accurately) wants to keep supporting it. We might prefer to try to just
> support use cases such as your example in alive2.
alive1 is python2 though, so someone would need to port it to python3 first.

Perhaps a better alternative would be to finish adding
missing support for Preconditions/constants into alive2

> John
Roman

> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev