1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Callgrind ---*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- ct_callstack.c ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Callgrind, a Valgrind tool for call tracing. 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Copyright (C) 2002-2010, Josef Weidendorfer (Josef.Weidendorfer@gmx.de) 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "global.h" 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Call stack, operations ---*/ 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stack of current thread. Gets initialized when switching to 1st thread. 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * The artificial call stack is an array of call_entry's, representing 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * stack frames of the executing program. 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Array call_stack and call_stack_esp have same size and grow on demand. 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Array call_stack_esp holds SPs of corresponding stack frames. 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define N_CALL_STACK_INITIAL_ENTRIES 500 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browncall_stack CLG_(current_call_stack); 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid CLG_(init_call_stack)(call_stack* s) 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(s != 0); 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s->size = N_CALL_STACK_INITIAL_ENTRIES; 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s->entry = (call_entry*) CLG_MALLOC("cl.callstack.ics.1", 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s->size * sizeof(call_entry)); 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s->sp = 0; 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s->entry[0].cxt = 0; /* for assertion in push_cxt() */ 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for(i=0; i<s->size; i++) s->entry[i].enter_cost = 0; 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browncall_entry* CLG_(get_call_entry)(Int sp) 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(sp <= CLG_(current_call_stack).sp); 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return &(CLG_(current_call_stack).entry[sp]); 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid CLG_(copy_current_call_stack)(call_stack* dst) 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(dst != 0); 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown dst->size = CLG_(current_call_stack).size; 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown dst->entry = CLG_(current_call_stack).entry; 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown dst->sp = CLG_(current_call_stack).sp; 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid CLG_(set_current_call_stack)(call_stack* s) 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(s != 0); 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).size = s->size; 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).entry = s->entry; 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp = s->sp; 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic __inline__ 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid ensure_stack_size(Int i) 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int oldsize; 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown call_stack *cs = &CLG_(current_call_stack); 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (i < cs->size) return; 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown oldsize = cs->size; 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cs->size *= 2; 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (i > cs->size) cs->size *= 2; 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cs->entry = (call_entry*) VG_(realloc)("cl.callstack.ess.1", 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cs->entry, 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cs->size * sizeof(call_entry)); 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for(i=oldsize; i<cs->size; i++) 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cs->entry[i].enter_cost = 0; 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(stat).call_stack_resizes++; 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUGIF(2) 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(" call stack enlarged to %d entries\n", 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).size); 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Called when function entered nonrecursive */ 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void function_entered(fn_node* fn) 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(fn != 0); 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if CLG_ENABLE_DEBUG 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->verbosity >=0) { 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int old = CLG_(clo).verbose; 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(clo).verbose = fn->verbosity; 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->verbosity = old; 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "Entering %s: Verbosity set to %d\n", 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->name, CLG_(clo).verbose); 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->dump_before) { 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Char trigger[FN_NAME_LEN]; 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(sprintf)(trigger, "--dump-before=%s", fn->name); 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(dump_profile)(trigger, True); 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else if (fn->zero_before) { 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(zero_all_cost)(True); 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->toggle_collect) { 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).collect = !CLG_(current_state).collect; 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUG(2," entering %s: toggled collection state to %s\n", 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->name, 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).collect ? "ON" : "OFF"); 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Called when function left (no recursive level active) */ 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void function_left(fn_node* fn) 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(fn != 0); 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->dump_after) { 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Char trigger[FN_NAME_LEN]; 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(sprintf)(trigger, "--dump-after=%s", fn->name); 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(dump_profile)(trigger, True); 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->toggle_collect) { 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).collect = !CLG_(current_state).collect; 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUG(2," leaving %s: toggled collection state to %s\n", 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->name, 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).collect ? "ON" : "OFF"); 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if CLG_ENABLE_DEBUG 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fn->verbosity >=0) { 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int old = CLG_(clo).verbose; 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(clo).verbose = fn->verbosity; 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->verbosity = old; 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "Leaving %s: Verbosity set back to %d\n", 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn->name, CLG_(clo).verbose); 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Push call on call stack. 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Increment the usage count for the function called. 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * A jump from <from> to <to>, with <sp>. 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * If <skip> is true, this is a call to a function to be skipped; 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * for this, we set jcc = 0. 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid CLG_(push_call_stack)(BBCC* from, UInt jmp, BBCC* to, Addr sp, Bool skip) 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jCC* jcc; 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt* pdepth; 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown call_entry* current_entry; 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr ret_addr; 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Ensure a call stack of size <current_sp>+1. 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * The +1 is needed as push_cxt will store the 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * context at [current_sp] 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ensure_stack_size(CLG_(current_call_stack).sp +1); 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry = &(CLG_(current_call_stack).entry[CLG_(current_call_stack).sp]); 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (skip) { 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jcc = 0; 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else { 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn_node* to_fn = to->cxt->fn[0]; 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(current_state).nonskipped) { 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* this is a jmp from skipped to nonskipped */ 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(CLG_(current_state).nonskipped == from); 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* As push_cxt() has to be called before push_call_stack if not 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * skipping, the old context should already be saved on the stack */ 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(current_entry->cxt != 0); 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(copy_cost_lz)( CLG_(sets).full, &(current_entry->enter_cost), 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).cost ); 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jcc = CLG_(get_jcc)(from, jmp, to); 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(jcc != 0); 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown pdepth = CLG_(get_fn_entry)(to_fn->number); 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(clo).skip_direct_recursion) { 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* only increment depth if another function is called */ 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc->from->cxt->fn[0] != to_fn) (*pdepth)++; 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else (*pdepth)++; 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (*pdepth>1) 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(stat).rec_call_counter++; 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jcc->call_counter++; 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(stat).call_counter++; 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (*pdepth == 1) function_entered(to_fn); 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* return address is only is useful with a real call; 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * used to detect RET w/o CALL */ 238ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ret_addr = (from->bb->jmpkind == Ijk_Call) ? 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bb_addr(from->bb) + from->bb->instr_len : 0; 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* put jcc on call stack */ 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry->jcc = jcc; 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry->sp = sp; 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry->ret_addr = ret_addr; 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry->nonskipped = CLG_(current_state).nonskipped; 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp++; 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* To allow for above assertion we set context of next frame to 0 */ 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(CLG_(current_call_stack).sp < CLG_(current_call_stack).size); 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry++; 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown current_entry->cxt = 0; 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!skip) 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).nonskipped = 0; 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else if (!CLG_(current_state).nonskipped) { 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* a call from nonskipped to skipped */ 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).nonskipped = from; 259ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!CLG_(current_state).nonskipped->skipped) { 260ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(init_cost_lz)( CLG_(sets).full, 261ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown &CLG_(current_state).nonskipped->skipped); 262ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(stat).distinct_skips++; 263ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 264ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 265ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 266ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if CLG_ENABLE_DEBUG 267ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUGIF(0) { 268ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(clo).verbose<2) { 269ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc && jcc->to && jcc->to->bb) { 270ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown char spaces[][41] = { " . . . . . . . . . .", 271ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " . . . . . . . . . . ", 272ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " . . . . . . . . . . ", 273ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ". . . . . . . . . . " }; 274ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 275ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown int s = CLG_(current_call_stack).sp; 276ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int* pars = (Int*) sp; 277ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 278ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown BB* bb = jcc->to->bb; 279ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (s>40) s=40; 280ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)("%s> %s(0x%x, 0x%x, ...) [%s / %#lx]\n", spaces[s%4]+40-s, bb->fn->name, 281ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown pars ? pars[1]:0, 282ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown pars ? pars[2]:0, 283ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bb->obj->name + bb->obj->last_slash_pos, 284ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bb->offset); 285ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 286ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 287ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else if (CLG_(clo).verbose<4) { 288ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)("+ %2d ", CLG_(current_call_stack).sp); 289ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_short_jcc)(jcc); 290ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(", SP %#lx, RA %#lx\n", sp, ret_addr); 291ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 292ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else { 293ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(" Pushed "); 294ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_stackentry)(3, CLG_(current_call_stack).sp-1); 295ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 296ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 297ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 298ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 299ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 300ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 301ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 302ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Pop call stack and update inclusive sums. 303ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Returns modified fcc. 304ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 305ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * If the JCC becomes inactive, call entries are freed if possible 306ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 307ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid CLG_(pop_call_stack)() 308ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 309ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jCC* jcc; 310ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int depth = 0; 311ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown call_entry* lower_entry; 312ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 313ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(current_state).sig >0) { 314ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Check if we leave a signal handler; this can happen when 315ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * calling longjmp() in the handler */ 316ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(run_post_signal_on_call_stack_bottom)(); 317ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 318ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 319ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown lower_entry = 320ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown &(CLG_(current_call_stack).entry[CLG_(current_call_stack).sp-1]); 321ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 322ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUG(4,"+ pop_call_stack: frame %d, jcc %p\n", 323ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp, lower_entry->jcc); 324ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 325ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* jCC item not any more on real stack: pop */ 326ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jcc = lower_entry->jcc; 327ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).nonskipped = lower_entry->nonskipped; 328ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 329ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc) { 330ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn_node* to_fn = jcc->to->cxt->fn[0]; 331ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt* pdepth = CLG_(get_fn_entry)(to_fn->number); 332ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(clo).skip_direct_recursion) { 333ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* only decrement depth if another function was called */ 334ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc->from->cxt->fn[0] != to_fn) (*pdepth)--; 335ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 336ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else (*pdepth)--; 337ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown depth = *pdepth; 338ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 339ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* add cost difference to sum */ 340ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( CLG_(add_diff_cost_lz)( CLG_(sets).full, &(jcc->cost), 341ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown lower_entry->enter_cost, 342ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).cost) ) { 343ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 344ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* only count this call if it attributed some cost. 345ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * the ret_counter is used to check if a BBCC dump is needed. 346ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 347ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jcc->from->ret_counter++; 348ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 349ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(stat).ret_counter++; 350ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 351ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* restore context */ 352ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_state).cxt = lower_entry->cxt; 353ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_fn_stack).top = 354ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_fn_stack).bottom + lower_entry->fn_sp; 355ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_ASSERT(CLG_(current_state).cxt != 0); 356ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 357ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (depth == 0) function_left(to_fn); 358ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 359ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 360ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* To allow for an assertion in push_call_stack() */ 361ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown lower_entry->cxt = 0; 362ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 363ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp--; 364ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 365ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if CLG_ENABLE_DEBUG 366ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUGIF(1) { 367ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (CLG_(clo).verbose<4) { 368ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc) { 369ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* popped JCC target first */ 370ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)("- %2d %#lx => ", 371ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp, 372ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown bb_addr(jcc->to->bb)); 373ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_addr)(bb_jmpaddr(jcc->from->bb)); 374ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(", SP %#lx\n", 375ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).entry[CLG_(current_call_stack).sp].sp); 376ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_cost)(10, CLG_(sets).full, jcc->cost); 377ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 378ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else 379ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)("- %2d [Skipped JCC], SP %#lx\n", 380ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).sp, 381ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(current_call_stack).entry[CLG_(current_call_stack).sp].sp); 382ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 383ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else { 384ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(" Popped "); 385ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_stackentry)(7, CLG_(current_call_stack).sp); 386ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (jcc) { 387ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(printf)(" returned to "); 388ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(print_addr_ln)(bb_jmpaddr(jcc->from->bb)); 389ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 390ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 391ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 392ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 393ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 394ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 395ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 396ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 397f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Root/* Unwind enough CallStack items to sync with current stack pointer. 398f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Root * Returns the number of stack frames unwinded. 399ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 400f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny RootInt CLG_(unwind_call_stack)(Addr sp, Int minpops) 401ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 402ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int csp; 403f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Root Int unwind_count = 0; 404ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUG(4,"+ unwind_call_stack(sp %#lx, minpops %d): frame %d\n", 405ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sp, minpops, CLG_(current_call_stack).sp); 406ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 407ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* We pop old stack frames. 408ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * For a call, be p the stack address with return address. 409ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * - call_stack_esp[] has SP after the CALL: p-4 410ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * - current sp is after a RET: >= p 411ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 412ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 413ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while( (csp=CLG_(current_call_stack).sp) >0) { 414ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown call_entry* top_ce = &(CLG_(current_call_stack).entry[csp-1]); 415ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 416ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ((top_ce->sp < sp) || 417ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ((top_ce->sp == sp) && minpops>0)) { 418ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 419ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown minpops--; 420f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Root unwind_count++; 421ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_(pop_call_stack)(); 422ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown csp=CLG_(current_call_stack).sp; 423ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown continue; 424ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 425ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 426ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 427ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 428ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown CLG_DEBUG(4,"- unwind_call_stack\n"); 429f673d1bf8bfb172f0eccbe4d3a908b3c65b55b33Kenny Root return unwind_count; 430ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 431