test/CodeGen/PowerPC/stack-no-redzone.ll

   1 ; Test that accesses of the stack remain within the range defined by R1,
   2 ; i.e. that loads and stores only access the allocated stack. This does not
   3 ; have to be the case when red zone is present.
   4
   5 ; Make sure that there is no red zone, i.e. ppc32 and SVR4 ABI.
   6 ; RUN: llc -mtriple=powerpc--freebsd-elf < %s | FileCheck %s
   7
   8 ; There are two ways that the stack pointer can be adjusted in the prologue:
   9 ; - by adding an immediate value:
  10 ;     stwu r1, -imm(r1)
  11 ; - by adding another register:
  12 ;     stwux r1, rx, r1
  13 ;
  14 ; The restoring of the stack pointer can be done:
  15 ; - by adding an immediate value to it:
  16 ;     addi r1, r1, imm
  17 ; - by copying the value from another register:
  18 ;     mr r1, rx
  19
  20
  21 ; Nothing (no special features).
  22 ;
  23 ; CHECK-LABEL: test_n:
  24 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  25 ; CHECK: stwu 1, -[[SIZE:[0-9]+]](1)
  26 ; CHECK: addi 1, 1, [[SIZE]]
  27 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  28 define i32 @test_n() local_unnamed_addr #0 {
  29 entry:
  30   %t0 = tail call i32 bitcast (i32 (...)* @bar0 to i32 ()*)() #0
  31   ret i32 %t0
  32 }
  33
  34 ; Aligned object on the stack.
  35 ;
  36 ; CHECK-LABEL: test_a:
  37 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  38 ; CHECK: stwux 1, 1, {{[0-9]+}}
  39 ; CHECK: mr 1, {{[0-9]+}}
  40 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  41
  42 define i32 @test_a() local_unnamed_addr #0 {
  43 entry:
  44   %t0 = alloca i32, align 128
  45   %t1 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
  46   ret i32 %t1
  47 }
  48
  49 ; Dynamic allocation on the stack.
  50 ;
  51 ; CHECK-LABEL: test_d:
  52 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  53 ; CHECK: stwu 1, -[[SIZE:[0-9]+]](1)
  54 ; CHECK: mr 1, {{[0-9]+}}
  55 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  56 define i32 @test_d(i32 %p0) local_unnamed_addr #0 {
  57   %t0 = alloca i32, i32 %p0, align 4
  58   %t1 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
  59   ret i32 %t1
  60 }
  61
  62 ; Large stack (exceeds size of D-field).
  63 ; CHECK-LABEL: test_s:
  64 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  65 ; CHECK: stwux 1, 1, {{[0-9]+}}
  66 ; CHECK: mr 1, {{[0-9]+}}
  67 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  68 define i32 @test_s(i32 %p0) local_unnamed_addr #0 {
  69 entry:
  70   %t0 = alloca [16384 x i32]
  71   %t1 = getelementptr [16384 x i32], [16384 x i32]* %t0, i32 0, i32 0
  72   %t2 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t1) #0
  73   ret i32 %t2
  74 }
  75
  76 ; Combinations.
  77
  78 ; CHECK-LABEL: test_ad:
  79 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  80 ; CHECK: stwux 1, 1, {{[0-9]+}}
  81 ; CHECK: mr 1, {{[0-9]+}}
  82 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  83 define i32 @test_ad(i32 %p0) local_unnamed_addr #0 {
  84   %t0 = alloca i32, align 128
  85   %t1 = alloca i32, i32 %p0, align 4
  86   %t2 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
  87   %t3 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t1) #0
  88   %t4 = add i32 %t2, %t3
  89   ret i32 %t4
  90 }
  91
  92 ; CHECK-LABEL: test_as:
  93 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
  94 ; CHECK: stwux 1, 1, {{[0-9]+}}
  95 ; CHECK: mr 1, {{[0-9]+}}
  96 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
  97 define i32 @test_as() local_unnamed_addr #0 {
  98   %t0 = alloca i32, align 128
  99   %t1 = alloca [16384 x i32]
 100   %t2 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
 101   %t3 = getelementptr [16384 x i32], [16384 x i32]* %t1, i32 0, i32 0
 102   %t4 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t3) #0
 103   %t5 = add i32 %t2, %t4
 104   ret i32 %t5
 105 }
 106
 107 ; CHECK-LABEL: test_ds:
 108 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
 109 ; CHECK: stwux 1, 1, {{[0-9]+}}
 110 ; CHECK: mr 1, {{[0-9]+}}
 111 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
 112 define i32 @test_ds(i32 %p0) local_unnamed_addr #0 {
 113   %t0 = alloca i32, i32 %p0, align 4
 114   %t1 = alloca [16384 x i32]
 115   %t2 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
 116   %t3 = getelementptr [16384 x i32], [16384 x i32]* %t1, i32 0, i32 0
 117   %t4 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t3) #0
 118   %t5 = add i32 %t2, %t4
 119   ret i32 %t5
 120 }
 121
 122 ; CHECK-LABEL: test_ads:
 123 ; CHECK-NOT: stw {{[0-9]+}}, -{{[0-9]+}}(1)
 124 ; CHECK: stwux 1, 1, {{[0-9]+}}
 125 ; CHECK: mr 1, {{[0-9]+}}
 126 ; CHECK-NOT: lwz {{[0-9]+}}, -{{[0-9]+}}(1)
 127 define i32 @test_ads(i32 %p0) local_unnamed_addr #0 {
 128   %t0 = alloca i32, align 128
 129   %t1 = alloca i32, i32 %p0, align 4
 130   %t2 = alloca [16384 x i32]
 131
 132   %t3 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t0) #0
 133   %t4 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t1) #0
 134   %t5 = add i32 %t3, %t4
 135
 136   %t6 = getelementptr [16384 x i32], [16384 x i32]* %t2, i32 0, i32 0
 137   %t7 = tail call i32 bitcast (i32 (...)* @bar1 to i32 (i32*)*)(i32* %t6) #0
 138   %t8 = add i32 %t5, %t7
 139   ret i32 %t7
 140 }
 141
 142
 143 declare i32 @bar0(...) local_unnamed_addr #0
 144 declare i32 @bar1(...) local_unnamed_addr #0
 145
 146 attributes #0 = { nounwind }