158 lines
4.1 KiB
C
158 lines
4.1 KiB
C
/*
|
|
* This file is part of the coreboot project.
|
|
*
|
|
* Copyright (C) 2012 Google, Inc. All rights reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; version 2 of the License.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA, 02110-1301 USA
|
|
*/
|
|
|
|
#include <stdint.h>
|
|
#include <bootstate.h>
|
|
#include <cbmem.h>
|
|
|
|
typedef struct file {
|
|
uint32_t magic;
|
|
struct file *next;
|
|
char *filename;
|
|
char *data;
|
|
int offset;
|
|
int len;
|
|
} FILE;
|
|
|
|
#define SEEK_SET 0 /* Seek from beginning of file. */
|
|
|
|
#define DIR_SEPARATOR '/'
|
|
#define IS_DIR_SEPARATOR(ch) ((ch) == DIR_SEPARATOR)
|
|
#define HAS_DRIVE_SPEC(f) (0)
|
|
|
|
#define COVERAGE_SIZE (32*1024)
|
|
|
|
static FILE *current_file = NULL;
|
|
static FILE *previous_file = NULL;
|
|
|
|
static FILE *fopen(const char *path, const char *mode)
|
|
{
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "fopen %s with mode %s\n",
|
|
path, mode);
|
|
#endif
|
|
if (!current_file) {
|
|
current_file = cbmem_add(CBMEM_ID_COVERAGE, 32*1024);
|
|
} else {
|
|
previous_file = current_file;
|
|
current_file = (FILE *)(ALIGN(((unsigned long)previous_file->data + previous_file->len), 16));
|
|
}
|
|
|
|
// TODO check if we're at the end of the CBMEM region (ENOMEM)
|
|
if (current_file) {
|
|
current_file->magic = 0x584d4153;
|
|
current_file->next = NULL;
|
|
if (previous_file)
|
|
previous_file->next = current_file;
|
|
current_file->filename = (char *)¤t_file[1];
|
|
strcpy(current_file->filename, path);
|
|
current_file->data = (char *)ALIGN(((unsigned long)current_file->filename + strlen(path) + 1), 16);
|
|
current_file->offset = 0;
|
|
current_file->len = 0;
|
|
}
|
|
|
|
return current_file;
|
|
}
|
|
|
|
static int fclose(FILE *stream)
|
|
{
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "fclose %s\n", stream->filename);
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
static int fseek(FILE *stream, long offset, int whence)
|
|
{
|
|
/* fseek should only be called with offset==0 and whence==SEEK_SET
|
|
* to a freshly opened file. */
|
|
gcc_assert (offset == 0 && whence == SEEK_SET);
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "fseek %s offset=%ld whence=%d\n",
|
|
stream->filename, offset, whence);
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
static long ftell(FILE *stream)
|
|
{
|
|
/* ftell should currently not be called */
|
|
gcc_assert(0);
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "ftell %s\n", stream->filename);
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
static size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream)
|
|
{
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "fread: ptr=%p size=%zd nmemb=%zd FILE*=%p\n",
|
|
ptr, size, nmemb, stream);
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
static size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream)
|
|
{
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "fwrite: %zd * 0x%zd bytes to file %s\n",
|
|
nmemb, size, stream->filename);
|
|
#endif
|
|
// TODO check if file is last opened file and fail otherwise.
|
|
|
|
memcpy(stream->data + stream->offset, ptr, size * nmemb);
|
|
stream->len += (nmemb * size) - (stream->len - stream->offset);
|
|
stream->offset += nmemb * size;
|
|
return nmemb;
|
|
}
|
|
|
|
static void setbuf(FILE *stream, char *buf)
|
|
{
|
|
gcc_assert(buf == 0);
|
|
}
|
|
|
|
static void coverage_init(void *unused)
|
|
{
|
|
extern long __CTOR_LIST__;
|
|
typedef void (*func_ptr)(void) ;
|
|
func_ptr *ctor = (func_ptr*) &__CTOR_LIST__;
|
|
if (ctor == NULL)
|
|
return;
|
|
|
|
for ( ; *ctor != (func_ptr) 0; ctor++) {
|
|
(*ctor)();
|
|
}
|
|
}
|
|
|
|
void __gcov_flush(void);
|
|
static void coverage_exit(void *unused)
|
|
{
|
|
#if CONFIG_DEBUG_COVERAGE
|
|
printk(BIOS_DEBUG, "Syncing coverage data.\n");
|
|
#endif
|
|
__gcov_flush();
|
|
}
|
|
|
|
BOOT_STATE_INIT_ENTRIES(gcov_bscb) = {
|
|
BOOT_STATE_INIT_ENTRY(BS_PRE_DEVICE, BS_ON_ENTRY, coverage_init, NULL),
|
|
BOOT_STATE_INIT_ENTRY(BS_OS_RESUME, BS_ON_ENTRY, coverage_exit, NULL),
|
|
BOOT_STATE_INIT_ENTRY(BS_PAYLOAD_LOAD, BS_ON_EXIT, coverage_exit, NULL),
|
|
};
|