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 9target 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" 10target triple = "mips-ellcc-linux" 11 12define i32 @mergesort(i8* %base, i32 %nmemb, i32 %size, i32 (i8*, i8*)* nocapture %cmp) nounwind { 13entry: 14 br i1 undef, label %return, label %if.end13 15 16if.end13: ; preds = %entry 17 br label %while.body 18 19while.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 23while.end415: ; preds = %while.body 24 br i1 undef, label %if.then419, label %if.end427 25 26if.then419: ; preds = %while.end415 27 %call425 = tail call i8* @memmove(i8* %list1.0482, i8* undef, i32 undef) nounwind 28 br label %if.end427 29 30if.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 35return: ; preds = %entry 36 ret i32 -1 37} 38 39 40declare i8* @memmove(i8*, i8*, i32) 41 42declare void @free(i8*) 43 44