[PATCH] D136233: [SimpleLoopUnswitch] Insert loop-invariant conditions and unswitch them when it's profitable

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Oct 30 23:39:40 PDT 2022

Previous message: [PATCH] D136233: [SimpleLoopUnswitch] Insert loop-invariant conditions and unswitch them when it's profitable
Next message: [PATCH] D116694: [RISCV] Add strictfp support for compares.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

mkazantsev added a comment.

Alive2 proof of correctness (on test_04): https://alive2.llvm.org/ce/z/S9sX5h


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136233/new/

https://reviews.llvm.org/D136233

Previous message: [PATCH] D136233: [SimpleLoopUnswitch] Insert loop-invariant conditions and unswitch them when it's profitable
Next message: [PATCH] D116694: [RISCV] Add strictfp support for compares.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list