The creduce from mpflanzer

Handling of designated initialisers

If designated initialisers are used remove-unused-struct-field creduce fails to remove the designator from the initialiser list. The field and the initialiser(s) are nevertheless removed which leads to invalid code.

Run test-case with:
$ clang_delta --transformation=remove-unused-field --counter=1 test.cl

Test-case:

typedef const unsigned int test;
typedef test test_second;

int foo(long t)
{
    return t + 8;
}

struct T;

struct Z
{
    int z1;
};

struct W
{
    int w_a1[5];
    //int w1;
};

struct X
{
    int x1;
    int x_a1[5];
    struct W x_w1[2];
    struct Z x_z1;
};

void bar(struct W blubb)
{
    struct W i = blubb;
}

__kernel void entry(__global long *input)
{
    uint test1;
    int4 test2;

    struct T
    {
        int t1;
        struct Z t_z1;
        struct Z t_z2;
    };

    struct X x = {1, {11,12,13,14,15,}, {{{21,22}}, {{211}}}, {3}};

    struct T t;
    struct Z z = {0};
    struct W w = {.w_a1 = {0, 0, 0,}, };
    struct W *wp = &w;

    bar(w);
    foo(z.z1);


    //test1 = s.f;

    get_global_id(0);
}

Output:

typedef const unsigned int test;
typedef test test_second;

int foo(long t)
{
    return t + 8;
}

struct T;

struct Z
{
    int z1;
};

struct W
{

    //int w1;
};

struct X
{
    int x1;
    int x_a1[5];
    struct W x_w1[2];
    struct Z x_z1;
};

void bar(struct W blubb)
{
    struct W i = blubb;
}

__kernel void entry(__global long *input)
{
    uint test1;
    int4 test2;

    struct T
    {
        int t1;
        struct Z t_z1;
        struct Z t_z2;
    };

    struct X x = {1, {11,12,13,14,15,}, {{}, {}}, {3}};

    struct T t;
    struct Z z = {0};
    struct W w = {.w_a1 =  };
    struct W *wp = &w;

    bar(w);
    foo(z.z1);


    //test1 = s.f;

    get_global_id(0);
}

Functions in clex always call exit(-1)

Some functions in the clex driver do not set the matched variable and thus exit always with -1. Is this intentional?

For instance: https://github.com/mpflanzer/creduce/blob/master/clex/driver.c#L347

Partial initialiser lists

For partial initialiser lists it can happen that remove-unused-field removes the last initialiser. But an empty list is only valid in GNU C.
Should then a zero be inserted into the list to make it valid again?

mpflanzer / creduce Goto Github PK

creduce's People

Contributors

Stargazers

Watchers

creduce's Issues

Handling of designated initialisers

Functions in clex always call exit(-1)

Partial initialiser lists

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent