Viewing file:  asm-x86-dyndbg-1.c (3.47 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Test reduced from use of dynamic_pr_debug on Linux kernel, to verify that
we treat the static struct _ddebug as not needing to be tracked by the
analyzer, thus optimizing away bloat in the analyzer's state tracking. */
/* { dg-do compile { target x86_64-*-* } } */
/* { dg-additional-options "-fdump-analyzer-untracked" } */
/* Adapted from various files in the Linux kernel, all of which have: */
/* SPDX-License-Identifier: GPL-2.0 */
typedef _Bool bool;
#define true 1
#define false 0
typedef struct {
int counter;
} atomic_t;
/* Adapted from include/linux/compiler_attributes.h */
#define __always_inline inline __attribute__((__always_inline__))
/* Adapted from include/linux/compiler-gcc.h */
#define asm_volatile_goto(x...) do { asm goto(x); asm (""); } while (0)
/* Adapted from include/linux/jump_label.h, which has: */
struct static_key {
atomic_t enabled;
union {
/* [...snip...] */
struct jump_entry *entries;
/* [...snip...] */
};
};
struct static_key_true {
struct static_key key;
};
struct static_key_false {
struct static_key key;
};
extern bool ____wrong_branch_error(void);
/* Adapted from arch/x86/include/asm/jump_label.h */
#define JUMP_TABLE_ENTRY \
".pushsection __jump_table, \"aw\" \n\t" \
/*_ASM_ALIGN*/ "\n\t" \
".long 1b - . \n\t" \
".long %l[l_yes] - . \n\t" \
/*_ASM_PTR*/ "%c0 + %c1 - .\n\t" \
".popsection \n\t"
static __always_inline bool arch_static_branch(struct static_key * const key, const bool branch)
{
asm_volatile_goto("1:"
/*".byte " __stringify(BYTES_NOP5) "\n\t" */
JUMP_TABLE_ENTRY
: : "i" (key), "i" (branch) : : l_yes);
return false;
l_yes:
return true;
}
static __always_inline bool arch_static_branch_jump(struct static_key * const key, const bool branch)
{
asm_volatile_goto("1:"
"jmp %l[l_yes]\n\t"
JUMP_TABLE_ENTRY
: : "i" (key), "i" (branch) : : l_yes);
return false;
l_yes:
return true;
}
/* Adapted from include/linux/dynamic_debug.h */
struct _ddebug {
/* [...snip...] */
const char *function;
const char *filename;
const char *format;
unsigned int lineno:18;
/* [...snip...] */
unsigned int flags:8;
union {
struct static_key_true dd_key_true;
struct static_key_false dd_key_false;
} key;
} __attribute__((aligned(8)));
extern void __dynamic_pr_debug(struct _ddebug *descriptor, const char *fmt, ...);
static void expanded_dynamic_pr_debug(void) {
do {
static struct _ddebug __attribute__((__aligned__(8)))
__attribute__((__section__("__dyndbg"))) __UNIQUE_ID_ddebug277 = { /* { dg-warning "track '__UNIQUE_ID_ddebug277': no" } */
.function = __func__,
.filename = __FILE__,
.format = ("hello world"),
.lineno = __LINE__,
.flags = 0};
if (({
bool branch;
if (__builtin_types_compatible_p(
typeof(*&__UNIQUE_ID_ddebug277.key.dd_key_false),
struct static_key_true))
branch = arch_static_branch_jump(
&(&__UNIQUE_ID_ddebug277.key.dd_key_false)->key, false);
else if (__builtin_types_compatible_p(
typeof(*&__UNIQUE_ID_ddebug277.key.dd_key_false),
struct static_key_false))
branch = arch_static_branch(
&(&__UNIQUE_ID_ddebug277.key.dd_key_false)->key, false);
else
branch = ____wrong_branch_error();
__builtin_expect(!!(branch), 0);
}))
__dynamic_pr_debug(&__UNIQUE_ID_ddebug277,
"hello world");
} while (0);
}
|
