Comment trouver toutes les allocations de mémoire dans un fichier de code llvm ir?

Question

J'ai essayé de compiler cet extrait de code C:

void FuncTest() { 
    int* a = new int; 
    int* b = new int[2]; 
} 

utilisant:

clang test.cpp -S -emit-llvm -o - > test.llvm 

Et obtenu ceci:

define void @_Z8FuncTestv() { 
entry: 
    %a = alloca i32*, align 4 
    %b = alloca i32*, align 4 
    %call = call noalias i8* @_Znwj(i32 4) 
    %0 = bitcast i8* %call to i32* 
    store i32* %0, i32** %a, align 4 
    %call1 = call noalias i8* @_Znaj(i32 8) 
    %1 = bitcast i8* %call1 to i32* 
    store i32* %1, i32** %b, align 4 
    ret void 
} 

declare noalias i8* @_Znwj(i32) 
declare noalias i8* @_Znaj(i32) 

Ce que je me demande est maintenant: où le _Znwj et _Znaj viennent-ils? Sont-ils attribués au hasard ou y a-t-il un système? Je voudrais pouvoir dire que les lignes:

%call = call noalias i8* @_Znwj(i32 4) 

et

%call1 = call noalias i8* @_Znaj(i32 8) 

effectuer des allocations de mémoire. Mais ça n'a pas l'air si prometteur.

Un expert en informatique qui a une idée?

Answer 1

Vous voyez le nom C++ tronqué de l'opérateur. Démangez le symbole en utilisant abi::__cxa_demangle ou créez une table de symboles mutilés. Les opérateurs nouveaux/supprimés peuvent être surchargés de sorte que les symboles ne sont pas constants. Le démanglement peut être l'option la plus sûre.

C'est la fonction d'ambiance à C++ filt, qui utilise à son tour abi::__cxa_demangle:

 
define void @FuncTest()() { 
entry: 
    %a = alloca i32*, align 4 
    %b = alloca i32*, align 4 
    %call = call noalias i8* @operator new(unsigned int)(i32 4) 
    %0 = bitcast i8* %call to i32* 
    store i32* %0, i32** %a, align 4 
    %call1 = call noalias i8* @operator new[](unsigned int)(i32 8) 
    %1 = bitcast i8* %call1 to i32* 
    store i32* %1, i32** %b, align 4 
    ret void 
} 

declare noalias i8* @operator new(unsigned int)(i32) 
declare noalias i8* @operator new[](unsigned int)(i32) 

Answer 2

Vous pouvez vérifier si une fonction est l'allocation de mémoire par isAllocationFn. Il semble fonctionner pour moi.

Source: http://llvm.org/docs/doxygen/html/namespacellvm.html#a455d82c49557ac1d6c8da8e8d86a94b5

PD: Je réponds à la question sur le titre, qui est ce qui m'a amené ici.