138 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 22# RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu \3# RUN: -run-pass=shrink-wrap -o - %s | FileCheck %s4# RUN: llc -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu -passes='shrink-wrap' -o - %s | FileCheck %s5# RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc-ibm-aix-xcoff \6# RUN: -run-pass=shrink-wrap -mattr=-altivec -o - %s | FileCheck %s7# RUN: llc -mcpu=pwr9 -mtriple powerpc-ibm-aix-xcoff -passes='shrink-wrap' -mattr=-altivec -o - %s | FileCheck %s8# RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64-ibm-aix-xcoff \9# RUN: -run-pass=shrink-wrap -mattr=-altivec -o - %s | FileCheck %s10# RUN: llc -mcpu=pwr9 -mtriple powerpc64-ibm-aix-xcoff -passes='shrink-wrap' -mattr=-altivec -o - %s | FileCheck %s11--- |12 ; ModuleID = 'test.ll'13 source_filename = "test.ll"14 target datalayout = "e-m:e-i64:64-n32:64"15 16 define signext i32 @shrinkwrapme(i32 signext %a, i32 signext %lim) {17 entry:18 %cmp5 = icmp sgt i32 %lim, 019 br i1 %cmp5, label %for.body.preheader, label %for.cond.cleanup20 21 for.body.preheader: ; preds = %entry22 %0 = add i32 %lim, -123 %1 = zext i32 %0 to i6424 %2 = add nuw nsw i64 %1, 125 call void @llvm.set.loop.iterations.i64(i64 %2)26 br label %for.body27 28 for.cond.cleanup: ; preds = %for.body, %entry29 %Ret.0.lcssa = phi i32 [ 0, %entry ], [ %3, %for.body ]30 ret i32 %Ret.0.lcssa31 32 for.body: ; preds = %for.body, %for.body.preheader33 %Ret.06 = phi i32 [ %3, %for.body ], [ 0, %for.body.preheader ]34 %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)35 %4 = call i1 @llvm.loop.decrement.i64(i64 1)36 br i1 %4, label %for.body, label %for.cond.cleanup37 }38 39 ; Function Attrs: noduplicate nounwind40 declare void @llvm.set.loop.iterations.i64(i64) #041 42 ; Function Attrs: noduplicate nounwind43 declare i1 @llvm.loop.decrement.i64(i64) #044 45 ; Function Attrs: nounwind46 declare void @llvm.stackprotector(ptr, ptr) #147 48 attributes #0 = { noduplicate nounwind }49 attributes #1 = { nounwind }50 51...52---53name: shrinkwrapme54tracksRegLiveness: true55body: |56 ; CHECK-LABEL: name: shrinkwrapme57 ; CHECK: bb.0.entry:58 ; CHECK-NEXT: successors: %bb.2(0x50000000), %bb.1(0x30000000)59 ; CHECK-NEXT: liveins: $x3, $x460 ; CHECK-NEXT: {{ $}}61 ; CHECK-NEXT: renamable $cr0 = CMPWI renamable $r4, 162 ; CHECK-NEXT: BCC 4, killed renamable $cr0, %bb.263 ; CHECK-NEXT: {{ $}}64 ; CHECK-NEXT: bb.1:65 ; CHECK-NEXT: successors: %bb.3(0x80000000)66 ; CHECK-NEXT: {{ $}}67 ; CHECK-NEXT: renamable $r4 = LI 068 ; CHECK-NEXT: B %bb.369 ; CHECK-NEXT: {{ $}}70 ; CHECK-NEXT: bb.2.for.body.preheader:71 ; CHECK-NEXT: successors: %bb.4(0x80000000)72 ; CHECK-NEXT: liveins: $x3, $x473 ; CHECK-NEXT: {{ $}}74 ; CHECK-NEXT: renamable $r4 = ADDI renamable $r4, -1, implicit killed $x4, implicit-def $x475 ; CHECK-NEXT: renamable $x4 = RLDICL killed renamable $x4, 0, 3276 ; CHECK-NEXT: renamable $x4 = nuw nsw ADDI8 killed renamable $x4, 177 ; CHECK-NEXT: MTCTR8loop killed renamable $x4, implicit-def dead $ctr878 ; CHECK-NEXT: renamable $r4 = LI 079 ; CHECK-NEXT: B %bb.480 ; CHECK-NEXT: {{ $}}81 ; CHECK-NEXT: bb.3.for.cond.cleanup:82 ; CHECK-NEXT: liveins: $r483 ; CHECK-NEXT: {{ $}}84 ; CHECK-NEXT: renamable $x3 = EXTSW_32_64 killed renamable $r485 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $x386 ; CHECK-NEXT: {{ $}}87 ; CHECK-NEXT: bb.4.for.body:88 ; CHECK-NEXT: successors: %bb.4(0x7c000000), %bb.5(0x04000000)89 ; CHECK-NEXT: liveins: $r4, $x390 ; CHECK-NEXT: {{ $}}91 ; CHECK-NEXT: INLINEASM &"add $0, $1, $2", 0 /* attdialect */, 131082 /* regdef:GPRC */, def renamable $r4, 131081 /* reguse:GPRC */, renamable $r3, 131081 /* reguse:GPRC */, killed renamable $r4, 12 /* clobber */, implicit-def dead early-clobber $r14, 12 /* clobber */, implicit-def dead early-clobber $r15, 12 /* clobber */, implicit-def dead early-clobber $r16, 12 /* clobber */, implicit-def dead early-clobber $r17, 12 /* clobber */, implicit-def dead early-clobber $r18, 12 /* clobber */, implicit-def dead early-clobber $r19, 12 /* clobber */, implicit-def dead early-clobber $r20, 12 /* clobber */, implicit-def dead early-clobber $r21, 12 /* clobber */, implicit-def dead early-clobber $r22, 12 /* clobber */, implicit-def dead early-clobber $r23, 12 /* clobber */, implicit-def dead early-clobber $r24, 12 /* clobber */, implicit-def dead early-clobber $r25, 12 /* clobber */, implicit-def dead early-clobber $r26, 12 /* clobber */, implicit-def dead early-clobber $r27, 12 /* clobber */, implicit-def dead early-clobber $r28, 12 /* clobber */, implicit-def dead early-clobber $r29, 12 /* clobber */, implicit-def dead early-clobber $r30, 12 /* clobber */, implicit-def dead early-clobber $r3192 ; CHECK-NEXT: BDNZ8 %bb.4, implicit-def dead $ctr8, implicit $ctr893 ; CHECK-NEXT: B %bb.594 ; CHECK-NEXT: {{ $}}95 ; CHECK-NEXT: bb.5:96 ; CHECK-NEXT: successors: %bb.3(0x80000000)97 ; CHECK-NEXT: liveins: $r498 ; CHECK-NEXT: {{ $}}99 ; CHECK-NEXT: B %bb.3100 bb.0.entry:101 successors: %bb.2(0x50000000), %bb.1(0x30000000)102 liveins: $x3, $x4103 104 renamable $cr0 = CMPWI renamable $r4, 1105 BCC 4, killed renamable $cr0, %bb.2106 107 bb.1:108 successors: %bb.3(0x80000000)109 110 renamable $r4 = LI 0111 B %bb.3112 113 bb.2.for.body.preheader:114 successors: %bb.4(0x80000000)115 liveins: $x3, $x4116 117 renamable $r4 = ADDI renamable $r4, -1, implicit killed $x4, implicit-def $x4118 renamable $x4 = RLDICL killed renamable $x4, 0, 32119 renamable $x4 = nuw nsw ADDI8 killed renamable $x4, 1120 MTCTR8loop killed renamable $x4, implicit-def dead $ctr8121 renamable $r4 = LI 0122 B %bb.4123 124 bb.3.for.cond.cleanup:125 liveins: $r4126 127 renamable $x3 = EXTSW_32_64 killed renamable $r4128 BLR8 implicit $lr8, implicit $rm, implicit $x3129 130 bb.4.for.body:131 successors: %bb.4(0x7c000000), %bb.3(0x04000000)132 liveins: $r4, $x3133 134 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 $r31135 BDNZ8 %bb.4, implicit-def dead $ctr8, implicit $ctr8136 B %bb.3137...138