31 lines · plain
1; Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=65323 by @RKSimon2;3; RUN: opt -S -passes=loop-reduce %s | FileCheck %s4;5; Make sure we don't trigger an assertion.6 7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"8target triple = "x86_64-unknown-linux-gnu"9 10@G = external global i3211 12define void @foo() {13; CHECK-LABEL: foo14bb8:15 br label %bb3016 17bb30: ; preds = %bb30, %bb818 %l0 = phi i64 [ -2222, %bb8 ], [ %r23, %bb30 ]19 %A22 = alloca i16, align 220 %r23 = add nuw i64 1, %l021 %G7 = getelementptr i16, ptr %A22, i64 %r2322 %B15 = urem i64 %r23, %r2323 %G6 = getelementptr i16, ptr %G7, i64 %B1524 %B1 = urem i64 %r23, %r2325 %B8 = sub i64 -1, %r2326 %B18 = sub i64 %B8, %B127 %G5 = getelementptr i16, ptr %G6, i64 %B1828 store ptr %G5, ptr undef, align 829 br label %bb3030}31