llvm/test/CodeGen/PowerPC/shrink-wrap.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
   2 # RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu \
   3 # RUN:   -run-pass=shrink-wrap -o - %s | FileCheck %s
   4 # RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc-ibm-aix-xcoff \
   5 # RUN:   -run-pass=shrink-wrap -mattr=-altivec -o - %s | FileCheck %s
   6 # RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64-ibm-aix-xcoff \
   7 # RUN:   -run-pass=shrink-wrap -mattr=-altivec -o - %s | FileCheck %s
   8 --- |
   9   ; ModuleID = 'test.ll'
  10   source_filename = "test.ll"
  11   target datalayout = "e-m:e-i64:64-n32:64"
  12
  13   define signext i32 @shrinkwrapme(i32 signext %a, i32 signext %lim) {
  14   entry:
  15     %cmp5 = icmp sgt i32 %lim, 0
  16     br i1 %cmp5, label %for.body.preheader, label %for.cond.cleanup
  17
  18   for.body.preheader:                               ; preds = %entry
  19     %0 = add i32 %lim, -1
  20     %1 = zext i32 %0 to i64
  21     %2 = add nuw nsw i64 %1, 1
  22     call void @llvm.set.loop.iterations.i64(i64 %2)
  23     br label %for.body
  24
  25   for.cond.cleanup:                                 ; preds = %for.body, %entry
  26     %Ret.0.lcssa = phi i32 [ 0, %entry ], [ %3, %for.body ]
  27     ret i32 %Ret.0.lcssa
  28
  29   for.body:                                         ; preds = %for.body, %for.body.preheader
  30     %Ret.06 = phi i32 [ %3, %for.body ], [ 0, %for.body.preheader ]
  31     %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)
  32     %4 = call i1 @llvm.loop.decrement.i64(i64 1)
  33     br i1 %4, label %for.body, label %for.cond.cleanup
  34   }
  35
  36   ; Function Attrs: noduplicate nounwind
  37   declare void @llvm.set.loop.iterations.i64(i64) #0
  38
  39   ; Function Attrs: noduplicate nounwind
  40   declare i1 @llvm.loop.decrement.i64(i64) #0
  41
  42   ; Function Attrs: nounwind
  43   declare void @llvm.stackprotector(ptr, ptr) #1
  44
  45   attributes #0 = { noduplicate nounwind }
  46   attributes #1 = { nounwind }
  47
  48 ...
  49 ---
  50 name:            shrinkwrapme
  51 tracksRegLiveness: true
  52 body:             |
  53   ; CHECK-LABEL: name: shrinkwrapme
  54   ; CHECK: bb.0.entry:
  55   ; CHECK-NEXT:   successors: %bb.2(0x50000000), %bb.1(0x30000000)
  56   ; CHECK-NEXT:   liveins: $x3, $x4
  57   ; CHECK-NEXT: {{  $}}
  58   ; CHECK-NEXT:   renamable $cr0 = CMPWI renamable $r4, 1
  59   ; CHECK-NEXT:   BCC 4, killed renamable $cr0, %bb.2
  60   ; CHECK-NEXT: {{  $}}
  61   ; CHECK-NEXT: bb.1:
  62   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
  63   ; CHECK-NEXT: {{  $}}
  64   ; CHECK-NEXT:   renamable $r4 = LI 0
  65   ; CHECK-NEXT:   B %bb.3
  66   ; CHECK-NEXT: {{  $}}
  67   ; CHECK-NEXT: bb.2.for.body.preheader:
  68   ; CHECK-NEXT:   successors: %bb.4(0x80000000)
  69   ; CHECK-NEXT:   liveins: $x3, $x4
  70   ; CHECK-NEXT: {{  $}}
  71   ; CHECK-NEXT:   renamable $r4 = ADDI renamable $r4, -1, implicit killed $x4, implicit-def $x4
  72   ; CHECK-NEXT:   renamable $x4 = RLDICL killed renamable $x4, 0, 32
  73   ; CHECK-NEXT:   renamable $x4 = nuw nsw ADDI8 killed renamable $x4, 1
  74   ; CHECK-NEXT:   MTCTR8loop killed renamable $x4, implicit-def dead $ctr8
  75   ; CHECK-NEXT:   renamable $r4 = LI 0
  76   ; CHECK-NEXT:   B %bb.4
  77   ; CHECK-NEXT: {{  $}}
  78   ; CHECK-NEXT: bb.3.for.cond.cleanup:
  79   ; CHECK-NEXT:   liveins: $r4
  80   ; CHECK-NEXT: {{  $}}
  81   ; CHECK-NEXT:   renamable $x3 = EXTSW_32_64 killed renamable $r4
  82   ; CHECK-NEXT:   BLR8 implicit $lr8, implicit $rm, implicit $x3
  83   ; CHECK-NEXT: {{  $}}
  84   ; CHECK-NEXT: bb.4.for.body:
  85   ; CHECK-NEXT:   successors: %bb.4(0x7c000000), %bb.5(0x04000000)
  86   ; CHECK-NEXT:   liveins: $r4, $x3
  87   ; CHECK-NEXT: {{  $}}
  88   ; 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 $r31
  89   ; CHECK-NEXT:   BDNZ8 %bb.4, implicit-def dead $ctr8, implicit $ctr8
  90   ; CHECK-NEXT:   B %bb.5
  91   ; CHECK-NEXT: {{  $}}
  92   ; CHECK-NEXT: bb.5:
  93   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
  94   ; CHECK-NEXT:   liveins: $r4
  95   ; CHECK-NEXT: {{  $}}
  96   ; CHECK-NEXT:   B %bb.3
  97   bb.0.entry:
  98     successors: %bb.2(0x50000000), %bb.1(0x30000000)
  99     liveins: $x3, $x4
 100
 101     renamable $cr0 = CMPWI renamable $r4, 1
 102     BCC 4, killed renamable $cr0, %bb.2
 103
 104   bb.1:
 105     successors: %bb.3(0x80000000)
 106
 107     renamable $r4 = LI 0
 108     B %bb.3
 109
 110   bb.2.for.body.preheader:
 111     successors: %bb.4(0x80000000)
 112     liveins: $x3, $x4
 113
 114     renamable $r4 = ADDI renamable $r4, -1, implicit killed $x4, implicit-def $x4
 115     renamable $x4 = RLDICL killed renamable $x4, 0, 32
 116     renamable $x4 = nuw nsw ADDI8 killed renamable $x4, 1
 117     MTCTR8loop killed renamable $x4, implicit-def dead $ctr8
 118     renamable $r4 = LI 0
 119     B %bb.4
 120
 121   bb.3.for.cond.cleanup:
 122     liveins: $r4
 123
 124     renamable $x3 = EXTSW_32_64 killed renamable $r4
 125     BLR8 implicit $lr8, implicit $rm, implicit $x3
 126
 127   bb.4.for.body:
 128     successors: %bb.4(0x7c000000), %bb.3(0x04000000)
 129     liveins: $r4, $x3
 130
 131     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
 132     BDNZ8 %bb.4, implicit-def dead $ctr8, implicit $ctr8
 133     B %bb.3
 134 ...