################################################################################
#
# $Project: /Convert-Binary-C $
# $Author: mhx $
# $Date: 2011/04/10 12:32:24 +0200 $
# $Revision: 20 $
# $Source: /tests/223_initializer.t $
#
################################################################################
#
# Copyright (c) 2002-2011 Marcus Holland-Moritz. All rights reserved.
# This program is free software; you can redistribute it and/or modify
# it under the same terms as Perl itself.
#
################################################################################

use Test;
use Convert::Binary::C @ARGV;

$^W = 1;

BEGIN { plan tests => 27 }

my $CCCFG = require 'tests/include/config.pl';

$c = eval { new Convert::Binary::C %$CCCFG };
ok($@,'',"failed to create Convert::Binary::C objects");

eval { $c->parse_file( 'tests/include/include.c' ) };
ok($@,'',"failed to parse C-file");

$full = $zero = $c->sourcify;

for( $c->typedef_names ) {
  next if $c->sizeof($_) == 0;
  my $pre  = "\n$_ S_$_ = ";
  my $post = ";\n";
  my $init = $c->unpack( $_, $c->pack($_) ); 
  $zero .= $pre . $c->initializer( $_ ) . $post;
  $full .= $pre . $c->initializer( $_, $init ) . $post;
}

$c = eval { new Convert::Binary::C };
ok($@,'',"failed to create Convert::Binary::C objects");

{
  my @warn;
  local $SIG{__WARN__} = sub { push @warn, $_[0] };
  
  eval { $c->clean->parse( $zero ) };
  ok($@,'',"failed to parse zero initialization code");
  
  eval { $c->clean->parse( $full ) };
  ok($@,'',"failed to parse full initialization code");

  ok( @warn == 0 );
}

for my $snip ( split /={40,}/, do { local $/; <DATA> } ) {
  my($code, @tests) = split /-{40,}/, $snip;
  eval { $c->clean->parse($code) };
  ok($@,'',"failed to parse code snippet");
  for my $test ( @tests ) {
    $test =~ s/#.*//gm;
    my($data, $id, $ref) = $test =~ /^\s*(?:\$\s*=\s*(.*?))?\s*(\w+)\s*=\s*(.*?)\s*$/;
    my $init = defined $data
             ? $c->initializer( $id, eval $data )
             : $c->initializer( $id );
    $init =~ s/\s+//g;
    $ref  =~ s/\s+//g;
    print "# ref : $ref\n# init: $init\n";
    ok( $init, $ref, "wrong return value" );
  }
}


__DATA__

/* check that only the first union member is initialized */

typedef union {
  int c[10];
  struct {
    char a, b;
  } d[2];
} uni;

struct xxx {
  int a;
  union {
    struct {
      int a, b;
      uni;
    } a;
    int b;
    int c[10][10];
  }   b;
  int c;
};

struct test {
  union {
    union {
      union {
        int a;
        int b;
        int c;
      } d;
      int e;
      int f;
    } g;
    int h;
    int i;
  } j;
  union {
    union {
      union {
        int a;
        int b;
        int c;
      };
      int e;
      int f;
    };
    int h;
    int i;
  };
};

-------------------------------------------------------------------------------

xxx = { 0, { { 0, 0, { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } } } }, 0 }

-------------------------------------------------------------------------------

uni = { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } }

-------------------------------------------------------------------------------

test = { { { { 0 } } }, { { { 0 } } } }

-------------------------------------------------------------------------------

$ = { j => { g => { d => { a => 42 } } }, a => -4711 }

test = { { { { 42 } } }, { { { -4711 } } } }

-------------------------------------------------------------------------------

$ = { j => { g => { d => { b => 42 } } }, e => -4711, a => 101 }

test = { { { { 0 } } }, { { { 101 } } } }

===============================================================================

/* just another example */

struct foo {
  int a;
  union {
    int a;
    struct {
      union {
        int  a;
        char b;
      } a;
      int b;
    } b;
    char c;
  } b;
  struct {
    int a;
    union {
      struct {
        char a;
        int b;
      } a;
      int b;
    } b;
    char c;
  } c;
  int d;
  struct {
    int xa;
    int ba;
  };
};

-------------------------------------------------------------------------------

foo = { 0, { 0 }, { 0, { { 0, 0 } }, 0 }, 0, { 0, 0 } }

===============================================================================

/* check that bitfields are working */

struct bits {
  int a:3;
  int :0;
  int c:2;
  int d:4;
};

-------------------------------------------------------------------------------

bits = { 0, 0, 0 }

-------------------------------------------------------------------------------

$ = { a => 3, c => 2, d => 1 }

bits = { 3, 2, 1 }

-------------------------------------------------------------------------------

$ = { a => 3, x => 2, d => 1 }

bits = { 3, 0, 1 }

===============================================================================

/* check that bitfield padding is skipped */

struct bits {
  int :7;
  int a:3;
  int c:2;
  int d:4;
};

-------------------------------------------------------------------------------

bits = { 0, 0, 0 }

===============================================================================

/* taken from the docs, this revealed a bug introduced
 * with flexible array members
 */

struct date {
  unsigned year : 12;
  unsigned month:  4;
  unsigned day  :  5;
  unsigned hour :  5;
  unsigned min  :  6;
};

typedef struct {
  enum { DATE, QWORD } type;
  short number;
  union {
    struct date   date;
    unsigned long qword;
  } choice;
} data;

-------------------------------------------------------------------------------

data = { 0, 0, { { 0, 0, 0, 0, 0 } } }

-------------------------------------------------------------------------------

# we should be able to initialize enums

$ = { type => 1 }

data = { 1, 0, { { 0, 0, 0, 0, 0 } } }

-------------------------------------------------------------------------------

# even when out of range

$ = { type => 2 }

data = { 2, 0, { { 0, 0, 0, 0, 0 } } }

-------------------------------------------------------------------------------

# also by name

$ = { type => 'DATE' }

data = { DATE, 0, { { 0, 0, 0, 0, 0 } } }

-------------------------------------------------------------------------------

# even if it doesn't exist (could be some define)

$ = { type => 'SOMETHING' }

data = { SOMETHING, 0, { { 0, 0, 0, 0, 0 } } }

-------------------------------------------------------------------------------

# this should work for 'normal' types as well

$ = { number => 'SOMETHING' }

data = { 0, SOMETHING, { { 0, 0, 0, 0, 0 } } }