No memory dependencies detected due to -mem2reg

[romosch]

When running TaskMiner locally I've noticed that no memory dependencies are detected at all. After looking into it, it seems the issue is in the DepAnalysis.cpp, in the following statement:
if ((isa<StoreInst>(*SrcI) || isa<LoadInst>(*SrcI)) && srcDL) {
This guard never resolves to true because of the -mem2reg flag in your run script. With the -mem2reg flag, the llvm instructions are no longer StoreInst or LoadInst, but phi nodes instead.
Is there a reason for using this -mem2reg flag? Does TM not require the memory dependence analysis for generating the result?

[gleisonsdm]

Hi,

Is there a reason for using this -mem2reg flag?

Yes, we need mem2reg, that's probably a bug. Please, can you send me the program you are running? I would like to take a look as soon as time permits and see what is happening.

Does TM not require the memory dependence analysis for generating the result?

I was updating taskminer, but I had no time to finish the new memory dependence analysis to find the missing dependences.

[romosch]

Hello,
The file I used was a copy of the fibonacci example you have on http://cuda.dcc.ufmg.br/taskminer/

I noticed that on some other files, some dependencies are indeed found. I'm still not sure what makes the difference. In either case, removing mem2reg always leads to many more dependencies to be found.