test/CodeGen/Mips/2011-05-26-BranchKillsVreg.ll

   1 ; RUN: llc < %s -verify-coalescing
   2 ; PR10046
   3 ;
   4 ; PHI elimination splits the critical edge from %while.end415 to %if.end427.
   5 ; This requires updating the BNE-J terminators to a BEQ. The BNE instruction
   6 ; kills a virtual register, and LiveVariables must be updated with the new kill
   7 ; instruction.
   8
   9 target datalayout = "E-p:32:32:32-i1:8:8-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-n32"
  10 target triple = "mips-ellcc-linux"
  11
  12 define i32 @mergesort(i8* %base, i32 %nmemb, i32 %size, i32 (i8*, i8*)* nocapture %cmp) nounwind {
  13 entry:
  14   br i1 undef, label %return, label %if.end13
  15
  16 if.end13:                                         ; preds = %entry
  17   br label %while.body
  18
  19 while.body:                                       ; preds = %while.body, %if.end13
  20   %list1.0482 = phi i8* [ %base, %if.end13 ], [ null, %while.body ]
  21   br i1 undef, label %while.end415, label %while.body
  22
  23 while.end415:                                     ; preds = %while.body
  24   br i1 undef, label %if.then419, label %if.end427
  25
  26 if.then419:                                       ; preds = %while.end415
  27   %call425 = tail call i8* @memmove(i8* %list1.0482, i8* undef, i32 undef) nounwind
  28   br label %if.end427
  29
  30 if.end427:                                        ; preds = %if.then419, %while.end415
  31   %list2.1 = phi i8* [ undef, %if.then419 ], [ %list1.0482, %while.end415 ]
  32   tail call void @free(i8* %list2.1)
  33   unreachable
  34
  35 return:                                           ; preds = %entry
  36   ret i32 -1
  37 }
  38
  39
  40 declare i8* @memmove(i8*, i8*, i32)
  41
  42 declare void @free(i8*)
  43