llvm/test/Transforms/LoopStrengthReduce/X86/pr83404.ll

   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.
   5 define 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 ;
  12 entry:
  13   br label %for.body
  14
  15 for.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 }