[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-21 Thread Vitaly Buka via llvm-branch-commits
https://github.com/vitalybuka converted_to_draft https://github.com/llvm/llvm-project/pull/86067 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-21 Thread Vitaly Buka via llvm-branch-commits
vitalybuka wrote: > I don't think that this change is necessary. The InaccessibleMemOnly > modelling will take care of it. Thank. That makes sense. As I wrote in description, I tried to trigger code difference in tests, but failed for these and for assume. Converting to draft. https://github.

[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-21 Thread Nikita Popov via llvm-branch-commits
nikic wrote: I don't think that this change is necessary. The InaccessibleMemOnly modelling will take care of it. https://github.com/llvm/llvm-project/pull/86067 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llv

[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-21 Thread Dmitry Vyukov via llvm-branch-commits
https://github.com/dvyukov approved this pull request. https://github.com/llvm/llvm-project/pull/86067 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-20 Thread Vitaly Buka via llvm-branch-commits
https://github.com/vitalybuka created https://github.com/llvm/llvm-project/pull/86067 Doing this because it's similar to `assume`, but I can't see a difference neither for `assume` nor for `allow`. RFC: https://discourse.llvm.org/t/rfc-add-llvm-experimental-hot-intrinsic-or-llvm-hot/77641 _

[llvm-branch-commits] [dse] Skip llvm.allow.{runtime, ubsan}.check() (PR #86067)

2024-03-20 Thread via llvm-branch-commits
llvmbot wrote: @llvm/pr-subscribers-llvm-transforms Author: Vitaly Buka (vitalybuka) Changes Doing this because it's similar to `assume`, but I can't see a difference neither for `assume` nor for `allow`. RFC: https://discourse.llvm.org/t/rfc-add-llvm-experimental-hot-intrinsic-or-llvm-h