37 lines · plain
1; REQUIRES: asserts2; RUN: opt -mtriple=x86_64-unknown-linux-gnu -loop-reduce -S < %s3; PR33077. Check the LSR Use formula to be inserted is already canonicalized and4; will not trigger assertion.5 6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"7 8; Function Attrs: uwtable9define void @foo() { 10cHeapLvb.exit:11 br label %not_zero48.us12 13not_zero48.us: ; preds = %not_zero48.us, %cHeapLvb.exit14 %indvars.iv.us = phi i64 [ %indvars.iv.next.us.7, %not_zero48.us ], [ undef, %cHeapLvb.exit ]15 %0 = phi i32 [ %13, %not_zero48.us ], [ undef, %cHeapLvb.exit ]16 %indvars.iv.next.us = add nuw nsw i64 %indvars.iv.us, 117 %1 = add i32 %0, 218 %2 = getelementptr inbounds i32, ptr addrspace(1) undef, i64 %indvars.iv.next.us19 %3 = load i32, ptr addrspace(1) %2, align 420 %4 = add i32 %0, 321 %5 = load i32, ptr addrspace(1) undef, align 422 %6 = sub i32 undef, %523 %factor.us.2 = shl i32 %6, 124 %7 = add i32 %factor.us.2, %125 %8 = load i32, ptr addrspace(1) undef, align 426 %9 = sub i32 %7, %827 %factor.us.3 = shl i32 %9, 128 %10 = add i32 %factor.us.3, %429 %11 = load i32, ptr addrspace(1) undef, align 430 %12 = sub i32 %10, %1131 %factor.us.4 = shl i32 %12, 132 %13 = add i32 %0, 833 %indvars.iv.next.us.7 = add nsw i64 %indvars.iv.us, 834 br label %not_zero48.us35}36 37