[all-commits] [llvm/llvm-project] f19876: [ConstraintElimination] Bail out if system gets to...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f19876c5366136da942b733d6e4b435fb19863a3
      https://github.com/llvm/llvm-project/commit/f19876c5366136da942b733d6e4b435fb19863a3
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-12-06 (Sun, 06 Dec 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/ConstraintSystem.h
    M llvm/lib/Analysis/ConstraintSystem.cpp
    A llvm/test/Transforms/ConstraintElimination/large-system-growth.ll

  Log Message:
  -----------
  [ConstraintElimination] Bail out if system gets too big.

For some inputs, the constraint system can grow quite large during
solving, because it replaces complex constraints with one or more
simpler constraints. This adds a cut-off to avoid compile-time explosion
on problematic inputs.