/* * 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_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);