Test source: git
Comments: Bug in IR semantics or optimization: escapes noescape pointer
Source: <stdin> ERROR: Unsupported attribute: noalias ---------------------------------------- define i32 @foo(ptr nocapture %a, ptr nocapture %b, i32 %n) denormal-fp-math=ieee,ieee { %entry: %cmp6 = icmp sgt i32 %n, 0 br i1 %cmp6, label %for.body, label %for.end %for.body: %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ] %arrayidx = gep inbounds ptr nocapture %b, 4 x i64 %indvars.iv %0 = load float, ptr %arrayidx, align 4 %mul = fmul float %0, 3.000000, exceptions=ignore %arrayidx2 = gep inbounds ptr nocapture %a, 4 x i64 %indvars.iv store float %mul, ptr %arrayidx2, align 4 %indvars.iv.next = add i64 %indvars.iv, 1 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 %exitcond = icmp eq i32 %lftr.wideiv, %n br i1 %exitcond, label %for.end, label %for.body %for.end: ret i32 undef } => define i32 @foo(ptr nocapture %a, ptr nocapture %b, i32 %n) denormal-fp-math=ieee,ieee { %entry: %b2 = ptrtoint ptr nocapture %b to i64 %a1 = ptrtoint ptr nocapture %a to i64 %cmp6 = icmp sgt i32 %n, 0 br i1 %cmp6, label %for.body.preheader, label %for.end %for.body.preheader: %0 = add i32 %n, 4294967295 %1 = zext i32 %0 to i64 %2 = add nsw nuw i64 %1, 1 %min.iters.check = icmp ult i32 %0, 3 br i1 %min.iters.check, label %scalar.ph, label %vector.memcheck %vector.memcheck: %3 = sub i64 %a1, %b2 %diff.check = icmp ult i64 %3, 16 br i1 %diff.check, label %scalar.ph, label %vector.ph %vector.ph: %n.vec = and i64 %2, 8589934588 br label %vector.body %vector.body: %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ] %4 = gep inbounds ptr nocapture %b, 4 x i64 %index %5 = bitcast ptr %4 to ptr %wide.load = load <4 x float>, ptr %5, align 4 %6 = fmul <4 x float> %wide.load, { 3.000000, 3.000000, 3.000000, 3.000000 }, exceptions=ignore %7 = gep inbounds ptr nocapture %a, 4 x i64 %index %8 = bitcast ptr %7 to ptr store <4 x float> %6, ptr %8, align 4 %index.next = add nuw i64 %index, 4 %9 = icmp eq i64 %index.next, %n.vec br i1 %9, label %middle.block, label %vector.body %middle.block: %cmp.n = icmp eq i64 %2, %n.vec br i1 %cmp.n, label %for.end.loopexit, label %scalar.ph %scalar.ph: %bc.resume.val = phi i64 [ %n.vec, %middle.block ], [ 0, %for.body.preheader ], [ 0, %vector.memcheck ] br label %for.body %for.body: %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ %bc.resume.val, %scalar.ph ] %arrayidx = gep inbounds ptr nocapture %b, 4 x i64 %indvars.iv %10 = load float, ptr %arrayidx, align 4 %mul = fmul float %10, 3.000000, exceptions=ignore %arrayidx2 = gep inbounds ptr nocapture %a, 4 x i64 %indvars.iv store float %mul, ptr %arrayidx2, align 4 %indvars.iv.next = add i64 %indvars.iv, 1 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 %exitcond = icmp eq i32 %lftr.wideiv, %n br i1 %exitcond, label %for.end.loopexit, label %for.body %for.end.loopexit: br label %for.end %for.end: ret i32 undef } Transformation doesn't verify! ERROR: Source is more defined than target Example: ptr nocapture %a = poison ptr nocapture %b = poison i32 %n = #x00000000 (0) Source: i1 %cmp6 = #x0 (0) >> Jump to %for.end SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 4 alloc type: 0 address: 0 Block 1 > size: 4761645935508795537 align: 2 alloc type: 0 address: 2459392455888344144 Block 2 > size: 2468361101429969970 align: 2 alloc type: 0 address: 13849751140618928160 Target: i64 %b2 = UB triggered! ------------------- SMT STATS ------------------- Num queries: 6 Num invalid: 0 Num skips: 0 Num trivial: 2 (25.0%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 6 (100.0%) Num UNSAT: 0 (0.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -dce -instcombine -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LoopVectorize/runtime-check.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LoopVectorize/runtime-check.ll