131 lines
4.6 KiB
Plaintext
131 lines
4.6 KiB
Plaintext
|
# RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu \
|
||
|
|
# RUN: -run-pass=shrink-wrap -o - %s | FileCheck %s
|
||
|
|
--- |
|
||
|
|
; ModuleID = 'test.ll'
|
||
|
|
source_filename = "test.ll"
|
||
|
|
target datalayout = "e-m:e-i64:64-n32:64"
|
||
|
|
|
||
|
|
define signext i32 @shrinkwrapme(i32 signext %a, i32 signext %lim) {
|
||
|
|
entry:
|
||
|
|
%cmp5 = icmp sgt i32 %lim, 0
|
||
|
|
br i1 %cmp5, label %for.body.preheader, label %for.cond.cleanup
|
||
|
|
|
||
|
|
for.body.preheader: ; preds = %entry
|
||
|
|
%0 = add i32 %lim, -1
|
||
|
|
%1 = zext i32 %0 to i64
|
||
|
|
%2 = add nuw nsw i64 %1, 1
|
||
|
|
call void @llvm.set.loop.iterations.i64(i64 %2)
|
||
|
|
br label %for.body
|
||
|
|
|
||
|
|
for.cond.cleanup: ; preds = %for.body, %entry
|
||
|
|
%Ret.0.lcssa = phi i32 [ 0, %entry ], [ %3, %for.body ]
|
||
|
|
ret i32 %Ret.0.lcssa
|
||
|
|
|
||
|
|
for.body: ; preds = %for.body, %for.body.preheader
|
||
|
|
%Ret.06 = phi i32 [ %3, %for.body ], [ 0, %for.body.preheader ]
|
||
|
|
%3 = tail call i32 asm "add $0, $1, $2", "=r,r,r,~{r14},~{r15},~{r16},~{r17},~{r18},~{r19},~{r20},~{r21},~{r22},~{r23},~{r24},~{r25},~{r26},~{r27},~{r28},~{r29},~{r30},~{r31}"(i32 %a, i32 %Ret.06)
|
||
|
|
%4 = call i1 @llvm.loop.decrement.i64(i64 1)
|
||
|
|
br i1 %4, label %for.body, label %for.cond.cleanup
|
||
|
|
}
|
||
|
|
|
||
|
|
; Function Attrs: noduplicate nounwind
|
||
|
|
declare void @llvm.set.loop.iterations.i64(i64) #0
|
||
|
|
|
||
|
|
; Function Attrs: noduplicate nounwind
|
||
|
|
declare i1 @llvm.loop.decrement.i64(i64) #0
|
||
|
|
|
||
|
|
; Function Attrs: nounwind
|
||
|
|
declare void @llvm.stackprotector(i8*, i8**) #1
|
||
|
|
|
||
|
|
attributes #0 = { noduplicate nounwind }
|
||
|
|
attributes #1 = { nounwind }
|
||
|
|
|
||
|
|
...
|
||
|
|
---
|
||
|
|
name: shrinkwrapme
|
||
|
|
alignment: 16
|
||
|
|
exposesReturnsTwice: false
|
||
|
|
legalized: false
|
||
|
|
regBankSelected: false
|
||
|
|
selected: false
|
||
|
|
failedISel: false
|
||
|
|
tracksRegLiveness: true
|
||
|
|
hasWinCFI: false
|
||
|
|
registers: []
|
||
|
|
liveins:
|
||
|
|
- { reg: '$x3', virtual-reg: '' }
|
||
|
|
- { reg: '$x4', virtual-reg: '' }
|
||
|
|
frameInfo:
|
||
|
|
isFrameAddressTaken: false
|
||
|
|
isReturnAddressTaken: false
|
||
|
|
hasStackMap: false
|
||
|
|
hasPatchPoint: false
|
||
|
|
stackSize: 0
|
||
|
|
offsetAdjustment: 0
|
||
|
|
maxAlignment: 0
|
||
|
|
adjustsStack: false
|
||
|
|
hasCalls: false
|
||
|
|
stackProtector: ''
|
||
|
|
maxCallFrameSize: 4294967295
|
||
|
|
cvBytesOfCalleeSavedRegisters: 0
|
||
|
|
hasOpaqueSPAdjustment: false
|
||
|
|
hasVAStart: false
|
||
|
|
hasMustTailInVarArgFunc: false
|
||
|
|
localFrameSize: 0
|
||
|
|
savePoint: ''
|
||
|
|
restorePoint: ''
|
||
|
|
fixedStack: []
|
||
|
|
stack: []
|
||
|
|
callSites: []
|
||
|
|
constants: []
|
||
|
|
machineFunctionInfo: {}
|
||
|
|
body: |
|
||
|
|
bb.0.entry:
|
||
|
|
successors: %bb.2(0x50000000), %bb.1(0x30000000)
|
||
|
|
liveins: $x3, $x4
|
||
|
|
|
||
|
|
renamable $cr0 = CMPWI renamable $r4, 1
|
||
|
|
BCC 4, killed renamable $cr0, %bb.2
|
||
|
|
|
||
|
|
bb.1:
|
||
|
|
successors: %bb.3(0x80000000)
|
||
|
|
|
||
|
|
renamable $r4 = LI 0
|
||
|
|
B %bb.3
|
||
|
|
|
||
|
|
bb.2.for.body.preheader:
|
||
|
|
successors: %bb.4(0x80000000)
|
||
|
|
liveins: $x3, $x4
|
||
|
|
|
||
|
|
renamable $r4 = ADDI renamable $r4, -1, implicit killed $x4, implicit-def $x4
|
||
|
|
renamable $x4 = RLDICL killed renamable $x4, 0, 32
|
||
|
|
renamable $x4 = nuw nsw ADDI8 killed renamable $x4, 1
|
||
|
|
MTCTR8loop killed renamable $x4, implicit-def dead $ctr8
|
||
|
|
renamable $r4 = LI 0
|
||
|
|
B %bb.4
|
||
|
|
|
||
|
|
bb.3.for.cond.cleanup:
|
||
|
|
liveins: $r4
|
||
|
|
|
||
|
|
renamable $x3 = EXTSW_32_64 killed renamable $r4
|
||
|
|
BLR8 implicit $lr8, implicit $rm, implicit $x3
|
||
|
|
|
||
|
|
bb.4.for.body:
|
||
|
|
successors: %bb.4(0x7c000000), %bb.3(0x04000000)
|
||
|
|
liveins: $r4, $x3
|
||
|
|
|
||
|
|
INLINEASM &"add $0, $1, $2", 0, 131082, def renamable $r4, 131081, renamable $r3, 131081, killed renamable $r4, 12, implicit-def dead early-clobber $r14, 12, implicit-def dead early-clobber $r15, 12, implicit-def dead early-clobber $r16, 12, implicit-def dead early-clobber $r17, 12, implicit-def dead early-clobber $r18, 12, implicit-def dead early-clobber $r19, 12, implicit-def dead early-clobber $r20, 12, implicit-def dead early-clobber $r21, 12, implicit-def dead early-clobber $r22, 12, implicit-def dead early-clobber $r23, 12, implicit-def dead early-clobber $r24, 12, implicit-def dead early-clobber $r25, 12, implicit-def dead early-clobber $r26, 12, implicit-def dead early-clobber $r27, 12, implicit-def dead early-clobber $r28, 12, implicit-def dead early-clobber $r29, 12, implicit-def dead early-clobber $r30, 12, implicit-def dead early-clobber $r31
|
||
|
|
BDNZ8 %bb.4, implicit-def dead $ctr8, implicit $ctr8
|
||
|
|
B %bb.3
|
||
|
|
|
||
|
|
; CHECK: savePoint: ''
|
||
|
|
; CHECK-NEXT: restorePoint: ''
|
||
|
|
|
||
|
|
; CHECK: bb.4.for.body:
|
||
|
|
; CHECK-NEXT: successors: %bb.4(0x7c000000), %bb.3(0x04000000)
|
||
|
|
; CHECK-NEXT: liveins: $r4, $x3
|
||
|
|
; CHECK: INLINEASM
|
||
|
|
; CHECK-NEXT: BDNZ8 %bb.4
|
||
|
|
; CHECK-NEXT: B %bb.3
|
||
|
|
...
|