test/Transforms/LoopRotate/convergent.ll

   1 ; RUN: opt -S -loop-rotate < %s | FileCheck %s
   2 ; RUN: opt -S -loop-rotate -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
   3
   4 @e = global i32 10
   5
   6 declare void @f1(i32) convergent
   7 declare void @f2(i32)
   8
   9 ; The call to f1 in the loop header shouldn't be duplicated (meaning, loop
  10 ; rotation shouldn't occur), because f1 is convergent.
  11
  12 ; CHECK: call void @f1
  13 ; CHECK-NOT: call void @f1
  14
  15 define void @test(i32 %x) {
  16 entry:
  17   br label %loop
  18
  19 loop:
  20   %n.phi = phi i32 [ %n, %loop.fin ], [ 0, %entry ]
  21   call void @f1(i32 %n.phi)
  22   %cond = icmp eq i32 %n.phi, %x
  23   br i1 %cond, label %exit, label %loop.fin
  24
  25 loop.fin:
  26   %n = add i32 %n.phi, 1
  27   call void @f2(i32 %n)
  28   br label %loop
  29
  30 exit:
  31   ret void
  32 }