Project Stage 2 part 4 - Testing clone-test-core.c file with Modified GCC file and making further modification

Intro 

In the previous post, we modified to make it print function names; Now, we are going to test it with given clone-test-core.c file and also we will try to make further changes to display more information such as cloned function and gimple representation.

Progress

First, I tested the provided code without making any modifications, and the results are as follows:
;; Function sum_sample (sum_sample, funcdef_no=6, decl_uid=3859, cgraph_uid=7, symbol_order=6)

=== Function 1 Name '__builtin_cpu_supports' ===
=== Function 2 Name '__builtin_cpu_init' ===
=== Function 3 Name 'scale_samples.resolver' ===
=== Function 4 Name 'scale_samples' ===
=== Function 5 Name 'scale_samples.popcnt' ===
=== Function 6 Name 'printf' ===
=== Function 7 Name 'vol_createsample' ===
=== Function 8 Name 'calloc' ===
=== Function 9 Name 'main' ===
=== Function 10 Name 'scale_samples' ===
=== Function 11 Name 'sum_sample' ===


#### End ctyler diagnostics, start regular dump of current gimple ####


int sum_sample (int16_t * buff, size_t samples)
{
  int x;
  int t;
  int D.3885;
  long unsigned int _1;
  long unsigned int _2;
  int16_t * _3;
  short int _4;
  int _5;
  int _10;

  <bb 2> :
  x_8 = 0;
  goto <bb 4>; [INV]

  <bb 3> :
  _1 = (long unsigned int) x_7;
  _2 = _1 * 2;
  _3 = buff_12(D) + _2;
  _4 = *_3;
  _5 = (int) _4;
  t_13 = t_6 + _5;
  x_14 = x_7 + 1;

  <bb 4> :
  # t_6 = PHI <t_9(D)(2), t_13(3)>
  # x_7 = PHI <x_8(2), x_14(3)>
  if (x_7 <= 49999999)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  _10 = t_6;

  <bb 6> :
<L3>:
  return _10;

}

This is a part of the result of clone-test-x86-prune-clone-test-core.c.263t.ctyler
dump file. The full result is available Here.

Now, we are going to further modify the pass implementation.
To do so, I need to know the cgraph_node code.
So, I read all the code in cgraph.cc file in github gcc repo

And then, I tried all the ways that I can use, to find cloned functions as follows:


unsigned int pass_ctyler::execute(function *)
{
    struct cgraph_node *node;
    struct cgraph_node *clone_node;
    int func_cnt = 0;

    FOR_EACH_FUNCTION(node)
    {
        if (dump_file)
        {
            fprintf(dump_file, "=== Function %d Name '%s' ===\n", ++func_cnt, node->name());

	    if(node->next)
	    {
		fprintf(dump_file, "node_next exists\n");
		fprintf(dump_file, "Node_Next === %s\n", node->next->name());
	    } else {
	    	fprintf(dump_file, "node->next doesn't exist\n");
	    }

	    // clone_info* info = symtab->m_clones->get(node);
	    // if(!info)
	    // {
 	    //	    fprintf(dump_file, "Info Exists\n");
	    // }

	    fprintf(dump_file, "\n=======REFERENCE DUMP============\n");

	    node->dump_references(dump_file);

	    fprintf(dump_file, "\n===================\n");

	    if(!node->clone_of) {
	    	fprintf(dump_file, "Clone_OF doesn't exsits\n");
	    } else
	    {
		fprintf(dump_file, "Clone_of exists\n");
	    }


	    if (node->next_sibling_clone) {
	    	fprintf(dump_file, "Next_Sibling_clone exists");
	    }

	    fprintf(dump_file, "\n===================\n");
	    node->dump(dump_file);
	    fprintf(dump_file, "\n======================\n");

	    // Iterate through clones if applicable
	    if(!node->clones)
	    {
		fprintf(dump_file, "Clones don't exist\n");
	    }

	    for (clone_node = (cgraph_node *)node->clones; clone_node; clone_node = (cgraph_node *)clone_node->next)
	    {
    		fprintf(dump_file, "    Clone Name: '%s'\n", clone_node->name());
	    }



        }
    }

    if (dump_file)
    {
        fprintf(dump_file, "\n\n#### End ctyler diagnostics, start regular dump of current gimple ####\n\n\n");
    }

    return 0;
}


However, I couldn't find it. I coudn't make a meaningful progress yet.


Today, I attended in the class, and saw what the classmates did.
And, I realized I completely misunderstood what I should do and change.
I think I should try to approach it very differently.
I will keep posting the following discussion in the next post.


Comments

Post a Comment

popular posts in this blog

Project Stage 2 - part 2 : Clone-Pruning Analysis Pass

Intro In Project Stage 2, we are going to add a Pass to gcc compiler. Then, we will compile a code and see it generates a dump file that we added a pass for. Progress Let's start with adding a Pass to GCC compiler.  1. Open passes.def file in ~/project/gcc/gcc folder vi passes.def 2. You will See the codes as followings. Then, add a pass NEXT_PASS (pass_ctyler);  in line 444 440 NEXT_PASS (pass_cleanup_eh); 441 NEXT_PASS (pass_musttail); 442 NEXT_PASS (pass_lower_resx); 443 NEXT_PASS (pass_nrv); 444 NEXT_PASS (pass_ctyler); # Add your pass here # If you change the location, the order of compilation is changed; and it might have problem. # Since `pass_ctyler` is similar to `pass_nrv` I think it's safe to put here 445 NEXT_PASS (pass_gimple_isel); 446 NEXT_PASS (pass_harden_conditional_branches); 447 NEXT_PASS (pass_harden_compares); 448 NEXT_PASS (pass_warn_access, /*early=*/false); ...
Read more

Project Stage 2 part 3 - Compile a program with revised GCC

  Intro In this post, we are going to use the GCC that we modified. Then, we will compile a code and see it generates a dump file by the pass we added. Progress 1. I will first test compiling my test program. Here is my simple C program. #include <stdio.h> int main() { int sum = 0; // For loop to add numbers from 1 to 5 for (int i = 1; i <= 5; i++) { sum += i; // Add i to sum // If statement to check if the number is even or odd if (i % 2 == 0) { printf("%d is even\n", i); } else { printf("%d is odd\n", i); } } printf("Sum of numbers from 1 to 5 is: %d\n", sum); return 0; } 2. I compiled the prgoram gcc -fdump-tree-all test.c -o test And this generated the following dump file as well as other dump files test.c.263t.ctyler 3. Check the content of the dump file. ===== Basic block count: 1 ===== ----- Statement count: 1 ----- sum_7 = 0; ----- Statement count...
Read more