test/Analysis/MemorySSA/pr43641.ll

   1 ; RUN: opt -simple-loop-unswitch -enable-nontrivial-unswitch -enable-mssa-loop-dependency -verify-memoryssa -S < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-LABEL: @c
   5 define dso_local void @c(i32 signext %d) local_unnamed_addr {
   6 entry:
   7   br i1 undef, label %while.end, label %while.body.lr.ph
   8
   9 while.body.lr.ph:                                 ; preds = %entry
  10   %tobool1 = icmp ne i32 %d, 0
  11   br label %while.body
  12
  13 while.body:                                       ; preds = %while.body, %while.body.lr.ph
  14   %call = tail call signext i32 bitcast (i32 (...)* @e to i32 ()*)()
  15   %0 = and i1 %tobool1, undef
  16   br i1 %0, label %while.body, label %while.end
  17
  18 while.end:                                        ; preds = %while.body, %entry
  19   ret void
  20 }
  21
  22 declare signext i32 @e(...) local_unnamed_addr