artulab.com Git - openbsd/blob

   1 //===-- main.cpp ------------------------------------------------*- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 volatile int x;
  10
  11 void __attribute__((noinline)) sink() {
  12   x++; //% self.filecheck("bt", "main.cpp", "-implicit-check-not=artificial")
  13   // CHECK: frame #0: 0x{{[0-9a-f]+}} a.out`sink() at main.cpp:[[@LINE-1]]:4 [opt]
  14   // CHECK-NEXT: func3{{.*}} [opt] [artificial]
  15   // CHECK-NEXT: func1{{.*}} [opt] [artificial]
  16   // CHECK-NEXT: main{{.*}} [opt]
  17 }
  18
  19 void __attribute__((noinline)) func3() { sink(); /* tail */ }
  20
  21 void __attribute__((noinline)) func2() { sink(); /* tail */ }
  22
  23 void __attribute__((noinline)) func1() { func3(); /* tail */ }
  24
  25 int __attribute__((disable_tail_calls)) main(int argc, char **) {
  26   // The sequences `main -> func1 -> f{2,3} -> sink` are both plausible. Test
  27   // that lldb picks the latter sequence.
  28   func1();
  29   return 0;
  30 }