AVRFreaks.net

   target   |  GCC  | .text| .data|.text %
-------------------------------------------
frequency   | 4.3.3 | 1588 |  184 |  --
meter       | 4.6.1 | 1602 |  184 |  +.9%
-------------------------------------------
xevent      | 4.3.3 | 1194 |   30 |  --
test        | 4.6.1 | 1220 |   30 |  +2.2%
-------------------------------------------
xevent      | 4.3.3 |  564 |    8 |  --
delay       | 4.6.1 |  382 |    8 |  -32%
-------------------------------------------
xio         | 4.3.3 |   84 |    0 |  --
test        | 4.6.1 |  122 |    0 |  +45%
-------------------------------------------
xio         | 4.3.3 |  352 |   26 |  --
test 2      | 4.6.1 |  342 |   30 |  -2.9%
-------------------------------------------
main        | 4.3.3 | 7834 |  370 |  --
controller  | 4.6.1 | 7218 |  406 |  -7.9%

Compile:
-Os -std=gnu99 -ffunction-sections -fno-exceptions -fno-inline-small-functions -funsigned-bitfields -fshort-enums -fno-split-wide-types -fno-tree-scrv-cprop -ffreestanding

Link:
-Wl,-gc-sections,relax

j.c:4:6:foo_with_long_name   34   static
j.c:16:6:bar   2   dynamic
j.c:36:6:used_uninitialized1   0   static
j.c:42:6:used_uninitialized   0   static
j.c:69:5:main   4   dynamic,bounded

void foo_with_long_name(long a, long b, long c, long d, long e) {
  volatile long l, l1, l2, l3, l4;
 
  l = a;
  l1 = b;
  l2 = c;
  l3 = d;
  l4 = e;
}

  12                  foo_with_long_name:
  13 0000 4F92            push r4
  14 0002 5F92            push r5
  15 0004 6F92            push r6
  16 0006 7F92            push r7
  17 0008 AF92            push r10
  18 000a BF92            push r11
  19 000c CF92            push r12
  20 000e DF92            push r13
  21 0010 EF92            push r14
  22 0012 FF92            push r15
  23 0014 0F93            push r16
  24 0016 1F93            push r17
  25 0018 CF93            push r28
  26 001a DF93            push r29
  27 001c CDB7            in r28,__SP_L__
  28 001e DEB7            in r29,__SP_H__
  29 0020 6497            sbiw r28,20
  30 0022 0FB6            in __tmp_reg__,__SREG__
  31 0024 F894            cli
  32 0026 DEBF            out __SP_H__,r29
  33 0028 0FBE            out __SREG__,__tmp_reg__
  34 002a CDBF            out __SP_L__,r28
  35                  /* prologue: function */
  36                  /* frame size = 20 */
  37                  /* stack size = 34 */

#include <alloca.h>

void bar(unsigned char l) {
  volatile unsigned char * p;
  p = alloca(l);
}

  94                  bar:
  95 0092 CF93            push r28
  96 0094 DF93            push r29

typedef struct {
  union {
    unsigned char a;
    unsigned char k;
  };
  unsigned char b; 
} Ts;

volatile unsigned char voln;
void used_uninitialized1(void) {
  Ts s;

  voln = s.a;
}

void used_uninitialized(void) {
  Ts s;

  switch(voln) {
    case 0:
      s.a = 1;
      break;
    case 1:
      s.a = 55;
      break;
  };
  switch(s.a) {
    case 1:
      voln = 5;
      break;
  }
}

 126                  used_uninitialized1:
 127                  /* prologue: function */
 128                  /* frame size = 0 */
 129                  /* stack size = 0 */
 130                  .L__stack_usage = 0
 131 00c0 1092 0000       sts voln,__zero_reg__
 132                  /* epilogue start */
 133 00c4 0895            ret

void not_supported(void) __attribute__((__naked__));
void not_supported(void) {
}

j.c:64:1: warning: -fstack-usage not supported for this target [enabled by default]

int main(void) {
  foo_with_long_name(1, 2, 3, 4, 5);
  bar(100);
  while(1);
}

 162                  main:
 163                  /* prologue: function */
 164                  /* frame size = 0 */
 165                  /* stack size = 0 */
 166                  .L__stack_usage = 0
 167 0000 00D0            rcall .
 168 0002 0F92            push __tmp_reg__
 169 0004 85E0            ldi r24,lo8(5)
 170 0006 90E0            ldi r25,hi8(5)
 171 0008 A0E0            ldi r26,hlo8(5)
 172 000a B0E0            ldi r27,hhi8(5)
 173 000c EDB7            in r30,__SP_L__
 174 000e FEB7            in r31,__SP_H__
 175 0010 8183            std Z+1,r24
 176 0012 9283            std Z+2,r25
 177 0014 A383            std Z+3,r26
 178 0016 B483            std Z+4,r27
[... filling registers with the first 4 parameters as per ABI,
then the function call, purging of the stack,
and the rest of main() ...]

 197 003c AA24            clr r10
 198 003e BB24            clr r11
 199 0040 6501            movw r12,r10
 200 0042 6894            set
 201 0044 A2F8            bld r10,2

set
clr r10
bld r20,2
clr r11
clr r12
clr r13

#define _PGM __const __pgm
#define PGM_STR(X) ((_PGM char[]) { X })

int _PGM a = 1;
char _PGM *pstr = PGM_STR ("123");
long _PGM l[] = { 'a', 'b', 'c'};

char get_1 (char _PGM **p)       { return **p; }
char get_2 (char _PGM * _PGM *p) { return **p; }
char get_3 (char * _PGM *p)      { return **p; }
char get_4 (char **p)            { return **p; }

int main (void)
{
    return a + pstr[2] + l[1];
}

  GCC 4.3: 41476 bytes (.text + .data)
GCC 4.6.1: 41276 bytes