56 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s2;3; This crashed at some point as we place %1 and %4 in the same equivalence class4; for invariant loads and when we remap SCEVs to use %4 instead of %1 AddRec SCEVs5; for the for.body.10 loop caused a crash as their operands were not invariant6; in the loop. While we know they are, ScalarEvolution does not. However, we can simply7; rewrite the AddRecs to hoist everything from the "start" out of the AddRec.8;9; Check we do not crash.10target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"11 12%struct.codebook.48.118.748.1882.2972 = type { i64, i64, i64, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32 }13%struct.static_codebook.19.89.719.1853.2971 = type { i64, i64, ptr, i32, i64, i64, i32, i32, ptr, ptr, ptr, ptr, i32 }14%struct.encode_aux_nearestmatch.16.86.716.1850.2968 = type { ptr, ptr, ptr, ptr, i64, i64 }15%struct.encode_aux_threshmatch.17.87.717.1851.2969 = type { ptr, ptr, i32, i32 }16%struct.encode_aux_pigeonhole.18.88.718.1852.2970 = type { float, float, i32, i32, ptr, i64, ptr, ptr, ptr }17 18; Function Attrs: inlinehint nounwind uwtable19declare i64 @decode_packed_entry_number() #020 21; Function Attrs: nounwind uwtable22define void @vorbis_book_decodev_set(ptr %book) #1 {23entry:24 br i1 undef, label %for.body, label %return25 26for.cond.loopexit: ; preds = %for.body.10, %if.end27 br i1 undef, label %for.body, label %return28 29for.body: ; preds = %for.cond.loopexit, %entry30 %call = tail call i64 @decode_packed_entry_number()31 br i1 undef, label %return, label %if.end32 33if.end: ; preds = %for.body34 %valuelist = getelementptr inbounds %struct.codebook.48.118.748.1882.2972, ptr %book, i64 0, i32 435 %0 = load ptr, ptr %valuelist, align 836 %sext = shl i64 %call, 3237 %conv4 = ashr exact i64 %sext, 3238 %1 = load i64, ptr %book, align 839 %mul = mul nsw i64 %1, %conv440 %add.ptr = getelementptr inbounds float, ptr %0, i64 %mul41 %cmp8.7 = icmp sgt i64 %1, 042 br i1 %cmp8.7, label %for.body.10, label %for.cond.loopexit43 44for.body.10: ; preds = %for.body.10, %if.end45 %indvars.iv15 = phi i64 [ %indvars.iv.next16, %for.body.10 ], [ 0, %if.end ]46 %indvars.iv.next16 = add nuw nsw i64 %indvars.iv15, 147 %arrayidx = getelementptr inbounds float, ptr %add.ptr, i64 %indvars.iv1548 %2 = load i32, ptr %arrayidx, align 449 %3 = load i64, ptr %book, align 850 %cmp8 = icmp slt i64 %indvars.iv.next16, %351 br i1 %cmp8, label %for.body.10, label %for.cond.loopexit52 53return: ; preds = %for.body, %for.cond.loopexit, %entry54 ret void55}56