cor3ntin wrote: Thanks for working on that.
GCC does checks assumption in constant evaluation. I think we should too. My main question is whether we think supporting `assume` in the front-end is going to be a net positive knowing that the backend is going to pessimize some use of the attribute https://discourse.llvm.org/t/llvm-assume-blocks-optimization/71609 We have 2 options: - Wait for llvm to get improve their handling of assumption based optimizations. - Proceed with this work hoping this encourages work on the optimizer. I don't have a strong opinion, but we should collectively be aware of pitfalls and https://discourse.llvm.org/t/llvm-assume-blocks-optimization/71609 https://github.com/llvm/llvm-project/pull/81014 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
