Philip Reames 07eb26281f [WideableCond] Fix a nasty bug in detection of "explicit guards" ...

The code was failing to actually check for the presence of the call to widenable_condition.  The whole point of specifying the widenable_condition intrinsic was allowing widening transforms.  A normal branch is not widenable.  A normal branch leading to a deopt is not widenable (in general).

I added a test case via LoopPredication, but GuardWidening has an analogous bug.  Those are the only two passes actually using this utility just yet. Noticed while working on LoopPredication for non-widenable branches; POC in D60111.

llvm-svn: 357493

2019-04-02 16:51:43 +00:00

..

basic_widenable_branch_guards.ll

[WideableCond] Fix a nasty bug in detection of "explicit guards"

2019-04-02 16:51:43 +00:00

basic.ll

[LoopPred] Be uniform about proving generated conditions

2019-04-01 16:26:08 +00:00

invariant_load.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00

nested.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00

profitability.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00

reverse.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00

visited.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00

widened.ll

[LoopPred] Delete the old condition expressions if unused

2019-04-01 16:05:15 +00:00