clang/test/CodeGen/RISCV/riscv-abi.cpp

   1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --function-signature --filter "^define |^entry:" --version 2
   2 // RUN: %clang_cc1 -triple riscv32 -emit-llvm %s -o - \
   3 // RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32-ILP32F,ILP32 %s
   4 // RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
   5 // RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32F-ILP32D,ILP32-ILP32F,ILP32F %s
   6 // RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-feature +d -target-abi ilp32d -emit-llvm %s -o - \
   7 // RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32F-ILP32D,ILP32D %s
   8
   9 // RUN: %clang_cc1 -triple riscv64 -emit-llvm %s -o - \
  10 // RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64-LP64F,LP64 %s
  11 // RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-abi lp64f -emit-llvm %s -o - \
  12 // RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64F-LP64D,LP64-LP64F,LP64F %s
  13 // RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-feature +d -target-abi lp64d -emit-llvm %s -o - \
  14 // RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64F-LP64D,LP64D %s
  15
  16 #include <stdint.h>
  17
  18 // Ensure that fields inherited from a parent struct are treated in the same
  19 // way as fields directly in the child for the purposes of RISC-V ABI rules.
  20
  21 struct parent1_int32_s {
  22   int32_t i1;
  23 };
  24
  25 struct child1_int32_s : parent1_int32_s {
  26   int32_t i2;
  27 };
  28
  29 // ILP32-ILP32F-ILP32D-LABEL: define dso_local [2 x i32] @_Z30int32_int32_struct_inheritance14child1_int32_s
  30 // ILP32-ILP32F-ILP32D-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0:[0-9]+]] {
  31 // ILP32-ILP32F-ILP32D:  entry:
  32 //
  33 // LP64-LP64F-LP64D-LABEL: define dso_local i64 @_Z30int32_int32_struct_inheritance14child1_int32_s
  34 // LP64-LP64F-LP64D-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0:[0-9]+]] {
  35 // LP64-LP64F-LP64D:  entry:
  36 //
  37 struct child1_int32_s int32_int32_struct_inheritance(struct child1_int32_s a) {
  38   return a;
  39 }
  40
  41 struct parent2_int32_s {
  42   int32_t i1;
  43 };
  44
  45 struct child2_float_s : parent2_int32_s {
  46   float f1;
  47 };
  48
  49 // ILP32-LABEL: define dso_local [2 x i32] @_Z30int32_float_struct_inheritance14child2_float_s
  50 // ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
  51 // ILP32:  entry:
  52 //
  53 // ILP32F-ILP32D-LABEL: define dso_local { i32, float } @_Z30int32_float_struct_inheritance14child2_float_s
  54 // ILP32F-ILP32D-SAME: (i32 [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
  55 // ILP32F-ILP32D:  entry:
  56 //
  57 // LP64-LABEL: define dso_local i64 @_Z30int32_float_struct_inheritance14child2_float_s
  58 // LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
  59 // LP64:  entry:
  60 //
  61 // LP64F-LP64D-LABEL: define dso_local { i32, float } @_Z30int32_float_struct_inheritance14child2_float_s
  62 // LP64F-LP64D-SAME: (i32 [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
  63 // LP64F-LP64D:  entry:
  64 //
  65 struct child2_float_s int32_float_struct_inheritance(struct child2_float_s a) {
  66   return a;
  67 }
  68
  69 struct parent3_float_s {
  70   float f1;
  71 };
  72
  73 struct child3_int64_s : parent3_float_s {
  74   int64_t i1;
  75 };
  76
  77 // ILP32-ILP32F-ILP32D-LABEL: define dso_local void @_Z30float_int64_struct_inheritance14child3_int64_s
  78 // ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_CHILD3_INT64_S:%.*]]) align 8 [[AGG_RESULT:%.*]], ptr noundef [[A:%.*]]) #[[ATTR0]] {
  79 // ILP32-ILP32F-ILP32D:  entry:
  80 //
  81 // LP64-LABEL: define dso_local [2 x i64] @_Z30float_int64_struct_inheritance14child3_int64_s
  82 // LP64-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
  83 // LP64:  entry:
  84 //
  85 // LP64F-LP64D-LABEL: define dso_local { float, i64 } @_Z30float_int64_struct_inheritance14child3_int64_s
  86 // LP64F-LP64D-SAME: (float [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
  87 // LP64F-LP64D:  entry:
  88 //
  89 struct child3_int64_s float_int64_struct_inheritance(struct child3_int64_s a) {
  90   return a;
  91 }
  92
  93 struct parent4_double_s {
  94   double d1;
  95 };
  96
  97 struct child4_double_s : parent4_double_s {
  98   double d1;
  99 };
 100
 101 // ILP32-ILP32F-LABEL: define dso_local void @_Z32double_double_struct_inheritance15child4_double_s
 102 // ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_CHILD4_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]], ptr noundef [[A:%.*]]) #[[ATTR0]] {
 103 // ILP32-ILP32F:  entry:
 104 //
 105 // ILP32D-LABEL: define dso_local { double, double } @_Z32double_double_struct_inheritance15child4_double_s
 106 // ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
 107 // ILP32D:  entry:
 108 //
 109 // LP64-LP64F-LABEL: define dso_local [2 x i64] @_Z32double_double_struct_inheritance15child4_double_s
 110 // LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
 111 // LP64-LP64F:  entry:
 112 //
 113 // LP64D-LABEL: define dso_local { double, double } @_Z32double_double_struct_inheritance15child4_double_s
 114 // LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
 115 // LP64D:  entry:
 116 //
 117 struct child4_double_s double_double_struct_inheritance(struct child4_double_s a) {
 118   return a;
 119 }
 120
 121 // When virtual inheritance is used, the resulting struct isn't eligible for
 122 // passing in registers.
 123
 124 struct parent5_virtual_s {
 125   int32_t i1;
 126 };
 127
 128 struct child5_virtual_s : virtual parent5_virtual_s {
 129   float f1;
 130 };
 131
 132 // ILP32-ILP32F-ILP32D-LABEL: define dso_local void @_Z38int32_float_virtual_struct_inheritance16child5_virtual_s
 133 // ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_CHILD5_VIRTUAL_S:%.*]]) align 4 [[AGG_RESULT:%.*]], ptr noundef [[A:%.*]]) #[[ATTR0]] {
 134 // ILP32-ILP32F-ILP32D:  entry:
 135 //
 136 // LP64-LP64F-LP64D-LABEL: define dso_local void @_Z38int32_float_virtual_struct_inheritance16child5_virtual_s
 137 // LP64-LP64F-LP64D-SAME: (ptr noalias sret([[STRUCT_CHILD5_VIRTUAL_S:%.*]]) align 8 [[AGG_RESULT:%.*]], ptr noundef [[A:%.*]]) #[[ATTR0]] {
 138 // LP64-LP64F-LP64D:  entry:
 139 //
 140 struct child5_virtual_s int32_float_virtual_struct_inheritance(struct child5_virtual_s a) {
 141   return a;
 142 }
 143
 144 // Check for correct lowering in the presence of diamond inheritance.
 145
 146 struct parent6_float_s {
 147   float f1;
 148 };
 149
 150 struct child6a_s : parent6_float_s {
 151 };
 152
 153 struct child6b_s : parent6_float_s {
 154 };
 155
 156 struct grandchild_6_s : child6a_s, child6b_s {
 157 };
 158
 159 // ILP32F-ILP64D: define{{.*}} { float, float } @_Z38float_float_diamond_struct_inheritance14grandchild_6_s(float %0, float %1)
 160 // ILP32-LABEL: define dso_local [2 x i32] @_Z38float_float_diamond_struct_inheritance14grandchild_6_s
 161 // ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
 162 // ILP32:  entry:
 163 //
 164 // ILP32F-ILP32D-LABEL: define dso_local { float, float } @_Z38float_float_diamond_struct_inheritance14grandchild_6_s
 165 // ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
 166 // ILP32F-ILP32D:  entry:
 167 //
 168 // LP64-LABEL: define dso_local i64 @_Z38float_float_diamond_struct_inheritance14grandchild_6_s
 169 // LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
 170 // LP64:  entry:
 171 //
 172 // LP64F-LP64D-LABEL: define dso_local { float, float } @_Z38float_float_diamond_struct_inheritance14grandchild_6_s
 173 // LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
 174 // LP64F-LP64D:  entry:
 175 //
 176 struct grandchild_6_s float_float_diamond_struct_inheritance(struct grandchild_6_s a) {
 177   return a;
 178 }
 179
 180 // NOTE: These prefixes are unused. Do not add tests below this line:
 181 //// NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
 182 // ILP32F: {{.*}}
 183 // LP64F: {{.*}}