================ @@ -0,0 +1,68 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 +; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-check=fallback -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s + +; Check whether the type.test intrinsic is removed after devirtualization when +; the fallback mode is used for WPD. + ---------------- KRM7 wrote:
It's not directly related to changes and this is just testing the current behaviour, but I think it's interesting to check what happens to the `type.test` calls with both the fallback mode and speculative devirtualization (in `speculative-devirt-cfi.ll`), because the indirect call is kept in both cases. https://github.com/llvm/llvm-project/pull/233380 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
