test/CodeGen/vla.c

   1 // RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
   2
   3 int b(char* x);
   4
   5 // Extremely basic VLA test
   6 void a(int x) {
   7   char arry[x];
   8   arry[0] = 10;
   9   b(arry);
  10 }
  11
  12 int c(int n)
  13 {
  14   return sizeof(int[n]);
  15 }
  16
  17 int f0(int x) {
  18   int vla[x];
  19   return vla[x-1];
  20 }
  21
  22 void
  23 f(int count)
  24 {
  25  int a[count];
  26
  27   do {  } while (0);
  28
  29   if (a[0] != 3) {
  30   }
  31 }
  32
  33 void g(int count) {
  34   // Make sure we emit sizes correctly in some obscure cases
  35   int (*a[5])[count];
  36   int (*b)[][count];
  37 }
  38
  39 // rdar://8403108
  40 // CHECK: define void @f_8403108
  41 void f_8403108(unsigned x) {
  42   // CHECK: call i8* @llvm.stacksave()
  43   char s1[x];
  44   while (1) {
  45     // CHECK: call i8* @llvm.stacksave()
  46     char s2[x];
  47     if (1)
  48       break;
  49   // CHECK: call void @llvm.stackrestore(i8*
  50   }
  51   // CHECK: call void @llvm.stackrestore(i8*
  52 }
  53
  54 // pr7827
  55 void function(short width, int data[][width]) {} // expected-note {{passing argument to parameter 'data' here}}
  56
  57 void test() {
  58      int bork[4][13];
  59      // CHECK: call void @function(i16 signext 1, i32* null)
  60      function(1, 0);
  61      // CHECK: call void @function(i16 signext 1, i32* inttoptr
  62      function(1, 0xbadbeef); // expected-warning {{incompatible integer to pointer conversion passing}}
  63      // CHECK: call void @function(i16 signext 1, i32* {{.*}})
  64      function(1, bork);
  65 }
  66
  67 void function1(short width, int data[][width][width]) {}
  68 void test1() {
  69      int bork[4][13][15];
  70      // CHECK: call void @function1(i16 signext 1, i32* {{.*}})
  71      function1(1, bork);
  72      // CHECK: call void @function(i16 signext 1, i32* {{.*}})
  73      function(1, bork[2]);
  74 }
  75
  76 // rdar://8476159
  77 static int GLOB;
  78 int test2(int n)
  79 {
  80   GLOB = 0;
  81   char b[1][n+3];                       /* Variable length array.  */
  82   // CHECK:  [[tmp_1:%.*]] = load i32* @GLOB, align 4
  83   // CHECK-NEXT: add nsw i32 [[tmp_1]], 1
  84   __typeof__(b[GLOB++]) c;
  85   return GLOB;
  86 }
  87
  88 // http://llvm.org/PR8567
  89 // CHECK: define double @test_PR8567
  90 double test_PR8567(int n, double (*p)[n][5]) {
  91   // CHECK: store [[vla_type:.*]] %p,
  92   // CHECK: load i32*
  93   // CHECK-NEXT: mul i32 40
  94   // CHECK-NEXT: [[byte_idx:%.*]] = mul i32 1
  95   // CHECK-NEXT: [[tmp_1:%.*]] = load [[vla_type]]*
  96   // CHECK-NEXT: [[tmp_2:%.*]] = bitcast [[vla_type]] [[tmp_1]] to i8*
  97   // CHECK-NEXT: [[idx:%.*]] = getelementptr inbounds i8* [[tmp_2]], i32 [[byte_idx]]
  98   // CHECK-NEXT: bitcast i8* [[idx]] to [[vla_type]]
  99  return p[1][2][3];
 100 }