gold/testsuite/two_file_test_1_v1.cc

   1 // two_file_test_1_v1.cc -- a two file test case for gold, file 1 of 2
   2
   3 // Copyright (C) 2006-2021 Free Software Foundation, Inc.
   4 // Written by Ian Lance Taylor <iant@google.com>.
   5
   6 // This file is part of gold.
   7
   8 // This program is free software; you can redistribute it and/or modify
   9 // it under the terms of the GNU General Public License as published by
  10 // the Free Software Foundation; either version 3 of the License, or
  11 // (at your option) any later version.
  12
  13 // This program is distributed in the hope that it will be useful,
  14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 // GNU General Public License for more details.
  17
  18 // You should have received a copy of the GNU General Public License
  19 // along with this program; if not, write to the Free Software
  20 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  21 // MA 02110-1301, USA.
  22
  23 // This is an alternate version of the source file two_file_test_1.cc,
  24 // used to test incremental linking.  We build a binary first using this
  25 // source file, then do an incremental link with the primary version of
  26 // the file.
  27
  28 // For incremental linking tests, this file needs to be compiled with
  29 // -fno-exceptions -fno-asynchronous-unwind-tables.
  30
  31 // This tests references between files.  This is file 1, and
  32 // two_file_test_2.cc is file 2.  We test in several different ways:
  33
  34 // Files 1 and 2 linked together in executable.
  35 // File 1 in executable, file 2 in shared library.
  36 // File 1 in shared library, file 2 in executable.
  37 // Files 1 and 2 linked together in shared library.
  38 // Files 1 and 2 in different shared libraries.
  39
  40 // We test the following cases.
  41
  42 // 1  Code in file 1 calls code in file 2.
  43 // 2  Code in file 1 refers to global data in file 2.
  44 // 3  Code in file 1 referes to common symbol in file 2.
  45 // 4  Code in file 1 refers to offset within global data in file 2.
  46 // 5  Code in file 1 refers to offset within common symbol in file 2.
  47 // 6  Data in file 1 refers to global data in file 2.
  48 // 7  Data in file 1 refers to common symbol in file 2.
  49 // 8  Data in file 1 refers to offset within global data in file 2.
  50 // 9  Data in file 1 refers to offset within common symbol in file 2.
  51 // 10 Data in file 1 refers to function in file 2.
  52 // 11 Pass function pointer from file 1 to file 2.
  53 // 12 Compare address of function for equality in both files.
  54 // 13 Compare address of inline function for equality in both files.
  55 // 14 Compare string constants in file 1 and file 2.
  56 // 15 Compare wide string constants in file 1 and file 2.
  57 // 16 Call a function directly after its address has been taken.
  58 // 17 File 1 checks array of string constants defined in file 2.
  59 // 18 File 1 checks string constants referenced in code in file 2.
  60
  61 #include "two_file_test.h"
  62
  63 // 1  Code in file 1 calls code in file 2.
  64
  65 bool
  66 t1()
  67 {
  68   return t1_2() == 0;  // Intentionally wrong.
  69 }
  70
  71 // 2  Code in file 1 refers to global data in file 2.
  72
  73 bool
  74 t2()
  75 {
  76   return v2 == 0;  // Intentionally wrong.
  77 }
  78
  79 // 3  Code in file 1 referes to common symbol in file 2.
  80
  81 bool
  82 t3()
  83 {
  84   return v3 == 0;  // Intentionally wrong.
  85 }
  86
  87 // 4  Code in file 1 refers to offset within global data in file 2.
  88
  89 bool
  90 t4()
  91 {
  92   return v4[5] == ',';
  93 }
  94
  95 // 5  Code in file 1 refers to offset within common symbol in file 2.
  96
  97 bool
  98 t5()
  99 {
 100   return v5[7] == 'w';
 101 }
 102
 103 // 6  Data in file 1 refers to global data in file 2.
 104
 105 int* p6 = &v2;
 106
 107 bool
 108 t6()
 109 {
 110   return *p6 == 456;
 111 }
 112
 113 // 7  Data in file 1 refers to common symbol in file 2.
 114
 115 int* p7 = &v3;
 116
 117 bool
 118 t7()
 119 {
 120   return *p7 == 789;
 121 }
 122
 123 // 8  Data in file 1 refers to offset within global data in file 2.
 124
 125 char* p8 = &v4[6];
 126
 127 bool
 128 t8()
 129 {
 130   return *p8 == ' ';
 131 }
 132
 133 // 9  Data in file 1 refers to offset within common symbol in file 2.
 134
 135 char* p9 = &v5[8];
 136
 137 bool
 138 t9()
 139 {
 140   return *p9 == 'o';
 141 }
 142
 143 // 10 Data in file 1 refers to function in file 2.
 144
 145 int (*pfn)() = &f10;
 146
 147 bool
 148 t10()
 149 {
 150   return (*pfn)() == 135;
 151 }
 152
 153 // 11 Pass function pointer from file 1 to file 2.
 154
 155 int
 156 f11a()
 157 {
 158   return 246;
 159 }
 160
 161 bool
 162 t11()
 163 {
 164   return f11b(&f11a) == 246;
 165 }
 166
 167 // 12 Compare address of function for equality in both files.
 168
 169 bool
 170 t12()
 171 {
 172   return &t12 == f12();
 173 }
 174
 175 // 13 Compare address of inline function for equality in both files.
 176
 177 bool
 178 t13()
 179 {
 180   return &f13i == f13();
 181 }
 182
 183 // 14 Compare string constants in file 1 and file 2.
 184
 185 bool
 186 t14()
 187 {
 188   const char* s1 = TEST_STRING_CONSTANT;
 189   const char* s2 = f14();
 190   while (*s1 != '\0')
 191     if (*s1++ != *s2++)
 192       return false;
 193   return *s2 == '\0';
 194 }
 195
 196 // 15 Compare wide string constants in file 1 and file 2.
 197
 198 bool
 199 t15()
 200 {
 201   const wchar_t* s1 = TEST_WIDE_STRING_CONSTANT;
 202   const wchar_t* s2 = f15();
 203   while (*s1 != '\0')
 204     if (*s1++ != *s2++)
 205       return false;
 206   return *s2 == '\0';
 207 }
 208
 209 // 16 Call a function directly after its address has been taken.
 210
 211 bool
 212 t16()
 213 {
 214   return f10() == 135;
 215 }
 216
 217 // 17 File 1 checks array of string constants defined in file 2.
 218
 219 bool
 220 t17()
 221 {
 222   char c = 'a';
 223   for (int i = 0; i < T17_COUNT; ++i)
 224     {
 225       if (t17data[i][0] != c || t17data[i][1] != '\0')
 226         return false;
 227       ++c;
 228     }
 229   return true;
 230 }
 231
 232 // 18 File 1 checks string constants referenced in code in file 2.
 233
 234 bool
 235 t18()
 236 {
 237   // Stubbed out; full implementation in two_file_test_1.cc.
 238   return true;
 239 }