1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
// RUN: %{ispc} --pic --target=sse2-i32x4,avx10.2-x4 -h %t.h %s -o %t.o -g
// RUN: %{cc} -x c -c %s -o %t.c.o --include %t.h -g
// RUN: %{cc} %t.c.o -o %t.c.bin -g -rdynamic %t.o %t_sse2.o %t_avx10.2.o
// RUN: sde -mrm -- %t.c.bin | FileCheck %s --check-prefix=CHECK-SSE2
// RUN: sde -dmr -- %t.c.bin | FileCheck %s --check-prefix=CHECK-DMR
// REQUIRES: LINUX_HOST && X86_ENABLED && SDE_INSTALLED && LLVM_20_0+
// CHECK-SSE2: ispc_foo_sse2
// CHECK-DMR: ispc_foo_avx10.2
#ifdef ISPC
extern "C" void print_stack_trace();
void check_isa() {
print_stack_trace();
print("check_isa");
}
export void ispc_foo() {
check_isa();
}
#else
#include <execinfo.h>
#include <stdio.h>
#include <stdlib.h>
void print_stack_trace() {
const int max_frames = 64;
void *buffer[max_frames];
int num_frames = backtrace(buffer, max_frames);
char **symbols = backtrace_symbols(buffer, num_frames);
if (symbols == NULL) {
perror("backtrace_symbols");
exit(EXIT_FAILURE);
}
printf("Stack trace:\n");
for (int i = 0; i < num_frames; i++) {
printf("%s\n", symbols[i]);
}
free(symbols);
}
extern void ispc_foo();
int main() {
ispc_foo();
return 0;
}
#endif // ISPC
|
