llvm/test/CodeGen/X86/win64_alloca_dynalloca.ll

   1 ; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-mingw32     | FileCheck %s -check-prefix=M64
   2 ; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32       | FileCheck %s -check-prefix=W64
   3 ; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32 -code-model=large | FileCheck %s -check-prefix=L64
   4 ; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32-macho | FileCheck %s -check-prefix=EFI
   5 ; PR8777
   6 ; PR8778
   7
   8 define i64 @unaligned(i64 %n, i64 %x) nounwind {
   9 ; M64-LABEL: unaligned:
  10 ; W64-LABEL: unaligned:
  11 ; EFI-LABEL: unaligned:
  12 entry:
  13
  14   %buf0 = alloca i8, i64 4096, align 1
  15
  16 ; ___chkstk_ms does not adjust %rsp.
  17 ; M64:       $4096, %eax
  18 ; M64: callq ___chkstk_ms
  19 ; M64: subq  %rax, %rsp
  20 ; M64: leaq 128(%rsp), %rbp
  21
  22 ; __chkstk does not adjust %rsp.
  23 ; W64:       $4096, %eax
  24 ; W64: callq __chkstk
  25 ; W64: subq  %rax, %rsp
  26 ; W64: leaq 128(%rsp), %rbp
  27
  28 ; Use %r11 for the large model.
  29 ; L64:       $4096, %eax
  30 ; L64: movabsq $__chkstk, %r11
  31 ; L64: callq *%r11
  32 ; L64: subq  %rax, %rsp
  33
  34 ; Freestanding
  35 ; EFI:       $[[B0OFS:4096|4104]], %rsp
  36 ; EFI-NOT:   call
  37
  38   %buf1 = alloca i8, i64 %n, align 1
  39
  40 ; M64: leaq  15(%{{.*}}), %rax
  41 ; M64: andq  $-16, %rax
  42 ; M64: callq ___chkstk_ms
  43 ; M64: subq  %rax, %rsp
  44 ; M64: movq  %rsp, %rax
  45
  46 ; W64: leaq  15(%{{.*}}), %rax
  47 ; W64: andq  $-16, %rax
  48 ; W64: callq __chkstk
  49 ; W64: subq  %rax, %rsp
  50 ; W64: movq  %rsp, %rax
  51
  52 ; L64: leaq  15(%{{.*}}), %rax
  53 ; L64: andq  $-16, %rax
  54 ; L64: movabsq $__chkstk, %r11
  55 ; L64: callq *%r11
  56 ; L64: subq  %rax, %rsp
  57 ; L64: movq  %rsp, %rax
  58
  59 ; EFI: leaq  15(%{{.*}}), [[R1:%r.*]]
  60 ; EFI: andq  $-16, [[R1]]
  61 ; EFI: movq  %rsp, [[R64:%r.*]]
  62 ; EFI: subq  [[R1]], [[R64]]
  63 ; EFI: movq  [[R64]], %rsp
  64
  65   %r = call i64 @bar(i64 %n, i64 %x, i64 %n, ptr %buf0, ptr %buf1) nounwind
  66
  67 ; M64: subq  $48, %rsp
  68 ; M64: movq  %rax, 32(%rsp)
  69 ; M64: leaq  -128(%rbp), %r9
  70 ; M64: callq bar
  71
  72 ; W64: subq  $48, %rsp
  73 ; W64: movq  %rax, 32(%rsp)
  74 ; W64: leaq  -128(%rbp), %r9
  75 ; W64: callq bar
  76
  77 ; EFI: subq  $48, %rsp
  78 ; EFI: movq  [[R64]], 32(%rsp)
  79 ; EFI: leaq  -[[B0OFS]](%rbp), %r9
  80 ; EFI: callq _bar
  81
  82   ret i64 %r
  83
  84 ; M64: leaq    3968(%rbp), %rsp
  85
  86 ; W64: leaq    3968(%rbp), %rsp
  87
  88 }
  89
  90 define i64 @aligned(i64 %n, i64 %x) nounwind {
  91 ; M64-LABEL: aligned:
  92 ; W64-LABEL: aligned:
  93 ; EFI-LABEL: aligned:
  94 entry:
  95
  96   %buf1 = alloca i8, i64 %n, align 128
  97
  98 ; M64: leaq  15(%{{.*}}), %rax
  99 ; M64: andq  $-16, %rax
 100 ; M64: callq ___chkstk_ms
 101 ; M64: subq  %rax, %rsp
 102 ; M64: movq  %rsp, [[R2:%r.*]]
 103 ; M64: andq  $-128, [[R2]]
 104 ; M64: movq  [[R2]], %rsp
 105
 106 ; W64: leaq  15(%{{.*}}), %rax
 107 ; W64: andq  $-16, %rax
 108 ; W64: callq __chkstk
 109 ; W64: subq  %rax, %rsp
 110 ; W64: movq  %rsp, [[R2:%r.*]]
 111 ; W64: andq  $-128, [[R2]]
 112 ; W64: movq  [[R2]], %rsp
 113
 114 ; EFI: leaq  15(%{{.*}}), [[R1:%r.*]]
 115 ; EFI: andq  $-16, [[R1]]
 116 ; EFI: movq  %rsp, [[R64:%r.*]]
 117 ; EFI: subq  [[R1]], [[R64]]
 118 ; EFI: andq  $-128, [[R64]]
 119 ; EFI: movq  [[R64]], %rsp
 120
 121   %r = call i64 @bar(i64 %n, i64 %x, i64 %n, ptr undef, ptr %buf1) nounwind
 122
 123 ; M64: subq  $48, %rsp
 124 ; M64: movq  [[R2]], 32(%rsp)
 125 ; M64: callq bar
 126
 127 ; W64: subq  $48, %rsp
 128 ; W64: movq  [[R2]], 32(%rsp)
 129 ; W64: callq bar
 130
 131 ; EFI: subq  $48, %rsp
 132 ; EFI: movq  [[R64]], 32(%rsp)
 133 ; EFI: callq _bar
 134
 135   ret i64 %r
 136 }
 137
 138 declare i64 @bar(i64, i64, i64, ptr nocapture, ptr nocapture) nounwind