[all-commits] [llvm/llvm-project] 77dd57: [SCEV] Remove incorrect assert

Nikita Popov via All-commits all-commits at lists.llvm.org
Mon Nov 29 08:09:28 PST 2021


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 77dd579827f2e7574be4bbf3f94a48930e7b094f
      https://github.com/llvm/llvm-project/commit/77dd579827f2e7574be4bbf3f94a48930e7b094f
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-11-29 (Mon, 29 Nov 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    A llvm/test/Analysis/ScalarEvolution/addrec-computed-during-addrec-calculation.ll

  Log Message:
  -----------
  [SCEV] Remove incorrect assert

Fix assertion failure reported on D113349 by removing the assert.
While the produced expression should be equivalent, it may not
be strictly the same, e.g. due to lazy nowrap flag updates. Similar
to what the main createSCEV() code does, simply retain the old
value map entry if one already exists.




More information about the All-commits mailing list