test/Transforms/LoopUnswitch/copy-metadata.ll

   1 ; RUN: opt < %s -loop-unswitch -S < %s 2>&1 | FileCheck %s
   2 ; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
   3
   4 ; This test checks if unswitched condition preserve make.implicit metadata.
   5
   6 define i32 @test(i1 %cond) {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK:  br i1 %cond, label %..split_crit_edge, label %.loop_exit.split_crit_edge, !make.implicit !0
   9   br label %loop_begin
  10
  11 loop_begin:
  12   br i1 %cond, label %continue, label %loop_exit, !make.implicit !0
  13
  14 continue:
  15   call void @some_func()
  16   br label %loop_begin
  17
  18 loop_exit:
  19   ret i32 0
  20 }
  21
  22 declare void @some_func()
  23
  24 !0 = !{}