[SimplifyCFG] Allow hoisting terminators only with HoistCommonInsts=false.
authorFlorian Hahn <flo@fhahn.com>
Tue, 13 Apr 2021 07:24:24 +0000 (08:24 +0100)
committerFlorian Hahn <flo@fhahn.com>
Tue, 13 Apr 2021 09:33:35 +0000 (10:33 +0100)
commit467b1f1cd2f2774714ce59919702c3963914b6a8
treefbfb33265fe3ef05809e8e93af10567e2fc32bd2
parentb757bc14e673c8f8b987cadfe165853fb3de10f1
[SimplifyCFG] Allow hoisting terminators only with HoistCommonInsts=false.

As a side-effect of the change to default HoistCommonInsts to false
early in the pipeline, we fail to convert conditional branch & phis to
selects early on, which prevents vectorization for loops that contain
conditional branches that effectively are selects (or if the loop gets
vectorized, it will get vectorized very inefficiently).

This patch updates SimplifyCFG to perform hoisting if the only
instruction in both BBs is an equal branch. In this case, the only
additional instructions are selects for phis, which should be cheap.

Even though we perform hoisting, the benefits of this kind of hoisting
should by far outweigh the negatives.

For example, the loop in the code below will not get vectorized on
AArch64 with the current default, but will with the patch. This is a
fundamental pattern we should definitely vectorize. Besides that, I
think the select variants should be easier to use for reasoning across
other passes as well.

https://clang.godbolt.org/z/sbjd8Wshx

```
double clamp(double v) {
  if (v < 0.0)
    return 0.0;
  if (v > 6.0)
    return 6.0;
  return v;
}

void loop(double* X, double *Y) {
  for (unsigned i = 0; i < 20000; i++) {
    X[i] = clamp(Y[i]);
  }
}
```

Reviewed By: lebedev.ri

Differential Revision: https://reviews.llvm.org/D100329
llvm/lib/Transforms/Utils/SimplifyCFG.cpp
llvm/test/Transforms/PhaseOrdering/AArch64/hoisting-required-for-vectorization.ll
llvm/test/Transforms/SimplifyCFG/common-code-hoisting.ll