1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt -S -passes=loop-reduce -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s 3 4; Make sure this does not assert. 5define void @test() { 6; CHECK-LABEL: define void @test() { 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br label [[FOR_BODY:%.*]] 9; CHECK: for.body: 10; CHECK-NEXT: br label [[FOR_BODY]] 11; 12entry: 13 br label %for.body 14 15for.body: 16 %0 = phi i64 [ %dec, %for.body ], [ 0, %entry ] 17 %h.18 = phi i32 [ 1, %for.body ], [ 0, %entry ] 18 %dec = add i64 %0, 1 19 %rem = urem i64 %0, 5 20 %1 = trunc i64 %rem to i32 21 %tobool3.not = icmp eq i32 %h.18, %1 22 br label %for.body 23} 24