24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=loop-reduce -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 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.body14 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, 119 %rem = urem i64 %0, 520 %1 = trunc i64 %rem to i3221 %tobool3.not = icmp eq i32 %h.18, %122 br label %for.body23}24