[all-commits] [llvm/llvm-project] 378941: [ValueTracking] add scan limit for assumes

RotateRight via All-commits all-commits at lists.llvm.org
Mon Feb 15 12:24:59 PST 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 378941f611ab46b985721874081df88bdf3b7cb1
      https://github.com/llvm/llvm-project/commit/378941f611ab46b985721874081df88bdf3b7cb1
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-02-15 (Mon, 15 Feb 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Transforms/LoopUnroll/assume-timeout.ll

  Log Message:
  -----------
  [ValueTracking] add scan limit for assumes

In the motivating example from https://llvm.org/PR49171 and
reduced test here, we would unroll and clone assumes so much
that compile-time effectively became infinite while analyzing
all of those assumes.




More information about the All-commits mailing list