26 lines · plain
1; RUN: opt -S -mtriple="x86_64-unknown-linux-gnu" -passes=loop-vectorize < %s | FileCheck %s2 3; Don't crash on unknown metadata4; CHECK-LABEL: @no_propagate_range_metadata(5; CHECK: load <16 x i8>6; CHECK: store <16 x i8>7define void @no_propagate_range_metadata(ptr readonly %first.coerce, ptr readnone %last.coerce, ptr nocapture %result) {8for.body.preheader:9 br label %for.body10 11for.body: ; preds = %for.body, %for.body.preheader12 %result.addr.05 = phi ptr [ %incdec.ptr, %for.body ], [ %result, %for.body.preheader ]13 %first.sroa.0.04 = phi ptr [ %incdec.ptr.i.i.i, %for.body ], [ %first.coerce, %for.body.preheader ]14 %0 = load i8, ptr %first.sroa.0.04, align 1, !range !015 store i8 %0, ptr %result.addr.05, align 116 %incdec.ptr.i.i.i = getelementptr inbounds i8, ptr %first.sroa.0.04, i64 117 %incdec.ptr = getelementptr inbounds i8, ptr %result.addr.05, i64 118 %lnot.i = icmp eq ptr %incdec.ptr.i.i.i, %last.coerce19 br i1 %lnot.i, label %for.end.loopexit, label %for.body20 21for.end.loopexit: ; preds = %for.body22 ret void23}24 25!0 = !{i8 0, i8 2}26