test/CodeGen/xcore-abi.c

   1 // RUN: %clang_cc1 -triple xcore -verify %s
   2 _Static_assert(sizeof(long long) == 8, "sizeof long long is wrong");
   3 _Static_assert(_Alignof(long long) == 4, "alignof long long is wrong");
   4
   5 _Static_assert(sizeof(double) == 8, "sizeof double is wrong");
   6 _Static_assert(_Alignof(double) == 4, "alignof double is wrong");
   7
   8 // RUN: %clang_cc1 -triple xcore-unknown-unknown -fno-signed-char -fno-common -emit-llvm -o - %s | FileCheck %s
   9
  10 // CHECK: target datalayout = "e-p:32:32:32-a0:0:32-n32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f16:16:32-f32:32:32-f64:32:32"
  11 // CHECK: target triple = "xcore-unknown-unknown"
  12
  13 // CHECK: @g1 = global i32 0, align 4
  14 int g1;
  15
  16 #include <stdarg.h>
  17 struct x { int a[5]; };
  18 void f(void*);
  19 void testva (int n, ...) {
  20   // CHECK-LABEL: testva
  21   va_list ap;
  22   va_start(ap,n);
  23   // CHECK: [[AP:%[a-z0-9]+]] = alloca i8*, align 4
  24   // CHECK: [[AP1:%[a-z0-9]+]] = bitcast i8** [[AP]] to i8*
  25   // CHECK: call void @llvm.va_start(i8* [[AP1]])
  26
  27   char* v1 = va_arg (ap, char*);
  28   f(v1);
  29   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  30   // CHECK: [[P:%[a-z0-9]+]] = bitcast i8* [[I]] to i8**
  31   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 4
  32   // CHECK: store i8* [[IN]], i8** [[AP]]
  33   // CHECK: [[V1:%[a-z0-9]+]] = load i8** [[P]]
  34   // CHECK: store i8* [[V1]], i8** [[V:%[a-z0-9]+]], align 4
  35   // CHECK: [[V2:%[a-z0-9]+]] = load i8** [[V]], align 4
  36   // CHECK: call void @f(i8* [[V2]])
  37
  38   char v2 = va_arg (ap, char); // expected-warning{{second argument to 'va_arg' is of promotable type 'char'}}
  39   f(&v2);
  40   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  41   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 4
  42   // CHECK: store i8* [[IN]], i8** [[AP]]
  43   // CHECK: [[V1:%[a-z0-9]+]] = load i8* [[I]]
  44   // CHECK: store i8 [[V1]], i8* [[V:%[a-z0-9]+]], align 1
  45   // CHECK: call void @f(i8* [[V]])
  46
  47   int v3 = va_arg (ap, int);
  48   f(&v3);
  49   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  50   // CHECK: [[P:%[a-z0-9]+]] = bitcast i8* [[I]] to i32*
  51   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 4
  52   // CHECK: store i8* [[IN]], i8** [[AP]]
  53   // CHECK: [[V1:%[a-z0-9]+]] = load i32* [[P]]
  54   // CHECK: store i32 [[V1]], i32* [[V:%[a-z0-9]+]], align 4
  55   // CHECK: [[V2:%[a-z0-9]+]] = bitcast i32* [[V]] to i8*
  56   // CHECK: call void @f(i8* [[V2]])
  57
  58   long long int v4 = va_arg (ap, long long int);
  59   f(&v4);
  60   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  61   // CHECK: [[P:%[a-z0-9]+]] = bitcast i8* [[I]] to i64*
  62   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 8
  63   // CHECK: store i8* [[IN]], i8** [[AP]]
  64   // CHECK: [[V1:%[a-z0-9]+]] = load i64* [[P]]
  65   // CHECK: store i64 [[V1]], i64* [[V:%[a-z0-9]+]], align 4
  66   // CHECK:[[V2:%[a-z0-9]+]] = bitcast i64* [[V]] to i8*
  67   // CHECK: call void @f(i8* [[V2]])
  68
  69   struct x v5 = va_arg (ap, struct x);  // typical agregate type
  70   f(&v5);
  71   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  72   // CHECK: [[I2:%[a-z0-9]+]] = bitcast i8* [[I]] to %struct.x**
  73   // CHECK: [[P:%[a-z0-9]+]] = load %struct.x** [[I2]]
  74   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 4
  75   // CHECK: store i8* [[IN]], i8** [[AP]]
  76   // CHECK: [[V1:%[a-z0-9]+]] = bitcast %struct.x* [[V:%[a-z0-9]+]] to i8*
  77   // CHECK: [[P1:%[a-z0-9]+]] = bitcast %struct.x* [[P]] to i8*
  78   // CHECK: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[V1]], i8* [[P1]], i32 20, i32 4, i1 false)
  79   // CHECK: [[V2:%[a-z0-9]+]] = bitcast %struct.x* [[V]] to i8*
  80   // CHECK: call void @f(i8* [[V2]])
  81
  82   int* v6 = va_arg (ap, int[4]);  // an unusual agregate type
  83   f(v6);
  84   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
  85   // CHECK: [[I2:%[a-z0-9]+]] = bitcast i8* [[I]] to [4 x i32]**
  86   // CHECK: [[P:%[a-z0-9]+]] = load [4 x i32]** [[I2]]
  87   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 4
  88   // CHECK: store i8* [[IN]], i8** [[AP]]
  89   // CHECK: [[V1:%[a-z0-9]+]] = bitcast [4 x i32]* [[V0:%[a-z0-9]+]] to i8*
  90   // CHECK: [[P1:%[a-z0-9]+]] = bitcast [4 x i32]* [[P]] to i8*
  91   // CHECK: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[V1]], i8* [[P1]], i32 16, i32 4, i1 false)
  92   // CHECK: [[V2:%[a-z0-9]+]] = getelementptr inbounds [4 x i32]* [[V0]], i32 0, i32 0
  93   // CHECK: store i32* [[V2]], i32** [[V:%[a-z0-9]+]], align 4
  94   // CHECK: [[V3:%[a-z0-9]+]] = load i32** [[V]], align 4
  95   // CHECK: [[V4:%[a-z0-9]+]] = bitcast i32* [[V3]] to i8*
  96   // CHECK: call void @f(i8* [[V4]])
  97
  98   double v7 = va_arg (ap, double);
  99   f(&v7);
 100   // CHECK: [[I:%[a-z0-9]+]] = load i8** [[AP]]
 101   // CHECK: [[P:%[a-z0-9]+]] = bitcast i8* [[I]] to double*
 102   // CHECK: [[IN:%[a-z0-9]+]] = getelementptr i8* [[I]], i32 8
 103   // CHECK: store i8* [[IN]], i8** [[AP]]
 104   // CHECK: [[V1:%[a-z0-9]+]] = load double* [[P]]
 105   // CHECK: store double [[V1]], double* [[V:%[a-z0-9]+]], align 4
 106   // CHECK: [[V2:%[a-z0-9]+]] = bitcast double* [[V]] to i8*
 107   // CHECK: call void @f(i8* [[V2]])
 108 }
 109
 110 void testbuiltin (void) {
 111   // CHECK-LABEL: testbuiltin
 112   // CHECK: call i32 @llvm.xcore.getid()
 113   // CHECK: call i32 @llvm.xcore.getps(i32 {{%[a-z0-9]+}})
 114   // CHECK: call i32 @llvm.xcore.bitrev(i32 {{%[a-z0-9]+}})
 115   // CHECK: call void @llvm.xcore.setps(i32 {{%[a-z0-9]+}}, i32 {{%[a-z0-9]+}})
 116   int i = __builtin_getid();
 117   unsigned int ui = __builtin_getps(i);
 118   ui = __builtin_bitrev(ui);
 119   __builtin_setps(i,ui);
 120 }
 121
 122 // CHECK-LABEL: define zeroext i8 @testchar()
 123 // CHECK: ret i8 -1
 124 char testchar (void) {
 125   return (char)-1;
 126 }
 127
 128 // CHECK: "no-frame-pointer-elim"="false"
 129 // CHECK-NOT: "no-frame-pointer-elim-non-leaf"