[LV] Fallback strategies if tail-folding fails

[SjoerdMeijer]

Summary

This implements 2 different vectorization fallback strategies if tail-folding fails: 1) don't vectorize at all, or 2) vectorize using a scalar epilogue. This can be controlled with option -prefer-predicate-over-epilog, that has been changed to take a numeric value corresponding to the tail-folding preference and preferred fallback.

[SjoerdMeijer]

The direction looks good to me. We definitely still want to vectorise if possible, if we don't do that when tail-folding is requested, that sounds like a "performance bug".

Just a general remark: tail-predication is a bit of a MVE term. In the LV, tail-folding is the term that is used. Please use that instead in the summary/description etc.

I had a first look, see some nits/questions inline.

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

nit: how about SoftFailure -> ReportFailure?
(and that would mean flipping the default value)

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

4972

nit: tail-predication -> tail-folding

5021

Do we need this if there is no tail? I haven't reminded myself and checked the flow, but can this condition be true?

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-scalar-epilogue-fallback.ll

2

Sorry for being a bit lazy, but this is a big example, but why is this rejected for tail-predication? Would be good to indicate the reason somewhere, e.g. function name, in the IR.
And could this example be reduced?

[SjoerdMeijer]

A follow up question inlined.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

4964

nit: tail-predication -> tail-folding

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-scalar-epilogue-fallback.ll

2

This test is enabling MVE tail-predication, meaning that here we "enable" masked loads/stores that enable tail-folding. Thus, since no other options are used, this relies on TTI hook preferPredicateOverEpilogue to set CM_ScalarEpilogueNotNeededUsePredicate. And so, this hook determines for this test that tail-folding was possible, which we then overrule later, is that correct?

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5021

Yes, it can happen if tail-folding is enabled, and the loop's TC is a multiple of the VF. (e.g. TC=64, VF=16)
In those cases, we do the preparation for tail-folding earlier (line 4968), but then realize here that the loop has no tail, so we must revert (abandon tail folding + clear the flag).

We need this because else it would generate masked load/stores for those kinds of loops, which isn't optimal (normal loads are better). Additionally, it will cause an assertion failure in the MVETailPredication pass (TC cannot be a multiple of the VF in a tail-predicated loop).

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-scalar-epilogue-fallback.ll

2

Sorry for being a bit lazy, but this is a big example, but why is this rejected for tail-predication? Would be good to indicate the reason somewhere, e.g. function name, in the IR.
And could this example be reduced?

If I remember correctly, this test is rejected because of this: store i8* %incdec.ptr13, i8** %pos, align 4, it's an outside user of %incdec.ptr13 which is defined in the loop.

I'll try to reduce the test a bit more, and I'll add a comment explaining why it should be rejected.

This test is enabling MVE tail-predication, meaning that here we "enable" masked loads/stores that enable tail-folding. Thus, since no other options are used, this relies on TTI hook preferPredicateOverEpilogue to set CM_ScalarEpilogueNotNeededUsePredicate. And so, this hook determines for this test that tail-folding was possible, which we then overrule later, is that correct?

That is correct, this test is the same as the other one, except it relies on preferPredicateOverEpilogue to set the flag.
Should I add something to check that preferPredicateOverEpilogue accepts the loop? (So the test doesn't silently pass if the TTI hook doesn't accept it anymore)

[SjoerdMeijer]

Motivated by the discussion on the added test case, just a general remark about the description of this change:

This patch teaches the vectorizer to fallback to a scalar epilogue when a tail-predication hint is found

Using "hint" here can be a bit ambigious. I think the complete story is that we always fall back to a scalar epilogue, regardless whether tail-folding was requested on the command-line, a loop hint, or the TTI hook. Thinking about this, it's probably worth mentioning this on the documentation or description of the -prefer-predicate-over-epilog option, and/or the general documentation of the vectorize_predicate pragma, for which there probably also needs to be a test case added, i.e. for all 3 cases how tail-folding can be requested, there need to be a test. Looks like 2 are covered already: the option, and the TTI hook.

[Ayal]

There are indeed loops which can be vectorized only with a scalar remainder loop, i.e., w/o foldTail. But the tests attached could easily be made an exception: LV handles induction variables that are live-out by pre-computing their values in the pre-header. So foldTail should work fine in their presence, provided the live-out value is computed using the original trip-count rather than the one foldTail rounds up.

Other live-outs could also be made to work under foldTail, such as selecting the last live element from the last live vector instead of assuming it's the last element of the last part.

llvm/include/llvm/Transforms/Vectorize/LoopVectorizationLegality.h

237

But they need to be reset to reflect original conditional blocks, as set by canVectorizeWithIfConvert() when it initially called blockCanBePredicated().

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

Rather than if/how to report failure, probably better to clone this method into a canFoldTailByMasking() (as it was originally called iirc) const method, w/o having any side-effects that may later need to be abandoned, and a prepareToFoldTailByMasking() which need not return any value.

1240

Try also adding getInductionVars() Phi's, and the values that feed them across the backedge, to the set of live outs allowed by fold tail?

1257

Should an "analysis" message be reported instead of a "failure" one?

1262

Can dump this note regardless of ReportFailure.

1273–1274

In order (for canFoldTailByMasking()) to only check if tail can be folded, this call to blockCanBePredicated() should be replaced with one that does not have side-effects.

1281

ditto.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

4968

Fold this under the following switch, possibly falling through to the CM_ScalarEpilogueAllowed case?

5021

They (masked load/stores) are needed, but only in blocks that were originally conditional, rather than all blocks of the loop.

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-scalar-epilogue-fallback.ll

34

IND_END pre-computes the value of %incdec.ptr.

llvm/test/Transforms/LoopVectorize/use-scalar-epilogue-if-tp-fails.ll

33

ditto.

[SjoerdMeijer]

There are indeed loops which can be vectorized only with a scalar remainder loop, i.e., w/o foldTail. But the tests attached could easily be made an exception: LV handles induction variables that are live-out by pre-computing their values in the pre-header. So foldTail should work fine in their presence, provided the live-out value is computed using the original trip-count rather than the one foldTail rounds up.

Other live-outs could also be made to work under foldTail, such as selecting the last live element from the last live vector instead of assuming it's the last element of the last part.

Thanks for elaborating and explaining, and yes, got it about the live-out values and precomputing them. Other than the live-out values, I think we have an additional challenge because target hook TTI->preferPredicateOverEpilogue that can reject tail-folding for loops that can be vectorised with a scalar remainder because of target dependent restrictions. I think that's why we also need a fallback. And judging from your other comments, please correct me if I'm wrong, it looks like you're happy with the general direction of this, and so we will address your other comments.

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

I've been thinking about this, but I'm not exactly sure it's the right thing to do. There will probably be a small amount of code duplication and we'd be iterating over the loop's instruction twice.

I'm not a fan of iterating over the loop's instructions more than needed, especially in this case as I think it can be avoided.

Here is another idea: What if prepareToFoldTailByMasking becomes const, and instead of directly inserting elements into MaskedOp and ConditionalAssumes, it works on a temporary set.

The simplest way to implement this would be to take sets by reference, like this:
bool prepareToFoldTailByMasking(SmallPtrSetImpl<Instruction*> &MaskedOps, SmallPtrSetImpl<Instruction*> ConditionalAssumes, bool ReportFailure = true). Then the caller controls the sets, and can either give them to LoopVectorizationLegal, or discard them.

Another idea would be to move this logic in another object, for instance, something like TailFoldingLegal, which would:

• Check the loop, like prepareToFoldTailByMasking currently does, and store the info into its own sets
• Have methods to either abandon tail-folding by masking, or apply it (= transfer the contents of its sets into LoopVectorizationLegal's sets)

Then it could be used like this:

TailFoldingLegal TFL;
if tail folding is needed:
  TFL.checkLoop(TheLoop)

// etc.

if TFL.canFoldTailByMasking() && we need a tail:
  TFL.applyTailFoldingByMasking(Legal);

What do you think ? Do you prefer a simpler approach, even if it means iterating over the loop's instruction many times, or something a bit more complete like what I suggested?

Note that I don't know the cost of iterating over the loop. Maybe it's really cheap and I shouldn't worry about it (then just ignore everything I suggested above). In any case, I'll just implement your favorite solution, as you know much more about this topic than I do, so please tell me what you prefer.

Thank you very much for your help.

[Ayal]

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

Agreed, would be better to avoid repeated instruction scans.

In order for prepareToFoldTail() to be an optional preference, it should cause no side-effects when returning false; i.e., it should add to MaksedOps and ConditionalAssumes iff returning true. This mostly affects blockCanBePredicated() - it would need to have MaskedOps and ConditionalAssumes passed-in as arguments. Sounds reasonable?

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

4969

May be simpler to exit early after calling prepareToFoldTail(), instead of checking FoldTailByMasking later.

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

In order for prepareToFoldTail() to be an optional preference, it should cause no side-effects when returning false; i.e., it should add to MaksedOps and ConditionalAssumes iff returning true. This mostly affects blockCanBePredicated() - it would need to have MaskedOps and ConditionalAssumes passed-in as arguments. Sounds reasonable?

This is a good idea, but there is one issue left: when ScalarEpilogueStatus == CM_ScalarEpilogueNotNeededUsePredicate and the loop has no tail (TC > 0 && TC % MaxVF == 0), we have to abandon tail-folding (Line 5029 in LoopVectorize.cpp), but if we do things that way, there's no way to abandon tail-folding at that stage. There are 2 solutions that I can think of:

• Refactor computeMaxVF so it calculates the MaxVF earlier. That way, we can tell if the loops has a tail or not before calling prepareToFoldTailByMasking (= we only call it if there's a tail). Unfortunately, I tried moving the call to computeFeasibleMaxVF earlier in the function, but it triggered the assertion at line 5000 (in if (!useMaskedInterleavedAccesses(TTI))), so it doesn't look like a trivial fix.
• Make prepareToFoldTailByMasking return some kind of result object (that'd contain both MaskedOp/ConditionalAssumes sets), which can either be discarded or applied to LoopVectorizationLegal. This is similar to what I suggested in my previous comment, just a bit simplified.
  • As I also suggested earlier, we can do without the result object - just pass-in the sets to prepareToFoldTailByMasking and add new methods to LoopVectorizationLegal to add elements to the MaskedOp/ConditionalAssumes sets. This is the simplest fix, but maybe not the cleanest.

Either solution is fine for me, but I'll need some guidance on how to refactor computeMaxVF properly if you prefer the first solution.

[Ayal]

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1233

Right. Instead of introducing an early call to prepareToFoldTail(), before knowing MaxVF and if there's a tail to fold or else the preparation should be undone, how about waiting until the original call to prepareToFoldTail() fails. Then, before bailing-out, check if the status is CM_ScalarEpilogueNotNeededUsePredicate and if so return MaxVF instead?

Note BTW that D80085 should hopefully land soon.

[Pierre-vh]

• Changing implementation of the patch following discussion
• Removed the ReportFailure argument of prepareToFoldTailByMasking. I don't think it's useful anymore, but feedback is welcome. (The only thing that annoys me is that we now print "loop not vectorized" even when we'll fallback to a scalar epilogue)
• Added a test that makes use of the attribute that enables tail-folding
• Simplified tests

[Ayal]

In D79783#2043479, @Pierre-vh wrote:

• Changing implementation of the patch following discussion
• Removed the ReportFailure argument of prepareToFoldTailByMasking. I don't think it's useful anymore, but feedback is welcome. (The only thing that annoys me is that we now print "loop not vectorized" even when we'll fallback to a scalar epilogue)

Right, as commented earlier, an "analysis" message should be reported when fold-tail doesn't work, instead of a "failure" one.

• Added a test that makes use of the attribute that enables tail-folding
• Simplified tests

Would be good to also preserve the existing "force-vector-tail-folding" behavior of "fold or do not vectorize", in addition to introducing the new "prefer-vector-tail-folding" behavior.

llvm/include/llvm/Transforms/Vectorize/LoopVectorizationLegality.h

383

(Would have been good to set defaults, but using nullptr's seems cumbersome.)

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1271

Rename e.g. with Tmp or FoldTail prefix to distinguish from the non fold-tail sets?

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

Why change ScalarEpilogueStatus?

llvm/test/Transforms/LoopVectorize/use-scalar-epilogue-if-tp-fails.ll

6

"TP is forced" >> "tail folding is preferred"
"tail-predicated" >> "tail folding".

If "tail-predication" is preferred, it should replace "tail folding" throughout. But a tail can be predicated w/o folding it, so FoldTail or in full FoldTailByMasking seems more accurate?

11

"forces" >> "specifies fold-tail preference via metadata"

[Pierre-vh]

• Addressed comments (see items marked as "done")
• Changed "reportVectorizationFailure" calls in "prepareTailFoldingByMasking" into simple debug prints.

Would be good to also preserve the existing "force-vector-tail-folding" behavior of "fold or do not vectorize", in addition to introducing the new "prefer-vector-tail-folding" behavior.

What is your preferred solution for this? Here are some ideas:

• Add a new command-line switch that acts like the old -prefer-predicate-over-epilog, something like -force-predicate-over-epilog
• Add an additional switch to use with -prefer-predicate-over-epilog to disable the fallback behaviour, such as -disable-scalar-epilog-fallback
• Keep the old -prefer-predicate-over-epilog behaviour and only fallback when TTI requested tail-folding

[Ayal]

In D79783#2044036, @Pierre-vh wrote:

• Addressed comments (see items marked as "done")
• Changed "reportVectorizationFailure" calls in "prepareTailFoldingByMasking" into simple debug prints.

Would be good to also preserve the existing "force-vector-tail-folding" behavior of "fold or do not vectorize", in addition to introducing the new "prefer-vector-tail-folding" behavior.

What is your preferred solution for this? Here are some ideas:

• Add a new command-line switch that acts like the old -prefer-predicate-over-epilog, something like -force-predicate-over-epilog
• Add an additional switch to use with -prefer-predicate-over-epilog to disable the fallback behaviour, such as -disable-scalar-epilog-fallback
• Keep the old -prefer-predicate-over-epilog behaviour and only fallback when TTI requested tail-folding

Perhaps either (the first option of) a new command-line switch e.g. -force-vector-tail-folding, or a value added to -prefer-predicate-over-epilog=x indicating the "strength" of the preference.
Adding a matching pragma/metadata would also be nice.
Better avoid adding a new TTI hook, which will not be exercised by any in-tree target, right?

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

1257

Would be good to also have an ORE report similar to the original one, except as an analysis rather than failure.

1271

Can add a comment what these sets are for.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

Why change ScalarEpilogueStatus?

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

(Sorry, forgot to post this comment)
It seems to be needed, my tests don't pass if unless I change it (they have conflicting ASM for both run lines, and the content is different)

[Ayal]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

Add -check-prefix to the FileCheck of one of the runs?
https://llvm.org/docs/CommandGuide/FileCheck.html#cmdoption-filecheck-check-prefix

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

This is what's added when I don't change ScalarEpilogueStatus, and it's set to ScalarEpilogueNotNeededUsePredicate:

; CHECK-NEXT:    [[BROADCAST_SPLATINSERT:%.*]] = insertelement <4 x i32> undef, i32 [[OFFSET_IDX]], i32 0
; CHECK-NEXT:    [[BROADCAST_SPLAT:%.*]] = shufflevector <4 x i32> [[BROADCAST_SPLATINSERT]], <4 x i32> undef, <4 x i32> zeroinitializer
; CHECK-NEXT:    [[INDUCTION:%.*]] = add <4 x i32> [[BROADCAST_SPLAT]], <i32 0, i32 -1, i32 -2, i32 -3>

It's because of this in InnerLoopVectorizer::widenIntOrFpInduction in LoopVectorize.cpp:1920

// All IV users are scalar instructions, so only emit a scalar IV, not a
// vectorised IV. Except when we tail-fold, then the splat IV feeds the
// predicate used by the masked loads/stores.
if (!Cost->isScalarEpilogueAllowed()) // ScalarEpilogueStatus == CM_ScalarEpilogueAllowed
  CreateSplatIV(ScalarIV, Step);

I am guessing that this should be using Cost->foldTailByMasking() instead, which returns the FoldTailByMasking boolean instead of looking at ScalarEpilogueStatus.

[Pierre-vh]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

After looking a bit more into it:

• Changing !Cost->isScalarEpilogueAllowed() to Cost->foldTailByMasking() does not solve the issue entirely, it causes multiple test failures.
• The INDUCTION variable is unused, so this bit of code definitely shouldn't be there.

Solution is either to change the ScalarEpilogueStatus, or find out why Cost->foldTailByMasking() doesn't work as expected.
The tests that fail are:

Failing Tests (3):
  LLVM :: Transforms/LoopVectorize/X86/constant-fold.ll
  LLVM :: Transforms/LoopVectorize/X86/vect.omp.force.small-tc.ll
  LLVM :: Transforms/LoopVectorize/pr44488-predication.ll

Which all seem to expect this "INDUCTION" variable, one way or another. However, interestingly, the tests don't use the INDUCTION instruction at all, so maybe it's a bug? (Everytime there's a failure in one of those test, it's in a place where those 3 lines are expected, but not used at all)

[Ayal]

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5045

So now we know why ScalarEpilogueStatus needed to change...

@SjoerdMeijer tried to remove that presumably redundant call to CreateSplatIV() in D78911, recommitting it later under ScalarEpilogueStatus in rG9529597cf4562c64034943dacc29a4ff4fe93d86. We're still trying to figure out how to remove it: http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20200518/784362.html

I am guessing that this should be using Cost->foldTailByMasking() instead, which returns the FoldTailByMasking boolean instead of looking at ScalarEpilogueStatus.

guess so too, along with needed test fixings. Sjoerd, what do you think?

[SjoerdMeijer]

Hi Ayal, thanks again for looking at this. I am taking over this patch as Pierre has finished his rotation in our team. This patch is part of our tail-predication story, and is the highest on my list. I will pick this up tomorrow as today is a bank holiday here.

[SjoerdMeijer]

Hi @Ayal , with a bit of delay, I am almost ready to pick this up. Regarding your comments on rG9529597cf4562c64034943dacc29a4ff4fe93d86, I've copied them here below as I thought that would be more convenient, but let me know if you would like to move it to elsewhere. Anyway, I am now going to look into your comments, these ones:

This omission of Primary Induction Phi's from Scalars in collectLoopScalars(), under foldTail:

// An induction variable will remain scalar if all users of the induction
// variable and induction variable update remain scalar.
...
+    // If tail-folding is applied, the primary induction variable will be used
+    // to feed a vector compare.
+    if (Ind == Legal->getPrimaryInduction() && foldTailByMasking())
+      continue;

should have led widenIntOrFpInduction() to take the following early-exit for Phi's that are not in Scalars:

// Try to create a new independent vector induction variable. If we can't
// create the phi node, we will splat the scalar induction variable in each
// loop iteration.
if (!shouldScalarizeInstruction(EntryVal)) {

rather than reaching CreateSplatIV() at the end.

Perhaps the regressions occur when EntryVal is the Trunc rather than the IV Phi?
If so, one remedy may be to also omit Trunc from Scalars; another may be to check if (!shouldScalarizeInstruction(IV) instead-of or in addition to if (!shouldScalarizeInstruction(EntryVal)).

Is there a short reproducer?

[SjoerdMeijer]

In D79783#2057310, @SjoerdMeijer wrote:

Hi @Ayal , with a bit of delay, I am almost ready to pick this up. Regarding your comments on rG9529597cf4562c64034943dacc29a4ff4fe93d86, I've copied them here below as I thought that would be more convenient, but let me know if you would like to move it to elsewhere. Anyway, I am now going to look into your comments, these ones:

This omission of Primary Induction Phi's from Scalars in collectLoopScalars(), under foldTail:

// An induction variable will remain scalar if all users of the induction
// variable and induction variable update remain scalar.
...
+    // If tail-folding is applied, the primary induction variable will be used
+    // to feed a vector compare.
+    if (Ind == Legal->getPrimaryInduction() && foldTailByMasking())
+      continue;

should have led widenIntOrFpInduction() to take the following early-exit for Phi's that are not in Scalars:

// Try to create a new independent vector induction variable. If we can't
// create the phi node, we will splat the scalar induction variable in each
// loop iteration.
if (!shouldScalarizeInstruction(EntryVal)) {

rather than reaching CreateSplatIV() at the end.

Perhaps the regressions occur when EntryVal is the Trunc rather than the IV Phi?
If so, one remedy may be to also omit Trunc from Scalars; another may be to check if (!shouldScalarizeInstruction(IV) instead-of or in addition to if (!shouldScalarizeInstruction(EntryVal)).

Is there a short reproducer?

Yep, function @foo_optsize() in test/Transforms/LoopVectorize/X86/optsize.ll is a minimal example. It will be miscompiled with these 2 lines commented out that I added:

diff --git a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
index ec756671ea6..d39795627ec 100644
--- a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+++ b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
@@ -1917,8 +1917,8 @@ void InnerLoopVectorizer::widenIntOrFpInduction(PHINode *IV, TruncInst *Trunc) {
   // vectorised IV. Except when we tail-fold, then the splat IV feeds the
   // predicate used by the masked loads/stores.
   Value *ScalarIV = CreateScalarIV(Step);
-  if (!Cost->isScalarEpilogueAllowed())
-    CreateSplatIV(ScalarIV, Step);
+  //if (!Cost->isScalarEpilogueAllowed())
+  //  CreateSplatIV(ScalarIV, Step);
   buildScalarSteps(ScalarIV, Step, EntryVal, ID);
 }

The miscompilation is that we don't emit:

%induction = add <64 x i32> %broadcast.splat, <i32 0, i32 1, ...

and the icmp is incorrectly performed against:

%2 = icmp ule <64 x i32> %broadcast.splat, <i32 202, i32 202, ...

which should have been:

%2 = icmp ule <64 x i32> %induction, <i32 202, i32 202, ...

it indeed doesn't take the early exit:

// Try to create a new independent vector induction variable. If we can't
// create the phi node, we will splat the scalar induction variable in each              
// loop iteration.
if (!shouldScalarizeInstruction(EntryVal)) {

I need to look again if this makes sense or not.

[SjoerdMeijer]

Caught up on all previous messages, and I believe missing in this patch is control over some of the decision making of this old and new behaviour. Rather than introducing yet another option, I liked @Ayal 's suggestion:

value added to -prefer-predicate-over-epilog=x indicating the "strength" of the preference.

for which I will introduce these values/options:

• x = 1: vectorize if we can't fail-fold,
• x = 2 : don't vectorize if we can't tail-fold

I think this models the "strength" of the vector tail-folding preference.

[SjoerdMeijer]

Changed -prefer-predicate-over-epilog to take a numeric value, corresponding to the preferred predication and fallback strategy.

[SjoerdMeijer]

Changed option -prefer-predicate-over-epilog to accept a more descriptive value rather than a cryptic numeric value.

Also a friendly ping. :-)

[dmgreen]

Is the idea to turn this option on by default for MVE? Maybe by changing the preferPredicateOverEpilogue call?

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

188

-> there are different ...

197

Epilog -> Epilogue?

207

Maybe call this predicate-else-scalar-epilog.

208

-> "prefer tail-folding, create scalar epilogue if tail folding fails" ?

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-counting-down.ll

2 ↗

(On Diff #278125)

What happens if we change this to predicate-vectorize? Would that be a better option for MVE? (or is that not what this test is really aiming to test?)

[SjoerdMeijer]

Thanks for looking at this Dave. This addresses:

• the minor comments, the rewording of comments/option,
• restores 2 new regression tests that I forgot to upload in the previous diff.

Is the idea to turn this option on by default for MVE? Maybe by changing the preferPredicateOverEpilogue call?

So that was definitely the idea, that was the motivation of this prep work here.
I was thinking of addressing that in a follow up patch, because that is a different functional change, and then we can also discuss how to enable this. I.e., preferPredicateOverEpilogue would be one way to do it, another way is to flip the switch and default to falling back to vectorisation, which seems to me what most targets would want actually, but perhaps I am wrong and should get some performance numbers for this.

[dmgreen]

@SjoerdMeijer I ran into a potential use for this patch in the reduction code I was working on. I think this looks good in general I just had a question about the fallback stratergy.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

200–201

We should probably pick a single spelling of epilog and stick to it. At least in the same option!
Epilog is nice because it's shorter, but Epilogue seems to be the more common choice?

But feel free to ignore too if you like.

5043

So if I understand this logic properly, the loop hint or the targethook now both mean "try tailpredicate but fall back to vectorize if you can't". The PreferPredicateOverEpilogue option can mean "only tail predicate" or "try tailpredicate, fallback if needed" depending on the choice of the option? (I had not originally realized that was already how this worked for the target hook.)

Do we want the pragma and targethook to always work like that? Or is it worth giving the target hook a choice between the two options. I suspect for MVE we would always want to choose the "with fallback" option, so maybe it's not worth adding?

If we did, we could possibly add another ScalarEpilogueStatus value, to not have to recheck PreferPredicateOverEpilogue or the target hook here.

[SjoerdMeijer]

Thanks for looking Dave.
I am addressing your remarks, also find some replies inline.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

200–201

No, good point!

I honestly don't know what it should be and have no opinion on it, but I will go for the common case epilogue.

5043

So if I understand this logic properly, the loop hint or the targethook now both mean "try tailpredicate but fall back to vectorize if you can't". The PreferPredicateOverEpilogue option can mean "only tail predicate" or "try tailpredicate, fallback if needed" depending on the choice of the option? (I had not originally realized that was already how this worked for the target hook.)

Yep, that is exactly right I think.

Do we want the pragma and targethook to always work like that? Or is it worth giving the target hook a choice between the two options. I suspect for MVE we would always want to choose the "with fallback" option, so maybe it's not worth adding?

My first and perhaps naive thoughts were that we always want to vectorise, so set that as the fallback, because I thought this was guaranteed to be a win. But then some benchmarks proved me wrong. From a first look, however, this is just exposing some inefficiencies elsewhere. So, I still think it is the right choice to make in the end.

The way I look at this patch is that this is an enabler, and if we want to flip the switch by default somehow, then that's probably best done as a follow up of this groundwork.

[dmgreen]

If you do something about the spelling of epilog, then this looks good to me.

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

5043

I think this probably does what we want for MVE, and seems like a sensible default.

[SjoerdMeijer]

Thanks Dave, I will fix the spelling before committing.

llvm/include/llvm/Transforms/Vectorize/LoopVectorizationLegality.h

public:
   /// Temporarily taking UseVPlanNativePath parameter. If true, take
   /// the new code path being implemented for outer loop vectorization
   /// (should be functional for inner loop vectorization) based on VPlan.
   /// If false, good old LV code.
   bool canVectorize(bool UseVPlanNativePath);
 
   /// Return true if we can vectorize this loop while folding its tail by
   /// masking, and mark all respective loads/stores for masking.
-  bool prepareToFoldTailByMasking();
+  /// If SoftFailure is true, then failures won't be considered as vectorization
+  /// failures.
+  bool prepareToFoldTailByMasking(bool SoftFailure = false);
+
+  /// Abandons tail-folding by masking: clears the sets of masked operations and
+  /// conditional assumes.
+  void abandonTailFoldingByMasking() {
+    MaskedOp.clear();
+    ConditionalAssumes.clear();
+  }
 
   /// Returns the primary induction variable.
   PHINode *getPrimaryInduction() { return PrimaryInduction; }
 
   /// Returns the reduction variables found in the loop.
   ReductionList &getReductionVars() { return Reductions; }
 
   /// Returns the induction variables found in the loop.
private:
   /// is true. This can happen when we introduces guards for which the original
   /// "unguarded-loads are safe" assumption does not hold. For example, the
   /// vectorizer's fold-tail transformation changes the loop to execute beyond
   /// its original trip-count, under a proper guard, which should be preserved.
   /// \p SafePtrs is a list of addresses that are known to be legal and we know
   /// that we can read from them without segfault.
   bool blockCanBePredicated(BasicBlock *BB, SmallPtrSetImpl<Value *> &SafePtrs,
                             bool PreserveGuards = false);
 
   /// Updates the vectorization state by adding \p Phi to the inductions list.
   /// This can set \p Phi as the main induction of the loop if \p Phi is a
   /// better choice for the main induction than the existing one.
   void addInductionPhi(PHINode *Phi, const InductionDescriptor &ID,
                        SmallPtrSetImpl<Value *> &AllowedExit);
 
   /// If an access has a symbolic strides, this maps the pointer value to
   /// the stride symbol.

llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp

bool LoopVectorizationLegality::canVectorize(bool UseVPlanNativePath) {
 
   // Okay! We've done all the tests. If any have failed, return false. Otherwise
   // we can vectorize, and at this point we don't have any other mem analysis
   // which may limit our maximum vectorization factor, so just return true with
   // no restrictions.
   return Result;
 }
 
-bool LoopVectorizationLegality::prepareToFoldTailByMasking() {
+bool LoopVectorizationLegality::prepareToFoldTailByMasking(bool SoftFailure) {
 
   LLVM_DEBUG(dbgs() << "LV: checking if tail can be folded by masking.\n");
 
   SmallPtrSet<const Value *, 8> ReductionLiveOuts;
 
   for (auto &Reduction : getReductionVars())
     ReductionLiveOuts.insert(Reduction.second.getLoopExitInstr());
 
   // TODO: handle non-reduction outside users when tail is folded by masking.
   for (auto *AE : AllowedExit) {
     // Check that all users of allowed exit values are inside the loop or
     // are the live-out of a reduction.
     if (ReductionLiveOuts.count(AE))
       continue;
     for (User *U : AE->users()) {
       Instruction *UI = cast<Instruction>(U);
       if (TheLoop->contains(UI))
         continue;
+      if (SoftFailure) {
+        LLVM_DEBUG(
+            dbgs()
+            << "LV: Cannot fold tail by masking, loop has an outside user for "
+            << *UI << "\n");
+      } else {
         reportVectorizationFailure(
             "Cannot fold tail by masking, loop has an outside user for",
             "Cannot fold tail by masking in the presence of live outs.",
             "LiveOutFoldingTailByMasking", ORE, TheLoop, UI);
+      }
       return false;
     }
   }
 
   // The list of pointers that we can safely read and write to remains empty.
   SmallPtrSet<Value *, 8> SafePointers;
 
   // Check and mark all blocks for predication, including those that ordinarily
   // do not need predication such as the header block.
   for (BasicBlock *BB : TheLoop->blocks()) {
     if (!blockCanBePredicated(BB, SafePointers, /* MaskAllLoads= */ true)) {
+      if (SoftFailure) {
+        LLVM_DEBUG(dbgs() << "LV: Cannot fold tail by masking\n");
+      } else {
         reportVectorizationFailure(
             "Cannot fold tail by masking as required",
-          "control flow cannot be substituted for a select",
-          "NoCFGForSelect", ORE, TheLoop,
-          BB->getTerminator());
+            "control flow cannot be substituted for a select", "NoCFGForSelect",
+            ORE, TheLoop, BB->getTerminator());
+      }
       return false;
     }
   }
 
   LLVM_DEBUG(dbgs() << "LV: can fold tail by masking.\n");
   return true;
 }
 
 } // namespace llvm

llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

 
 // Indicates that an epilogue is undesired, predication is preferred.
 // This means that the vectorizer will try to fold the loop-tail (epilogue)
 // into the loop and predicate the loop body accordingly.
 static cl::opt<bool> PreferPredicateOverEpilog(
     "prefer-predicate-over-epilog", cl::init(false), cl::Hidden,
     cl::desc("Indicate that an epilogue is undesired, predication should be "
              "used instead."));
 
 static cl::opt<bool> MaximizeBandwidth(
     "vectorizer-maximize-bandwidth", cl::init(false), cl::Hidden,
     cl::desc("Maximize bandwidth when selecting vectorization factor which "
              "will be determined by the smallest type in loop."));
 
 static cl::opt<bool> EnableInterleavedMemAccesses(
     "enable-interleaved-mem-accesses", cl::init(false), cl::Hidden,
     cl::desc("Enable vectorization on interleaved memory accesses in a loop"));
 
 /// An interleave-group may need masking if it resides in a block that needs
 /// predication, or in order to mask away gaps. 
 static cl::opt<bool> EnableMaskedInterleavedMemAccesses(
     "enable-masked-interleaved-mem-accesses", cl::init(false), cl::Hidden,
     cl::desc("Enable vectorization on masked interleaved memory accesses in a loop"));
 
 static cl::opt<unsigned> TinyTripCountInterleaveThreshold(
     "tiny-trip-count-interleave-threshold", cl::init(128), cl::Hidden,
     cl::desc("We don't interleave loops with a estimated constant trip count "
              "below this number"));
 
 static cl::opt<unsigned> ForceTargetNumScalarRegs(
     "force-target-num-scalar-regs", cl::init(0), cl::Hidden,
     cl::desc("A flag that overrides the target's number of scalar registers."));
 
 static cl::opt<unsigned> ForceTargetNumVectorRegs(
     "force-target-num-vector-regs", cl::init(0), cl::Hidden,
     cl::desc("A flag that overrides the target's number of vector registers."));
 
Optional<unsigned> LoopVectorizationCostModel::computeMaxVF() {
   LLVM_DEBUG(dbgs() << "LV: Found trip count: " << TC << '\n');
   if (TC == 1) {
     reportVectorizationFailure("Single iteration (non) loop",
         "loop trip count is one, irrelevant for vectorization",
         "SingleIterationLoop", ORE, TheLoop);
     return None;
   }
 
+  // If a hint/switch to use tail-predication is found, check early if
+  // tail-predication is actually possible. Else, fallback to a scalar epilogue.
+  if (ScalarEpilogueStatus == CM_ScalarEpilogueNotNeededUsePredicate) {
+    LLVM_DEBUG(dbgs() << "LV: Vector predicate hint/switch found.\n");
+
+    if (Legal->prepareToFoldTailByMasking(/*SoftFailure=*/true))
+      FoldTailByMasking = true;
+    else {
+      LLVM_DEBUG(
+          dbgs() << "LV: Loop does not support tail-predication, ignoring "
+                    "hint/switch and falling back to a scalar epilogue.\n");
+      Legal->abandonTailFoldingByMasking();
+      ScalarEpilogueStatus = CM_ScalarEpilogueAllowed;
+    }
+  }
+
   switch (ScalarEpilogueStatus) {
   case CM_ScalarEpilogueAllowed:
     return computeFeasibleMaxVF(TC);
   case CM_ScalarEpilogueNotNeededUsePredicate:
     LLVM_DEBUG(
-        dbgs() << "LV: vector predicate hint/switch found.\n"
-               << "LV: Not allowing scalar epilogue, creating predicated "
+        dbgs() << "LV: Not allowing scalar epilogue, creating predicated "
                << "vector loop.\n");
     break;
   case CM_ScalarEpilogueNotAllowedLowTripLoop:
     // fallthrough as a special case of OptForSize
   case CM_ScalarEpilogueNotAllowedOptSize:
     if (ScalarEpilogueStatus == CM_ScalarEpilogueNotAllowedOptSize)
       LLVM_DEBUG(
           dbgs() << "LV: Not allowing scalar epilogue due to -Os/-Oz.\n");
if (!useMaskedInterleavedAccesses(TTI)) {
     // non where taken so far.
     InterleaveInfo.invalidateGroupsRequiringScalarEpilogue();
   }
 
   unsigned MaxVF = computeFeasibleMaxVF(TC);
   if (TC > 0 && TC % MaxVF == 0) {
     // Accept MaxVF if we do not have a tail.
     LLVM_DEBUG(dbgs() << "LV: No tail will remain for any chosen VF.\n");
+    // Cleanup if we already planned to fold the tail.
+    if (FoldTailByMasking) {
+      Legal->abandonTailFoldingByMasking();
+      FoldTailByMasking = false;
+    }
     return MaxVF;
   }
 
+  if (FoldTailByMasking)
+    return MaxVF;
+
   // If we don't know the precise trip count, or if the trip count that we
   // found modulo the vectorization factor is not zero, try to fold the tail
   // by masking.
   // FIXME: look for a smaller MaxVF that does divide TC rather than masking.
   if (Legal->prepareToFoldTailByMasking()) {
     FoldTailByMasking = true;
     return MaxVF;
   }
 
   if (TC == 0) {
     reportVectorizationFailure(
         "Unable to calculate the loop count due to complex control flow",
         "unable to calculate the loop count due to complex control flow",
         "UnknownLoopCountComplexCFG", ORE, TheLoop);
     return None;
   }
 
   reportVectorizationFailure(
       "Cannot optimize for size and vectorize at the same time.",
       "cannot optimize for size and vectorize at the same time. "
       "Enable vectorization of this loop with '#pragma clang loop "
       "vectorize(enable)' when compiling with -Os/-Oz",
       "NoTailLoopWithOptForSize", ORE, TheLoop);

llvm/test/Transforms/LoopVectorize/ARM/tail-folding-scalar-epilogue-fallback.ll

+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -loop-vectorize -mattr=+armv8.1-m.main,+mve.fp -disable-mve-tail-predication=false < %s | FileCheck %s
+; RUN: opt -S -loop-vectorize -mattr=+armv8.1-m.main,+mve.fp -disable-mve-tail-predication=true < %s | FileCheck %s
+
+; This test should produce the same result (vectorized loop + scalar epilogue) with
+; default options and when MVE Tail Predication is enabled.
+
+target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
+target triple = "thumbv8.1m.main-arm-unknown-eabihf"
+
+define void @foo(i8* nocapture readonly %ptr, i32 %size, i8** %pos) {
+; CHECK-LABEL: @foo(
+; CHECK-NEXT:  cond.preheader:
+; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[SIZE:%.*]], 0
+; CHECK-NEXT:    [[BC:%.*]] = bitcast i8** [[POS:%.*]] to i32*
+; CHECK-NEXT:    [[LD:%.*]] = load i32, i32* [[BC]], align 4
+; CHECK-NEXT:    [[ITO:%.*]] = inttoptr i32 [[LD]] to i8*
+; CHECK-NEXT:    br i1 [[TOBOOL]], label [[END:%.*]], label [[BODY_PREHEADER:%.*]]
+; CHECK:       body.preheader:
+; CHECK-NEXT:    [[DEC62:%.*]] = add nsw i32 [[SIZE]], -1
+; CHECK-NEXT:    [[TMP0:%.*]] = load i8, i8* [[PTR:%.*]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR1363:%.*]] = getelementptr inbounds i8, i8* [[ITO]], i32 1
+; CHECK-NEXT:    store i8* [[INCDEC_PTR1363]], i8** [[POS]], align 4
+; CHECK-NEXT:    store i8 [[TMP0]], i8* [[ITO]], align 1
+; CHECK-NEXT:    [[TOBOOL1164:%.*]] = icmp eq i32 [[DEC62]], 0
+; CHECK-NEXT:    br i1 [[TOBOOL1164]], label [[END_LOOPEXIT:%.*]], label [[BODY_CRIT_EDGE_CHECK:%.*]]
+; CHECK:       body_crit_edge.check:
+; CHECK-NEXT:    [[SCEVGEP67:%.*]] = bitcast i8** [[POS]] to i8*
+; CHECK-NEXT:    [[SCEVGEP69:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[SIZE]]
+; CHECK-NEXT:    [[BOUND0:%.*]] = icmp ugt i8* [[SCEVGEP69]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[BOUND1:%.*]] = icmp ugt i8* [[SCEVGEP67]], [[PTR]]
+; CHECK-NEXT:    [[FOUND_CONFLICT:%.*]] = and i1 [[BOUND1]], [[BOUND0]]
+; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[SIZE]], -2
+; CHECK-NEXT:    [[PTR0:%.*]] = load i8*, i8** [[POS]], align 4
+; CHECK-NEXT:    [[PTI:%.*]] = ptrtoint i8* [[PTR0]] to i32
+; CHECK-NEXT:    [[PA:%.*]] = and i32 [[PTI]], -4
+; CHECK-NEXT:    [[P0S:%.*]] = inttoptr i32 [[PA]] to i8*
+; CHECK-NEXT:    [[INCDEC_PTR13_P0E:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP1]]
+; CHECK-NEXT:    [[BOUND070:%.*]] = icmp ule i8* [[P0S]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[BOUND171:%.*]] = icmp uge i8* [[INCDEC_PTR13_P0E]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[FOUND_CONFLICT72:%.*]] = and i1 [[BOUND171]], [[BOUND070]]
+; CHECK-NEXT:    [[CONFLICT_RDX:%.*]] = or i1 [[FOUND_CONFLICT]], [[FOUND_CONFLICT72]]
+; CHECK-NEXT:    br i1 [[CONFLICT_RDX]], label [[BODY_CRIT_EDGE_ORIG:%.*]], label [[BODY_CRIT_EDGE_PREHEADER:%.*]]
+; CHECK:       body_crit_edge.preheader:
+; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[SIZE]], -1
+; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i32 [[TMP2]], 16
+; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_MEMCHECK:%.*]]
+; CHECK:       vector.memcheck:
+; CHECK-NEXT:    [[TMP3:%.*]] = add i32 [[SIZE]], -1
+; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP3]]
+; CHECK-NEXT:    [[SCEVGEP1:%.*]] = getelementptr i8, i8* [[PTR]], i32 1
+; CHECK-NEXT:    [[SCEVGEP2:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[SIZE]]
+; CHECK-NEXT:    [[BOUND03:%.*]] = icmp ult i8* [[PTR0]], [[SCEVGEP2]]
+; CHECK-NEXT:    [[BOUND14:%.*]] = icmp ult i8* [[SCEVGEP1]], [[SCEVGEP]]
+; CHECK-NEXT:    [[FOUND_CONFLICT5:%.*]] = and i1 [[BOUND03]], [[BOUND14]]
+; CHECK-NEXT:    [[MEMCHECK_CONFLICT:%.*]] = and i1 [[FOUND_CONFLICT5]], true
+; CHECK-NEXT:    br i1 [[MEMCHECK_CONFLICT]], label [[SCALAR_PH]], label [[VECTOR_PH:%.*]]
+; CHECK:       vector.ph:
+; CHECK-NEXT:    [[N_MOD_VF:%.*]] = urem i32 [[TMP2]], 16
+; CHECK-NEXT:    [[N_VEC:%.*]] = sub i32 [[TMP2]], [[N_MOD_VF]]
+; CHECK-NEXT:    [[IND_END:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[N_VEC]]
+; CHECK-NEXT:    [[IND_END7:%.*]] = sub i32 [[DEC62]], [[N_VEC]]
+; CHECK-NEXT:    [[IND_END9:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[N_VEC]]
+; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]
+; CHECK:       vector.body:
+; CHECK-NEXT:    [[INDEX:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]
+; CHECK-NEXT:    [[TMP4:%.*]] = add i32 [[INDEX]], 0
+; CHECK-NEXT:    [[NEXT_GEP:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP4]]
+; CHECK-NEXT:    [[OFFSET_IDX:%.*]] = sub i32 [[DEC62]], [[INDEX]]
+; CHECK-NEXT:    [[BROADCAST_SPLATINSERT:%.*]] = insertelement <16 x i32> undef, i32 [[OFFSET_IDX]], i32 0
+; CHECK-NEXT:    [[BROADCAST_SPLAT:%.*]] = shufflevector <16 x i32> [[BROADCAST_SPLATINSERT]], <16 x i32> undef, <16 x i32> zeroinitializer
+; CHECK-NEXT:    [[INDUCTION:%.*]] = add <16 x i32> [[BROADCAST_SPLAT]], <i32 0, i32 -1, i32 -2, i32 -3, i32 -4, i32 -5, i32 -6, i32 -7, i32 -8, i32 -9, i32 -10, i32 -11, i32 -12, i32 -13, i32 -14, i32 -15>
+; CHECK-NEXT:    [[TMP5:%.*]] = add i32 [[OFFSET_IDX]], 0
+; CHECK-NEXT:    [[TMP6:%.*]] = add i32 [[INDEX]], 0
+; CHECK-NEXT:    [[NEXT_GEP10:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[TMP6]]
+; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[NEXT_GEP10]], i32 1
+; CHECK-NEXT:    [[TMP8:%.*]] = getelementptr inbounds i8, i8* [[TMP7]], i32 0
+; CHECK-NEXT:    [[TMP9:%.*]] = bitcast i8* [[TMP8]] to <16 x i8>*
+; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <16 x i8>, <16 x i8>* [[TMP9]], align 1, !alias.scope !0
+; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr inbounds i8, i8* [[NEXT_GEP]], i32 1
+; CHECK-NEXT:    [[TMP11:%.*]] = getelementptr i8, i8* [[NEXT_GEP]], i32 0
+; CHECK-NEXT:    [[TMP12:%.*]] = bitcast i8* [[TMP11]] to <16 x i8>*
+; CHECK-NEXT:    store <16 x i8> [[WIDE_LOAD]], <16 x i8>* [[TMP12]], align 1, !alias.scope !3, !noalias !0
+; CHECK-NEXT:    [[INDEX_NEXT]] = add i32 [[INDEX]], 16
+; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i32 [[INDEX_NEXT]], [[N_VEC]]
+; CHECK-NEXT:    br i1 [[TMP13]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop !5
+; CHECK:       middle.block:
+; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i32 [[TMP2]], [[N_VEC]]
+; CHECK-NEXT:    br i1 [[CMP_N]], label [[END_LOOPEXIT_LOOPEXIT:%.*]], label [[SCALAR_PH]]
+; CHECK:       scalar.ph:
+; CHECK-NEXT:    [[BC_RESUME_VAL:%.*]] = phi i8* [ [[IND_END]], [[MIDDLE_BLOCK]] ], [ [[PTR0]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[PTR0]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    [[BC_RESUME_VAL6:%.*]] = phi i32 [ [[IND_END7]], [[MIDDLE_BLOCK]] ], [ [[DEC62]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[DEC62]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    [[BC_RESUME_VAL8:%.*]] = phi i8* [ [[IND_END9]], [[MIDDLE_BLOCK]] ], [ [[PTR]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[PTR]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    br label [[BODY_CRIT_EDGE:%.*]]
+; CHECK:       body_crit_edge.orig:
+; CHECK-NEXT:    [[INCDEC_PTR_ORIG:%.*]] = getelementptr inbounds i8, i8* [[PTR]], i32 1
+; CHECK-NEXT:    [[DEC_ORIG:%.*]] = add nsw i32 [[DEC62]], -1
+; CHECK-NEXT:    [[TMP14:%.*]] = load i8, i8* [[INCDEC_PTR_ORIG]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR13_ORIG:%.*]] = getelementptr inbounds i8, i8* [[PTR0]], i32 1
+; CHECK-NEXT:    store i8* [[INCDEC_PTR13_ORIG]], i8** [[POS]], align 4
+; CHECK-NEXT:    store i8 [[TMP14]], i8* [[PTR0]], align 1
+; CHECK-NEXT:    [[TOBOOL11_ORIG:%.*]] = icmp eq i32 [[DEC_ORIG]], 0
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       body_crit_edge:
+; CHECK-NEXT:    [[DOTPRE74:%.*]] = phi i8* [ [[INCDEC_PTR13:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[DEC66:%.*]] = phi i32 [ [[DEC:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL6]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[BUFF_06065:%.*]] = phi i8* [ [[INCDEC_PTR:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL8]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[INCDEC_PTR]] = getelementptr inbounds i8, i8* [[BUFF_06065]], i32 1
+; CHECK-NEXT:    [[DEC]] = add nsw i32 [[DEC66]], -1
+; CHECK-NEXT:    [[TMP15:%.*]] = load i8, i8* [[INCDEC_PTR]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR13]] = getelementptr inbounds i8, i8* [[DOTPRE74]], i32 1
+; CHECK-NEXT:    store i8 [[TMP15]], i8* [[DOTPRE74]], align 1
+; CHECK-NEXT:    [[TOBOOL11:%.*]] = icmp eq i32 [[DEC]], 0
+; CHECK-NEXT:    br i1 [[TOBOOL11]], label [[END_LOOPEXIT_LOOPEXIT]], label [[BODY_CRIT_EDGE]], !llvm.loop !7
+; CHECK:       bodyloopexit_crit_edge:
+; CHECK-NEXT:    store i8* [[INCDEC_PTR13_LCSSA:%.*]], i8** [[POS]], align 4
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       end.loopexit.loopexit:
+; CHECK-NEXT:    [[INCDEC_PTR13_LCSSA]] = phi i8* [ [[INCDEC_PTR13]], [[BODY_CRIT_EDGE]] ], [ [[IND_END]], [[MIDDLE_BLOCK]] ]
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       end.loopexit:
+; CHECK-NEXT:    [[DOTPRE61:%.*]] = load i8*, i8** [[POS]], align 4
+; CHECK-NEXT:    br label [[END]]
+; CHECK:       end:
+; CHECK-NEXT:    ret void
+;
+
+cond.preheader:
+  %tobool = icmp eq i32 %size, 0
+  %bc = bitcast i8** %pos to i32*
+  %ld = load i32, i32* %bc, align 4
+  %ito = inttoptr i32 %ld to i8*
+  br i1 %tobool, label %end, label %body.preheader
+
+body.preheader:
+  %dec62 = add nsw i32 %size, -1
+  %0 = load i8, i8* %ptr, align 1
+  %incdec.ptr1363 = getelementptr inbounds i8, i8* %ito, i32 1
+  store i8* %incdec.ptr1363, i8** %pos, align 4
+  store i8 %0, i8* %ito, align 1
+  %tobool1164 = icmp eq i32 %dec62, 0
+  br i1 %tobool1164, label %end.loopexit, label %body_crit_edge.check
+
+body_crit_edge.check:
+  %scevgep67 = bitcast i8** %pos to i8*
+  %scevgep69 = getelementptr i8, i8* %ptr, i32 %size
+  %bound0 = icmp ugt i8* %scevgep69, %scevgep67
+  %bound1 = icmp ugt i8* %scevgep67, %ptr
+  %found.conflict = and i1 %bound1, %bound0
+  %1 = add i32 %size, -2
+  %ptr0 = load i8*, i8** %pos, align 4
+  %pti = ptrtoint i8* %ptr0 to i32
+  %pa = and i32 %pti, -4
+  %p0s = inttoptr i32 %pa to i8*
+  %incdec.ptr13.p0e = getelementptr i8, i8* %ptr0, i32 %1
+  %bound070 = icmp ule i8* %p0s, %scevgep67
+  %bound171 = icmp uge i8* %incdec.ptr13.p0e, %scevgep67
+  %found.conflict72 = and i1 %bound171, %bound070
+  %conflict.rdx = or i1 %found.conflict, %found.conflict72
+  br i1 %conflict.rdx, label %body_crit_edge.orig, label %body_crit_edge
+
+body_crit_edge.orig:
+  %incdec.ptr.orig = getelementptr inbounds i8, i8* %ptr, i32 1
+  %dec.orig = add nsw i32 %dec62, -1
+  %2 = load i8, i8* %incdec.ptr.orig, align 1
+  %incdec.ptr13.orig = getelementptr inbounds i8, i8* %ptr0, i32 1
+  store i8* %incdec.ptr13.orig, i8** %pos, align 4
+  store i8 %2, i8* %ptr0, align 1
+  %tobool11.orig = icmp eq i32 %dec.orig, 0
+  br label %end.loopexit
+
+body_crit_edge:
+  %.pre74 = phi i8* [ %incdec.ptr13, %body_crit_edge ], [ %ptr0, %body_crit_edge.check ]
+  %dec66 = phi i32 [ %dec, %body_crit_edge ], [ %dec62, %body_crit_edge.check ]
+  %buff.06065 = phi i8* [ %incdec.ptr, %body_crit_edge ], [ %ptr, %body_crit_edge.check ]
+  %incdec.ptr = getelementptr inbounds i8, i8* %buff.06065, i32 1
+  %dec = add nsw i32 %dec66, -1
+  %3 = load i8, i8* %incdec.ptr, align 1
+  %incdec.ptr13 = getelementptr inbounds i8, i8* %.pre74, i32 1
+  store i8 %3, i8* %.pre74, align 1
+  %tobool11 = icmp eq i32 %dec, 0
+  br i1 %tobool11, label %end.loopexit, label %body_crit_edge
+
+bodyloopexit_crit_edge:
+  store i8* %incdec.ptr13, i8** %pos, align 4
+  br label %end.loopexit
+
+end.loopexit:
+  %.pre61 = load i8*, i8** %pos, align 4
+  br label %end
+
+end:
+  ret void
+}

llvm/test/Transforms/LoopVectorize/use-scalar-epilogue-if-tp-fails.ll

+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -loop-vectorize -prefer-predicate-over-epilog < %s | FileCheck %s
+; RUN: opt -S -loop-vectorize < %s | FileCheck %s
+
+; This test should produce the same result when TP is forced/disabled, because it
+; can't be tail-predicated, so the vectorizer should fall back to a scalar epilogue.
+
+target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
+
+define void @foo(i8* nocapture readonly %ptr, i32 %size, i8** %pos) {
+; CHECK-LABEL: @foo(
+; CHECK-NEXT:  cond.preheader:
+; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[SIZE:%.*]], 0
+; CHECK-NEXT:    [[BC:%.*]] = bitcast i8** [[POS:%.*]] to i32*
+; CHECK-NEXT:    [[LD:%.*]] = load i32, i32* [[BC]], align 4
+; CHECK-NEXT:    [[ITO:%.*]] = inttoptr i32 [[LD]] to i8*
+; CHECK-NEXT:    br i1 [[TOBOOL]], label [[END:%.*]], label [[BODY_PREHEADER:%.*]]
+; CHECK:       body.preheader:
+; CHECK-NEXT:    [[DEC62:%.*]] = add nsw i32 [[SIZE]], -1
+; CHECK-NEXT:    [[TMP0:%.*]] = load i8, i8* [[PTR:%.*]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR1363:%.*]] = getelementptr inbounds i8, i8* [[ITO]], i32 1
+; CHECK-NEXT:    store i8* [[INCDEC_PTR1363]], i8** [[POS]], align 4
+; CHECK-NEXT:    store i8 [[TMP0]], i8* [[ITO]], align 1
+; CHECK-NEXT:    [[TOBOOL1164:%.*]] = icmp eq i32 [[DEC62]], 0
+; CHECK-NEXT:    br i1 [[TOBOOL1164]], label [[END_LOOPEXIT:%.*]], label [[BODY_CRIT_EDGE_CHECK:%.*]]
+; CHECK:       body_crit_edge.check:
+; CHECK-NEXT:    [[SCEVGEP67:%.*]] = bitcast i8** [[POS]] to i8*
+; CHECK-NEXT:    [[SCEVGEP69:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[SIZE]]
+; CHECK-NEXT:    [[BOUND0:%.*]] = icmp ugt i8* [[SCEVGEP69]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[BOUND1:%.*]] = icmp ugt i8* [[SCEVGEP67]], [[PTR]]
+; CHECK-NEXT:    [[FOUND_CONFLICT:%.*]] = and i1 [[BOUND1]], [[BOUND0]]
+; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[SIZE]], -2
+; CHECK-NEXT:    [[PTR0:%.*]] = load i8*, i8** [[POS]], align 4
+; CHECK-NEXT:    [[PTI:%.*]] = ptrtoint i8* [[PTR0]] to i32
+; CHECK-NEXT:    [[PA:%.*]] = and i32 [[PTI]], -4
+; CHECK-NEXT:    [[P0S:%.*]] = inttoptr i32 [[PA]] to i8*
+; CHECK-NEXT:    [[INCDEC_PTR13_P0E:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP1]]
+; CHECK-NEXT:    [[BOUND070:%.*]] = icmp ule i8* [[P0S]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[BOUND171:%.*]] = icmp uge i8* [[INCDEC_PTR13_P0E]], [[SCEVGEP67]]
+; CHECK-NEXT:    [[FOUND_CONFLICT72:%.*]] = and i1 [[BOUND171]], [[BOUND070]]
+; CHECK-NEXT:    [[CONFLICT_RDX:%.*]] = or i1 [[FOUND_CONFLICT]], [[FOUND_CONFLICT72]]
+; CHECK-NEXT:    br i1 [[CONFLICT_RDX]], label [[BODY_CRIT_EDGE_ORIG:%.*]], label [[BODY_CRIT_EDGE_PREHEADER:%.*]]
+; CHECK:       body_crit_edge.preheader:
+; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[SIZE]], -1
+; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i32 [[TMP2]], 4
+; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_MEMCHECK:%.*]]
+; CHECK:       vector.memcheck:
+; CHECK-NEXT:    [[TMP3:%.*]] = add i32 [[SIZE]], -1
+; CHECK-NEXT:    [[SCEVGEP:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP3]]
+; CHECK-NEXT:    [[SCEVGEP1:%.*]] = getelementptr i8, i8* [[PTR]], i32 1
+; CHECK-NEXT:    [[SCEVGEP2:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[SIZE]]
+; CHECK-NEXT:    [[BOUND03:%.*]] = icmp ult i8* [[PTR0]], [[SCEVGEP2]]
+; CHECK-NEXT:    [[BOUND14:%.*]] = icmp ult i8* [[SCEVGEP1]], [[SCEVGEP]]
+; CHECK-NEXT:    [[FOUND_CONFLICT5:%.*]] = and i1 [[BOUND03]], [[BOUND14]]
+; CHECK-NEXT:    [[MEMCHECK_CONFLICT:%.*]] = and i1 [[FOUND_CONFLICT5]], true
+; CHECK-NEXT:    br i1 [[MEMCHECK_CONFLICT]], label [[SCALAR_PH]], label [[VECTOR_PH:%.*]]
+; CHECK:       vector.ph:
+; CHECK-NEXT:    [[N_MOD_VF:%.*]] = urem i32 [[TMP2]], 4
+; CHECK-NEXT:    [[N_VEC:%.*]] = sub i32 [[TMP2]], [[N_MOD_VF]]
+; CHECK-NEXT:    [[IND_END:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[N_VEC]]
+; CHECK-NEXT:    [[IND_END7:%.*]] = sub i32 [[DEC62]], [[N_VEC]]
+; CHECK-NEXT:    [[IND_END9:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[N_VEC]]
+; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]
+; CHECK:       vector.body:
+; CHECK-NEXT:    [[INDEX:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]
+; CHECK-NEXT:    [[TMP4:%.*]] = add i32 [[INDEX]], 0
+; CHECK-NEXT:    [[NEXT_GEP:%.*]] = getelementptr i8, i8* [[PTR0]], i32 [[TMP4]]
+; CHECK-NEXT:    [[OFFSET_IDX:%.*]] = sub i32 [[DEC62]], [[INDEX]]
+; CHECK-NEXT:    [[BROADCAST_SPLATINSERT:%.*]] = insertelement <4 x i32> undef, i32 [[OFFSET_IDX]], i32 0
+; CHECK-NEXT:    [[BROADCAST_SPLAT:%.*]] = shufflevector <4 x i32> [[BROADCAST_SPLATINSERT]], <4 x i32> undef, <4 x i32> zeroinitializer
+; CHECK-NEXT:    [[INDUCTION:%.*]] = add <4 x i32> [[BROADCAST_SPLAT]], <i32 0, i32 -1, i32 -2, i32 -3>
+; CHECK-NEXT:    [[TMP5:%.*]] = add i32 [[OFFSET_IDX]], 0
+; CHECK-NEXT:    [[TMP6:%.*]] = add i32 [[INDEX]], 0
+; CHECK-NEXT:    [[NEXT_GEP10:%.*]] = getelementptr i8, i8* [[PTR]], i32 [[TMP6]]
+; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[NEXT_GEP10]], i32 1
+; CHECK-NEXT:    [[TMP8:%.*]] = getelementptr inbounds i8, i8* [[TMP7]], i32 0
+; CHECK-NEXT:    [[TMP9:%.*]] = bitcast i8* [[TMP8]] to <4 x i8>*
+; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <4 x i8>, <4 x i8>* [[TMP9]], align 1, !alias.scope !0
+; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr inbounds i8, i8* [[NEXT_GEP]], i32 1
+; CHECK-NEXT:    [[TMP11:%.*]] = getelementptr i8, i8* [[NEXT_GEP]], i32 0
+; CHECK-NEXT:    [[TMP12:%.*]] = bitcast i8* [[TMP11]] to <4 x i8>*
+; CHECK-NEXT:    store <4 x i8> [[WIDE_LOAD]], <4 x i8>* [[TMP12]], align 1, !alias.scope !3, !noalias !0
+; CHECK-NEXT:    [[INDEX_NEXT]] = add i32 [[INDEX]], 4
+; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i32 [[INDEX_NEXT]], [[N_VEC]]
+; CHECK-NEXT:    br i1 [[TMP13]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop !5
+; CHECK:       middle.block:
+; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i32 [[TMP2]], [[N_VEC]]
+; CHECK-NEXT:    br i1 [[CMP_N]], label [[END_LOOPEXIT_LOOPEXIT:%.*]], label [[SCALAR_PH]]
+; CHECK:       scalar.ph:
+; CHECK-NEXT:    [[BC_RESUME_VAL:%.*]] = phi i8* [ [[IND_END]], [[MIDDLE_BLOCK]] ], [ [[PTR0]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[PTR0]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    [[BC_RESUME_VAL6:%.*]] = phi i32 [ [[IND_END7]], [[MIDDLE_BLOCK]] ], [ [[DEC62]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[DEC62]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    [[BC_RESUME_VAL8:%.*]] = phi i8* [ [[IND_END9]], [[MIDDLE_BLOCK]] ], [ [[PTR]], [[BODY_CRIT_EDGE_PREHEADER]] ], [ [[PTR]], [[VECTOR_MEMCHECK]] ]
+; CHECK-NEXT:    br label [[BODY_CRIT_EDGE:%.*]]
+; CHECK:       body_crit_edge.orig:
+; CHECK-NEXT:    [[INCDEC_PTR_ORIG:%.*]] = getelementptr inbounds i8, i8* [[PTR]], i32 1
+; CHECK-NEXT:    [[DEC_ORIG:%.*]] = add nsw i32 [[DEC62]], -1
+; CHECK-NEXT:    [[TMP14:%.*]] = load i8, i8* [[INCDEC_PTR_ORIG]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR13_ORIG:%.*]] = getelementptr inbounds i8, i8* [[PTR0]], i32 1
+; CHECK-NEXT:    store i8* [[INCDEC_PTR13_ORIG]], i8** [[POS]], align 4
+; CHECK-NEXT:    store i8 [[TMP14]], i8* [[PTR0]], align 1
+; CHECK-NEXT:    [[TOBOOL11_ORIG:%.*]] = icmp eq i32 [[DEC_ORIG]], 0
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       body_crit_edge:
+; CHECK-NEXT:    [[DOTPRE74:%.*]] = phi i8* [ [[INCDEC_PTR13:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[DEC66:%.*]] = phi i32 [ [[DEC:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL6]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[BUFF_06065:%.*]] = phi i8* [ [[INCDEC_PTR:%.*]], [[BODY_CRIT_EDGE]] ], [ [[BC_RESUME_VAL8]], [[SCALAR_PH]] ]
+; CHECK-NEXT:    [[INCDEC_PTR]] = getelementptr inbounds i8, i8* [[BUFF_06065]], i32 1
+; CHECK-NEXT:    [[DEC]] = add nsw i32 [[DEC66]], -1
+; CHECK-NEXT:    [[TMP15:%.*]] = load i8, i8* [[INCDEC_PTR]], align 1
+; CHECK-NEXT:    [[INCDEC_PTR13]] = getelementptr inbounds i8, i8* [[DOTPRE74]], i32 1
+; CHECK-NEXT:    store i8 [[TMP15]], i8* [[DOTPRE74]], align 1
+; CHECK-NEXT:    [[TOBOOL11:%.*]] = icmp eq i32 [[DEC]], 0
+; CHECK-NEXT:    br i1 [[TOBOOL11]], label [[END_LOOPEXIT_LOOPEXIT]], label [[BODY_CRIT_EDGE]], !llvm.loop !7
+; CHECK:       bodyloopexit_crit_edge:
+; CHECK-NEXT:    store i8* [[INCDEC_PTR13_LCSSA:%.*]], i8** [[POS]], align 4
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       end.loopexit.loopexit:
+; CHECK-NEXT:    [[INCDEC_PTR13_LCSSA]] = phi i8* [ [[INCDEC_PTR13]], [[BODY_CRIT_EDGE]] ], [ [[IND_END]], [[MIDDLE_BLOCK]] ]
+; CHECK-NEXT:    br label [[END_LOOPEXIT]]
+; CHECK:       end.loopexit:
+; CHECK-NEXT:    [[DOTPRE61:%.*]] = load i8*, i8** [[POS]], align 4
+; CHECK-NEXT:    br label [[END]]
+; CHECK:       end:
+; CHECK-NEXT:    ret void
+;
+
+cond.preheader:
+  %tobool = icmp eq i32 %size, 0
+  %bc = bitcast i8** %pos to i32*
+  %ld = load i32, i32* %bc, align 4
+  %ito = inttoptr i32 %ld to i8*
+  br i1 %tobool, label %end, label %body.preheader
+
+body.preheader:
+  %dec62 = add nsw i32 %size, -1
+  %0 = load i8, i8* %ptr, align 1
+  %incdec.ptr1363 = getelementptr inbounds i8, i8* %ito, i32 1
+  store i8* %incdec.ptr1363, i8** %pos, align 4
+  store i8 %0, i8* %ito, align 1
+  %tobool1164 = icmp eq i32 %dec62, 0
+  br i1 %tobool1164, label %end.loopexit, label %body_crit_edge.check
+
+body_crit_edge.check:
+  %scevgep67 = bitcast i8** %pos to i8*
+  %scevgep69 = getelementptr i8, i8* %ptr, i32 %size
+  %bound0 = icmp ugt i8* %scevgep69, %scevgep67
+  %bound1 = icmp ugt i8* %scevgep67, %ptr
+  %found.conflict = and i1 %bound1, %bound0
+  %1 = add i32 %size, -2
+  %ptr0 = load i8*, i8** %pos, align 4
+  %pti = ptrtoint i8* %ptr0 to i32
+  %pa = and i32 %pti, -4
+  %p0s = inttoptr i32 %pa to i8*
+  %incdec.ptr13.p0e = getelementptr i8, i8* %ptr0, i32 %1
+  %bound070 = icmp ule i8* %p0s, %scevgep67
+  %bound171 = icmp uge i8* %incdec.ptr13.p0e, %scevgep67
+  %found.conflict72 = and i1 %bound171, %bound070
+  %conflict.rdx = or i1 %found.conflict, %found.conflict72
+  br i1 %conflict.rdx, label %body_crit_edge.orig, label %body_crit_edge
+
+body_crit_edge.orig:
+  %incdec.ptr.orig = getelementptr inbounds i8, i8* %ptr, i32 1
+  %dec.orig = add nsw i32 %dec62, -1
+  %2 = load i8, i8* %incdec.ptr.orig, align 1
+  %incdec.ptr13.orig = getelementptr inbounds i8, i8* %ptr0, i32 1
+  store i8* %incdec.ptr13.orig, i8** %pos, align 4
+  store i8 %2, i8* %ptr0, align 1
+  %tobool11.orig = icmp eq i32 %dec.orig, 0
+  br label %end.loopexit
+
+body_crit_edge:
+  %.pre74 = phi i8* [ %incdec.ptr13, %body_crit_edge ], [ %ptr0, %body_crit_edge.check ]
+  %dec66 = phi i32 [ %dec, %body_crit_edge ], [ %dec62, %body_crit_edge.check ]
+  %buff.06065 = phi i8* [ %incdec.ptr, %body_crit_edge ], [ %ptr, %body_crit_edge.check ]
+  %incdec.ptr = getelementptr inbounds i8, i8* %buff.06065, i32 1
+  %dec = add nsw i32 %dec66, -1
+  %3 = load i8, i8* %incdec.ptr, align 1
+  %incdec.ptr13 = getelementptr inbounds i8, i8* %.pre74, i32 1
+  store i8 %3, i8* %.pre74, align 1
+  %tobool11 = icmp eq i32 %dec, 0
+  br i1 %tobool11, label %end.loopexit, label %body_crit_edge
+
+bodyloopexit_crit_edge:
+  store i8* %incdec.ptr13, i8** %pos, align 4
+  br label %end.loopexit
+
+end.loopexit:
+  %.pre61 = load i8*, i8** %pos, align 4
+  br label %end
+
+end:
+  ret void
+}