test/CodeGen/Mips/GlobalISel/legalizer/dyn_stackalloc.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
   3 --- |
   4
   5   declare i32 @puts(i8*)
   6   declare void @llvm.memset.p0i8.i32(i8*, i8, i32, i1)
   7
   8   define void @Print_c_N_times(i8 %c, i32 %N) {
   9   entry:
  10     %add = add i32 %N, 1
  11     %vla = alloca i8, i32 %add, align 1
  12     call void @llvm.memset.p0i8.i32(i8* align 1 %vla, i8 %c, i32 %N, i1 false)
  13     %arrayidx = getelementptr inbounds i8, i8* %vla, i32 %N
  14     store i8 0, i8* %arrayidx, align 1
  15     %call = call i32 @puts(i8* %vla)
  16     ret void
  17   }
  18
  19 ...
  20 ---
  21 name:            Print_c_N_times
  22 alignment:       4
  23 tracksRegLiveness: true
  24 stack:
  25   - { id: 0, name: vla, type: variable-sized, alignment: 1 }
  26 body:             |
  27   bb.1.entry:
  28     liveins: $a0, $a1
  29
  30     ; MIPS32-LABEL: name: Print_c_N_times
  31     ; MIPS32: liveins: $a0, $a1
  32     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
  33     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
  34     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  35     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  36     ; MIPS32: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[C]]
  37     ; MIPS32: [[MUL:%[0-9]+]]:_(s32) = G_MUL [[ADD]], [[C]]
  38     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 7
  39     ; MIPS32: [[ADD1:%[0-9]+]]:_(s32) = nuw G_ADD [[MUL]], [[C2]]
  40     ; MIPS32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 -8
  41     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[ADD1]], [[C3]]
  42     ; MIPS32: [[COPY2:%[0-9]+]]:_(p0) = COPY $sp
  43     ; MIPS32: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[COPY2]](p0)
  44     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[PTRTOINT]], [[AND]]
  45     ; MIPS32: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[SUB]](s32)
  46     ; MIPS32: $sp = COPY [[INTTOPTR]](p0)
  47     ; MIPS32: [[COPY3:%[0-9]+]]:_(p0) = COPY [[INTTOPTR]](p0)
  48     ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
  49     ; MIPS32: $a0 = COPY [[COPY3]](p0)
  50     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  51     ; MIPS32: $a1 = COPY [[COPY4]](s32)
  52     ; MIPS32: $a2 = COPY [[COPY1]](s32)
  53     ; MIPS32: JAL &memset, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1, implicit $a2
  54     ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
  55     ; MIPS32: [[GEP:%[0-9]+]]:_(p0) = G_GEP [[COPY3]], [[COPY1]](s32)
  56     ; MIPS32: [[COPY5:%[0-9]+]]:_(p0) = COPY [[GEP]](p0)
  57     ; MIPS32: [[COPY6:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
  58     ; MIPS32: G_STORE [[COPY6]](s32), [[COPY5]](p0) :: (store 1 into %ir.arrayidx)
  59     ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
  60     ; MIPS32: $a0 = COPY [[COPY3]](p0)
  61     ; MIPS32: JAL @puts, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit-def $v0
  62     ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
  63     ; MIPS32: RetRA
  64     %2:_(s32) = COPY $a0
  65     %0:_(s8) = G_TRUNC %2(s32)
  66     %1:_(s32) = COPY $a1
  67     %3:_(s32) = G_CONSTANT i32 1
  68     %13:_(s8) = G_CONSTANT i8 0
  69     %4:_(s32) = G_ADD %1, %3
  70     %5:_(s32) = G_MUL %4, %3
  71     %6:_(s32) = G_CONSTANT i32 7
  72     %7:_(s32) = nuw G_ADD %5, %6
  73     %8:_(s32) = G_CONSTANT i32 -8
  74     %9:_(s32) = G_AND %7, %8
  75     %10:_(p0) = G_DYN_STACKALLOC %9(s32), 0
  76     G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.memset), %10(p0), %0(s8), %1(s32), 0 :: (store 1 into %ir.vla)
  77     %11:_(p0) = G_GEP %10, %1(s32)
  78     %12:_(p0) = COPY %11(p0)
  79     G_STORE %13(s8), %12(p0) :: (store 1 into %ir.arrayidx)
  80     ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
  81     $a0 = COPY %10(p0)
  82     JAL @puts, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit-def $v0
  83     ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
  84     RetRA
  85
  86 ...