63 lines
1.8 KiB
LLVM
63 lines
1.8 KiB
LLVM
; RUN: llc -mtriple=powerpc-ibm-aix-xcoff %s -filetype=obj -o %t
|
|
; RUN: llvm-objdump %t -d --symbolize-operands --no-show-raw-insn \
|
|
; RUN: | FileCheck %s
|
|
|
|
;; Expect to find the branch labels.
|
|
; CHECK-LABEL: <.internal>:
|
|
; CHECK-NEXT: 0: mr 4, 3
|
|
; CHECK-NEXT: 4: li 3, 0
|
|
; CHECK-NEXT: 8: mtctr 4
|
|
; CHECK-NEXT: <L0>:
|
|
; CHECK-NEXT: c: addi 3, 3, 1
|
|
; CHECK-NEXT: 10: bdnz 0xc <L0>
|
|
; CHECK-NEXT: 14: blr
|
|
|
|
; CHECK-LABEL: <.foo>:
|
|
; CHECK: 5c: b 0x64 <L0>
|
|
; CHECK-NEXT: <L2>:
|
|
; CHECK-NEXT: 60: bf 8, 0x84 <L1>
|
|
; CHECK-NEXT: <L0>:
|
|
; CHECK-NEXT: 64: mr 3, 31
|
|
; CHECK-NEXT: 68: bl 0x0 <.internal>
|
|
; CHECK-NEXT: 6c: mr 31, 3
|
|
; CHECK-NEXT: 70: cmplwi 3, 11
|
|
; CHECK-NEXT: 74: bt 0, 0x60 <L2>
|
|
; CHECK-NEXT: 78: bl 0x0 <.internal>
|
|
; CHECK-NEXT: 7c: nop
|
|
; CHECK-NEXT: 80: b 0x60 <L2>
|
|
; CHECK-NEXT: <L1>:
|
|
; CHECK-NEXT: 84: lwz 31, 60(1)
|
|
|
|
define internal i32 @internal(i32 %a) {
|
|
entry:
|
|
br label %for.body
|
|
|
|
for.body:
|
|
%i = phi i32 [ 0, %entry ], [ %next, %for.body ]
|
|
%next = add nuw nsw i32 %i, 1
|
|
%cond = icmp eq i32 %next, %a
|
|
br i1 %cond, label %exit, label %for.body
|
|
|
|
exit:
|
|
ret i32 %next
|
|
}
|
|
|
|
declare void @extern()
|
|
|
|
define void @foo(i1 %breakcond) {
|
|
entry:
|
|
br label %loop
|
|
loop:
|
|
%tmp23phi = phi i32 [ %tmp23, %endif ], [ 0, %entry ]
|
|
%tmp23 = call i32 @internal(i32 %tmp23phi)
|
|
%tmp27 = icmp ult i32 10, %tmp23
|
|
br i1 %tmp27, label %then, label %endif
|
|
then: ; preds = %bb
|
|
call void @extern()
|
|
br label %endif
|
|
endif: ; preds = %bb28, %bb
|
|
br i1 %breakcond, label %loop, label %loopexit
|
|
loopexit:
|
|
ret void
|
|
}
|