[SimplifyCFG] add metadata to show failure to propagate (PR27344)

llvm-svn: 266435
This commit is contained in:
Sanjay Patel 2016-04-15 14:53:35 +00:00
parent df5a831006
commit 81433e99b9
1 changed files with 10 additions and 7 deletions

View File

@ -1,9 +1,17 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -simplifycfg -S | FileCheck %s
define i1 @qux(i8* %m, i8* %n, i8* %o, i8* %p) nounwind {
; CHECK-LABEL: @qux(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP7:%.*]] = icmp eq i8* %m, %n
; CHECK-NEXT: [[TMP15:%.*]] = icmp eq i8* %o, %p
; CHECK-NEXT: [[TMP15_:%.*]] = select i1 [[TMP7]], i1 [[TMP15]], i1 false
; CHECK-NEXT: ret i1 [[TMP15_]]
;
entry:
%tmp7 = icmp eq i8* %m, %n
br i1 %tmp7, label %bb, label %UnifiedReturnBlock
br i1 %tmp7, label %bb, label %UnifiedReturnBlock, !prof !0
bb:
%tmp15 = icmp eq i8* %o, %p
@ -13,11 +21,6 @@ UnifiedReturnBlock:
%result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]
ret i1 %result
; CHECK-LABEL: @qux(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP7:%.*]] = icmp eq i8* %m, %n
; CHECK-NEXT: [[TMP15:%.*]] = icmp eq i8* %o, %p
; CHECK-NEXT: [[TMP15_:%.*]] = select i1 [[TMP7]], i1 [[TMP15]], i1 false
; CHECK-NEXT: ret i1 [[TMP15_]]
}
!0 = !{!"branch_weights", i32 4, i32 64}