[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopVectorize / X86 / no-vector.ll
blob4b464b0126757965e3b3268eb2b2140ba639132b
1 ; RUN: opt -S -mtriple=i386-unknown-freebsd -mcpu=i486 -loop-vectorize < %s
3 define i32 @PR14639(i8* nocapture %s, i32 %len) nounwind {
4 entry:
5   %cmp4 = icmp sgt i32 %len, 0
6   br i1 %cmp4, label %for.body, label %for.end
8 for.body:                                         ; preds = %entry, %for.body
9   %i.06 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
10   %r.05 = phi i32 [ %xor, %for.body ], [ 0, %entry ]
11   %arrayidx = getelementptr inbounds i8, i8* %s, i32 %i.06
12   %0 = load i8, i8* %arrayidx, align 1
13   %conv = sext i8 %0 to i32
14   %xor = xor i32 %conv, %r.05
15   %inc = add nsw i32 %i.06, 1
16   %exitcond = icmp eq i32 %inc, %len
17   br i1 %exitcond, label %for.end, label %for.body
19 for.end:                                          ; preds = %for.body, %entry
20   %r.0.lcssa = phi i32 [ 0, %entry ], [ %xor, %for.body ]
21   ret i32 %r.0.lcssa