; Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=65323 by @RKSimon
;
; RUN: opt -S -passes=loop-reduce %s | FileCheck %s
;
; Make sure we don't trigger an assertion.

target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@G = external global i32

define void @foo() {
; CHECK-LABEL: foo
bb8:
  br label %bb30

bb30:                                             ; preds = %bb30, %bb8
  %l0 = phi i64 [ -2222, %bb8 ], [ %r23, %bb30 ]
  %A22 = alloca i16, align 2
  %r23 = add nuw i64 1, %l0
  %G7 = getelementptr i16, ptr %A22, i64 %r23
  %B15 = urem i64 %r23, %r23
  %G6 = getelementptr i16, ptr %G7, i64 %B15
  %B1 = urem i64 %r23, %r23
  %B8 = sub i64 -1, %r23
  %B18 = sub i64 %B8, %B1
  %G5 = getelementptr i16, ptr %G6, i64 %B18
  store ptr %G5, ptr undef, align 8
  br label %bb30
}