mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-04 11:17:31 +00:00
[NFC][PowerPC] Added test for MachinePRE.
llvm-svn: 365883
This commit is contained in:
Kai Luo
parent
1283665ffc
commit
79dc588c53
@ -53,3 +53,144 @@ return:
|
||||
%ret = mul i32 %delta.2, %delta.3
|
||||
ret i32 %ret
|
||||
}
|
||||
|
||||
define dso_local signext i32 @foo(i32 signext %x, i32 signext %y) local_unnamed_addr #0 {
|
||||
; CHECK-P9-LABEL: foo:
|
||||
; CHECK-P9: # %bb.0: # %entry
|
||||
; CHECK-P9-NEXT: mflr r0
|
||||
; CHECK-P9-NEXT: .cfi_def_cfa_offset 80
|
||||
; CHECK-P9-NEXT: .cfi_offset lr, 16
|
||||
; CHECK-P9-NEXT: .cfi_offset r27, -40
|
||||
; CHECK-P9-NEXT: .cfi_offset r28, -32
|
||||
; CHECK-P9-NEXT: .cfi_offset r29, -24
|
||||
; CHECK-P9-NEXT: .cfi_offset r30, -16
|
||||
; CHECK-P9-NEXT: std r27, -40(r1) # 8-byte Folded Spill
|
||||
; CHECK-P9-NEXT: std r28, -32(r1) # 8-byte Folded Spill
|
||||
; CHECK-P9-NEXT: std r29, -24(r1) # 8-byte Folded Spill
|
||||
; CHECK-P9-NEXT: std r30, -16(r1) # 8-byte Folded Spill
|
||||
; CHECK-P9-NEXT: std r0, 16(r1)
|
||||
; CHECK-P9-NEXT: stdu r1, -80(r1)
|
||||
; CHECK-P9-NEXT: mr r30, r4
|
||||
; CHECK-P9-NEXT: mr r29, r3
|
||||
; CHECK-P9-NEXT: lis r3, 21845
|
||||
; CHECK-P9-NEXT: add r28, r30, r29
|
||||
; CHECK-P9-NEXT: ori r27, r3, 21846
|
||||
; CHECK-P9-NEXT: b .LBB1_3
|
||||
; CHECK-P9-NEXT: .p2align 4
|
||||
; CHECK-P9-NEXT: .LBB1_1: # %sw.bb3
|
||||
; CHECK-P9-NEXT: #
|
||||
; CHECK-P9-NEXT: add r28, r3, r28
|
||||
; CHECK-P9-NEXT: .LBB1_2: # %sw.epilog
|
||||
; CHECK-P9-NEXT: #
|
||||
; CHECK-P9-NEXT: cmpwi r28, 1025
|
||||
; CHECK-P9-NEXT: bge cr0, .LBB1_6
|
||||
; CHECK-P9-NEXT: .LBB1_3: # %while.cond
|
||||
; CHECK-P9-NEXT: #
|
||||
; CHECK-P9-NEXT: extsw r3, r29
|
||||
; CHECK-P9-NEXT: bl bar
|
||||
; CHECK-P9-NEXT: nop
|
||||
; CHECK-P9-NEXT: mr r29, r3
|
||||
; CHECK-P9-NEXT: extsw r3, r30
|
||||
; CHECK-P9-NEXT: bl bar
|
||||
; CHECK-P9-NEXT: nop
|
||||
; CHECK-P9-NEXT: mr r30, r3
|
||||
; CHECK-P9-NEXT: extsw r3, r28
|
||||
; CHECK-P9-NEXT: mulld r4, r3, r27
|
||||
; CHECK-P9-NEXT: rldicl r5, r4, 1, 63
|
||||
; CHECK-P9-NEXT: rldicl r4, r4, 32, 32
|
||||
; CHECK-P9-NEXT: add r4, r4, r5
|
||||
; CHECK-P9-NEXT: slwi r5, r4, 1
|
||||
; CHECK-P9-NEXT: add r4, r4, r5
|
||||
; CHECK-P9-NEXT: subf r5, r4, r3
|
||||
; CHECK-P9-NEXT: mulli r4, r29, 13
|
||||
; CHECK-P9-NEXT: mulli r3, r30, 23
|
||||
; CHECK-P9-NEXT: cmplwi r5, 1
|
||||
; CHECK-P9-NEXT: beq cr0, .LBB1_1
|
||||
; CHECK-P9-NEXT: # %bb.4: # %while.cond
|
||||
; CHECK-P9-NEXT: #
|
||||
; CHECK-P9-NEXT: cmplwi r5, 0
|
||||
; CHECK-P9-NEXT: bne cr0, .LBB1_2
|
||||
; CHECK-P9-NEXT: # %bb.5: # %sw.bb
|
||||
; CHECK-P9-NEXT: #
|
||||
; CHECK-P9-NEXT: add r28, r4, r28
|
||||
; CHECK-P9-NEXT: cmpwi r28, 1025
|
||||
; CHECK-P9-NEXT: blt cr0, .LBB1_3
|
||||
; CHECK-P9-NEXT: .LBB1_6: # %while.end
|
||||
; CHECK-P9-NEXT: lis r5, -13108
|
||||
; CHECK-P9-NEXT: ori r5, r5, 52429
|
||||
; CHECK-P9-NEXT: mullw r5, r28, r5
|
||||
; CHECK-P9-NEXT: lis r6, 13107
|
||||
; CHECK-P9-NEXT: ori r6, r6, 13108
|
||||
; CHECK-P9-NEXT: cmplw r5, r6
|
||||
; CHECK-P9-NEXT: blt cr0, .LBB1_8
|
||||
; CHECK-P9-NEXT: # %bb.7: # %if.then8
|
||||
; CHECK-P9-NEXT: extsw r4, r4
|
||||
; CHECK-P9-NEXT: extsw r5, r28
|
||||
; CHECK-P9-NEXT: extsw r3, r3
|
||||
; CHECK-P9-NEXT: sub r4, r5, r4
|
||||
; CHECK-P9-NEXT: sub r3, r3, r5
|
||||
; CHECK-P9-NEXT: rldicl r4, r4, 1, 63
|
||||
; CHECK-P9-NEXT: rldicl r3, r3, 1, 63
|
||||
; CHECK-P9-NEXT: or r3, r4, r3
|
||||
; CHECK-P9-NEXT: b .LBB1_9
|
||||
; CHECK-P9-NEXT: .LBB1_8: # %cleanup20
|
||||
; CHECK-P9-NEXT: li r3, 0
|
||||
; CHECK-P9-NEXT: .LBB1_9: # %cleanup20
|
||||
; CHECK-P9-NEXT: addi r1, r1, 80
|
||||
; CHECK-P9-NEXT: ld r0, 16(r1)
|
||||
; CHECK-P9-NEXT: mtlr r0
|
||||
; CHECK-P9-NEXT: ld r30, -16(r1) # 8-byte Folded Reload
|
||||
; CHECK-P9-NEXT: ld r29, -24(r1) # 8-byte Folded Reload
|
||||
; CHECK-P9-NEXT: ld r28, -32(r1) # 8-byte Folded Reload
|
||||
; CHECK-P9-NEXT: ld r27, -40(r1) # 8-byte Folded Reload
|
||||
; CHECK-P9-NEXT: blr
|
||||
entry:
|
||||
%add = add nsw i32 %y, %x
|
||||
br label %while.cond
|
||||
|
||||
while.cond: ; preds = %sw.epilog, %entry
|
||||
%sum.0 = phi i32 [ %add, %entry ], [ %sum.1, %sw.epilog ]
|
||||
%y.addr.0 = phi i32 [ %y, %entry ], [ %call1, %sw.epilog ]
|
||||
%x.addr.0 = phi i32 [ %x, %entry ], [ %call, %sw.epilog ]
|
||||
%call = tail call signext i32 @bar(i32 signext %x.addr.0) #2
|
||||
%call1 = tail call signext i32 @bar(i32 signext %y.addr.0) #2
|
||||
%rem = srem i32 %sum.0, 3
|
||||
switch i32 %rem, label %sw.epilog [
|
||||
i32 0, label %sw.bb
|
||||
i32 1, label %sw.bb3
|
||||
]
|
||||
|
||||
sw.bb: ; preds = %while.cond
|
||||
%mul = mul nsw i32 %call, 13
|
||||
%add2 = add nsw i32 %mul, %sum.0
|
||||
br label %sw.epilog
|
||||
|
||||
sw.bb3: ; preds = %while.cond
|
||||
%mul4 = mul nsw i32 %call1, 23
|
||||
%add5 = add nsw i32 %mul4, %sum.0
|
||||
br label %sw.epilog
|
||||
|
||||
sw.epilog: ; preds = %while.cond, %sw.bb3, %sw.bb
|
||||
%sum.1 = phi i32 [ %sum.0, %while.cond ], [ %add5, %sw.bb3 ], [ %add2, %sw.bb ]
|
||||
%cmp = icmp slt i32 %sum.1, 1025
|
||||
br i1 %cmp, label %while.cond, label %while.end
|
||||
|
||||
while.end: ; preds = %sw.epilog
|
||||
%rem739 = urem i32 %sum.1, 5
|
||||
%tobool = icmp eq i32 %rem739, 0
|
||||
br i1 %tobool, label %cleanup20, label %if.then8
|
||||
|
||||
if.then8: ; preds = %while.end
|
||||
%mul9 = mul nsw i32 %call, 13
|
||||
%cmp11 = icmp slt i32 %sum.1, %mul9
|
||||
%mul10 = mul nsw i32 %call1, 23
|
||||
%cmp12 = icmp sgt i32 %sum.1, %mul10
|
||||
%or.cond = or i1 %cmp11, %cmp12
|
||||
%spec.select = zext i1 %or.cond to i32
|
||||
ret i32 %spec.select
|
||||
|
||||
cleanup20: ; preds = %while.end
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
declare signext i32 @bar(i32 signext) local_unnamed_addr #1
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user