cross-project-tests/debuginfo-tests/dexter-tests/optnone-vectors-and-functions.cpp

   1 // RUN: %clang++ -std=gnu++11 -O2 -g %s -o %t
   2 // RUN: %dexter --fail-lt 1.0 -w \
   3 // RUN:     --binary %t --debugger 'lldb' -v -- %s
   4 // RUN: %clang++ -std=gnu++11 -O0 -g %s -o %t
   5 // RUN: %dexter --fail-lt 1.0 -w \
   6 // RUN:     --binary %t --debugger 'lldb' -- %s
   7
   8 // REQUIRES: lldb
   9 // Currently getting intermittent failures on darwin.
  10 // UNSUPPORTED: system-windows, system-darwin
  11
  12 //// Check that the debugging experience with __attribute__((optnone)) at O2
  13 //// matches O0. Test simple template functions performing simple arithmetic
  14 //// vector operations and trivial loops.
  15
  16 typedef int int4 __attribute__((ext_vector_type(4)));
  17 template<typename T> struct TypeTraits {};
  18
  19 template<>
  20 struct TypeTraits<int4> {
  21   static const unsigned NumElements = 4;
  22   static const unsigned UnusedField = 0xDEADBEEFU;
  23   static unsigned MysteryNumber;
  24 };
  25 unsigned TypeTraits<int4>::MysteryNumber = 3U;
  26
  27 template<typename T>
  28 __attribute__((optnone))
  29 T test1(T x, T y) {
  30   T tmp = x + y; // DexLabel('break_0')
  31   T tmp2 = tmp + y;
  32   return tmp; // DexLabel('break_1')
  33 }
  34 // DexLimitSteps('1', '1', from_line=ref('break_0'), to_line=ref('break_1'))
  35 //// FIXME: gdb can print this but lldb cannot. Perhaps PR42920?
  36 //     \DexExpectWatchValue('TypeTraits<int __attribute__((ext_vector_type(4)))>::NumElements', 4, on_line=ref('break_0'))
  37 //     \DexExpectWatchValue('TypeTraits<int __attribute__((ext_vector_type(4)))>::UnusedField', 0xdeadbeef, on_line=ref('break_0'))
  38 //   DexExpectWatchValue('x[0]', 1, on_line=ref('break_0'))
  39 //   DexExpectWatchValue('x[1]', 2, on_line=ref('break_0'))
  40 //   DexExpectWatchValue('x[2]', 3, on_line=ref('break_0'))
  41 //   DexExpectWatchValue('x[3]', 4, on_line=ref('break_0'))
  42 //   DexExpectWatchValue('y[0]', 5, on_line=ref('break_0'))
  43 //   DexExpectWatchValue('y[1]', 6, on_line=ref('break_0'))
  44 //   DexExpectWatchValue('y[2]', 7, on_line=ref('break_0'))
  45 //   DexExpectWatchValue('y[3]', 8, on_line=ref('break_0'))
  46 //   DexExpectWatchValue('tmp[0]', 6, on_line=ref('break_1'))
  47 //   DexExpectWatchValue('tmp[1]', 8, on_line=ref('break_1'))
  48 //   DexExpectWatchValue('tmp[2]', 10, on_line=ref('break_1'))
  49 //   DexExpectWatchValue('tmp[3]', 12, on_line=ref('break_1'))
  50 //   DexExpectWatchValue('tmp2[0]', 11, on_line=ref('break_1'))
  51 //   DexExpectWatchValue('tmp2[1]', 14, on_line=ref('break_1'))
  52 //   DexExpectWatchValue('tmp2[2]', 17, on_line=ref('break_1'))
  53 //   DexExpectWatchValue('tmp2[3]', 20, on_line=ref('break_1'))
  54
  55 template<typename T>
  56 __attribute__((optnone))
  57 T test2(T x, T y) {
  58   T tmp = x;
  59   int break_2 = 0; // DexLabel('break_2')
  60   for (unsigned i = 0; i != TypeTraits<T>::NumElements; ++i) {
  61     tmp <<= 1; // DexLabel('break_3')
  62     tmp |= y;
  63   }
  64
  65   tmp[0] >>= TypeTraits<T>::MysteryNumber;
  66   return tmp; // DexLabel('break_5')
  67 }
  68 // DexLimitSteps('1', '1', on_line=ref('break_2'))
  69 //   DexExpectWatchValue('x[0]', 6, on_line=ref('break_2'))
  70 //   DexExpectWatchValue('x[1]', 8, on_line=ref('break_2'))
  71 //   DexExpectWatchValue('x[2]', 10, on_line=ref('break_2'))
  72 //   DexExpectWatchValue('x[3]', 12, on_line=ref('break_2'))
  73 //   DexExpectWatchValue('y[0]', 5, on_line=ref('break_2'))
  74 //   DexExpectWatchValue('y[1]', 6, on_line=ref('break_2'))
  75 //   DexExpectWatchValue('y[2]', 7, on_line=ref('break_2'))
  76 //   DexExpectWatchValue('y[3]', 8, on_line=ref('break_2'))
  77 //   DexExpectWatchValue('tmp[0]', 6, on_line=ref('break_2'))
  78 //   DexExpectWatchValue('tmp[1]', 8, on_line=ref('break_2'))
  79 //   DexExpectWatchValue('tmp[2]', 10, on_line=ref('break_2'))
  80 //   DexExpectWatchValue('tmp[3]', 12, on_line=ref('break_2'))
  81 // DexLimitSteps('i', 3, from_line=ref('break_3'), to_line=ref('break_5'))
  82 //   DexExpectWatchValue('tmp[0]', 63, on_line=ref('break_3'))
  83 //   DexExpectWatchValue('tmp[1]', 94, on_line=ref('break_3'))
  84 //   DexExpectWatchValue('tmp[2]', 95, on_line=ref('break_3'))
  85 //   DexExpectWatchValue('tmp[3]', 120, on_line=ref('break_3'))
  86 //   DexExpectWatchValue('tmp[0]', 15, on_line=ref('break_5'))
  87
  88 template<typename T>
  89 __attribute__((optnone))
  90 T test3(T InVec) {
  91   T result;
  92   for (unsigned i=0; i != TypeTraits<T>::NumElements; ++i)
  93     result[i] = InVec[i]; // DexLabel('break_6')
  94   return result; // DexLabel('break_7')
  95 }
  96 // DexLimitSteps('i', '3', from_line=ref('break_6'), to_line=ref('break_7'))
  97 //   DexExpectWatchValue('InVec[0]', 15, from_line=ref('break_6'), to_line=ref('break_7'))
  98 //   DexExpectWatchValue('InVec[1]', 190, from_line=ref('break_6'), to_line=ref('break_7'))
  99 //   DexExpectWatchValue('InVec[2]', 191, from_line=ref('break_6'), to_line=ref('break_7'))
 100 //   DexExpectWatchValue('InVec[3]', 248, from_line=ref('break_6'), to_line=ref('break_7'))
 101 //   DexExpectWatchValue('result[0]', 15, from_line=ref('break_6'), to_line=ref('break_7'))
 102 //   DexExpectWatchValue('result[1]', 190, from_line=ref('break_6'), to_line=ref('break_7'))
 103 //   DexExpectWatchValue('result[2]', 191, from_line=ref('break_6'), to_line=ref('break_7'))
 104 //   DexExpectWatchValue('result[3]', 248, on_line=ref('break_7'))
 105
 106 template<typename T>
 107 __attribute__((optnone))
 108 T test4(T x, T y) {
 109   for (unsigned i=0; i != TypeTraits<T>::NumElements; ++i)
 110     x[i] = (x[i] > y[i])? x[i] : y[i] + TypeTraits<T>::MysteryNumber; // DexLabel('break_11')
 111   return x; // DexLabel('break_12')
 112 }
 113 // DexLimitSteps('1', '1', from_line=ref('break_11'), to_line=ref('break_12'))
 114 //// FIXME: lldb won't print this but gdb unexpectedly says it's optimized out, even at O0.
 115 //     \DexExpectWatchValue('TypeTraits<int __attribute__((ext_vector_type(4)))>::MysteryNumber', 3, on_line=ref('break_11'))
 116 //   DexExpectWatchValue('i', 0, 1, 2, 3, on_line=ref('break_11'))
 117 //   DexExpectWatchValue('x[0]', 1, 8, from_line=ref('break_11'), to_line=ref('break_12'))
 118 //   DexExpectWatchValue('x[1]', 2, 9, from_line=ref('break_11'), to_line=ref('break_12'))
 119 //   DexExpectWatchValue('x[2]', 3, 10, from_line=ref('break_11'), to_line=ref('break_12'))
 120 //   DexExpectWatchValue('x[3]', 4, 11, from_line=ref('break_11'), to_line=ref('break_12'))
 121 //   DexExpectWatchValue('y[0]', 5, from_line=ref('break_11'), to_line=ref('break_12'))
 122 //   DexExpectWatchValue('y[1]', 6, from_line=ref('break_11'), to_line=ref('break_12'))
 123 //   DexExpectWatchValue('y[2]', 7, from_line=ref('break_11'), to_line=ref('break_12'))
 124 //   DexExpectWatchValue('y[3]', 8, from_line=ref('break_11'), to_line=ref('break_12'))
 125
 126 int main() {
 127   int4 a = (int4){1,2,3,4};
 128   int4 b = (int4){5,6,7,8};
 129
 130   int4 tmp = test1(a,b);
 131   tmp = test2(tmp,b);
 132   tmp = test3(tmp);
 133   tmp += test4(a,b);
 134   return tmp[0];
 135 }