| ; Test SystemZInstrInfo::analyzeBranch and SystemZInstrInfo::insertBranch. |
| ; |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s |
| |
| declare void @foo() noreturn |
| |
| ; Check a case where a separate branch is needed and where the original |
| ; order should be reversed. |
| define i32 @f1(i32 %a, ptr %bptr) { |
| ; CHECK-LABEL: f1: |
| ; CHECK: cl %r2, 0(%r3) |
| ; CHECK: jl .L[[LABEL:.*]] |
| ; CHECK: br %r14 |
| ; CHECK: .L[[LABEL]]: |
| ; CHECK: brasl %r14, foo@PLT |
| entry: |
| %b = load i32, ptr %bptr |
| %cmp = icmp ult i32 %a, %b |
| br i1 %cmp, label %callit, label %return |
| |
| callit: |
| call void @foo() |
| unreachable |
| |
| return: |
| ret i32 1 |
| } |
| |
| ; Same again with a fused compare and branch. |
| define i32 @f2(i32 %a) { |
| ; CHECK-LABEL: f2: |
| ; CHECK: cije %r2, 0, .L[[LABEL:.*]] |
| ; CHECK: br %r14 |
| ; CHECK: .L[[LABEL]]: |
| ; CHECK: brasl %r14, foo@PLT |
| entry: |
| %cmp = icmp eq i32 %a, 0 |
| br i1 %cmp, label %callit, label %return |
| |
| callit: |
| call void @foo() |
| unreachable |
| |
| return: |
| ret i32 1 |
| } |
