| ; RUN: llc <%s | FileCheck %s |
| target datalayout = "e-m:e-i64:64-n32:64" |
| target triple = "powerpc64le-unknown-linux-gnu" |
| |
| %struct.buffer_t = type { i64, i8*, [4 x i32], [4 x i32], [4 x i32], i32, i8, i8, [2 x i8] } |
| |
| declare i32 @__f1(i8*, %struct.buffer_t* noalias) |
| |
| ; CHECK-LABEL: f1: |
| define i32 @f1(i8* %__user_context, %struct.buffer_t* noalias %f1.buffer) { |
| entry: |
| br i1 undef, label %"assert succeeded", label %"assert failed", !prof !1 |
| |
| "assert failed": ; preds = %entry |
| br label %destructor_block |
| |
| "assert succeeded": ; preds = %entry |
| %__f1_result = call i32 @__f1(i8* %__user_context, %struct.buffer_t* %f1.buffer) #5 |
| %0 = icmp eq i32 %__f1_result, 0 |
| br i1 %0, label %"assert succeeded11", label %"assert failed10", !prof !1 |
| |
| destructor_block: ; preds = %"assert succeeded11", %"assert failed10", %"assert failed" |
| %1 = phi i32 [ undef, %"assert failed" ], [ %__f1_result, %"assert failed10" ], [ 0, %"assert succeeded11" ] |
| ret i32 %1 |
| |
| "assert failed10": ; preds = %"assert succeeded" |
| br label %destructor_block |
| |
| "assert succeeded11": ; preds = %"assert succeeded" |
| br label %destructor_block |
| } |
| |
| attributes #5 = { nounwind } |
| |
| !1 = !{!"branch_weights", i32 1073741824, i32 0} |
