Code

Scev assume finite flag#91104

Code

Open

ZuseZ4 wants to merge 3 commits intollvm:mainllvm/llvm-project:mainfrom ZuseZ4:scev-assume-finiteZuseZ4/llvm-project:scev-assume-finiteCopy head branch name to clipboard

+36-1

Commits

Commits on May 5, 2024

• adding AssumeLoopExists flag

  

  skewballfox

  authored and

  ZuseZ4

  committed
  c565851

• add AssumeLoopExists test

  ZuseZ4

  committed
  0dfb651

• cleanup

  ZuseZ4

  committed
  f10bf09