summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--c/src/exec/score/tools/sh/sci.c2
-rw-r--r--c/src/exec/score/tools/sh/shgen.c2
-rw-r--r--tools/cpu/sh/sci.c2
-rw-r--r--tools/cpu/sh/shgen.c2
4 files changed, 4 insertions, 4 deletions
diff --git a/c/src/exec/score/tools/sh/sci.c b/c/src/exec/score/tools/sh/sci.c
index 58be0e68bf..3310e7e791 100644
--- a/c/src/exec/score/tools/sh/sci.c
+++ b/c/src/exec/score/tools/sh/sci.c
@@ -54,7 +54,7 @@ static sci_tab_t test_array[4] ;
static void Compute(
unsigned int n,
unsigned int B,
- unsigned int Phi,
+ double Phi,
struct sci_tab *entry )
{
int a = ( 32 << ( 2 * n ) ) * B ;
diff --git a/c/src/exec/score/tools/sh/shgen.c b/c/src/exec/score/tools/sh/shgen.c
index 3fa6ae9b75..15c179a855 100644
--- a/c/src/exec/score/tools/sh/shgen.c
+++ b/c/src/exec/score/tools/sh/shgen.c
@@ -24,7 +24,7 @@ static void usage( char *prog )
static void shgen_header( FILE *file )
{
fprintf( file,
- "/*\n * DO NOT EDIT - this file is automatically generated by shgen\n" );
+ "/*\n * DO NOT EDIT - this file is automatically generated by shgen 0.2\n" );
fprintf( file,
" * Copyright (c) 1998, Ralf Corsepius (corsepiu@faw.uni-ulm.de)\n */\n" );
fprintf( file,
diff --git a/tools/cpu/sh/sci.c b/tools/cpu/sh/sci.c
index 58be0e68bf..3310e7e791 100644
--- a/tools/cpu/sh/sci.c
+++ b/tools/cpu/sh/sci.c
@@ -54,7 +54,7 @@ static sci_tab_t test_array[4] ;
static void Compute(
unsigned int n,
unsigned int B,
- unsigned int Phi,
+ double Phi,
struct sci_tab *entry )
{
int a = ( 32 << ( 2 * n ) ) * B ;
diff --git a/tools/cpu/sh/shgen.c b/tools/cpu/sh/shgen.c
index 3fa6ae9b75..15c179a855 100644
--- a/tools/cpu/sh/shgen.c
+++ b/tools/cpu/sh/shgen.c
@@ -24,7 +24,7 @@ static void usage( char *prog )
static void shgen_header( FILE *file )
{
fprintf( file,
- "/*\n * DO NOT EDIT - this file is automatically generated by shgen\n" );
+ "/*\n * DO NOT EDIT - this file is automatically generated by shgen 0.2\n" );
fprintf( file,
" * Copyright (c) 1998, Ralf Corsepius (corsepiu@faw.uni-ulm.de)\n */\n" );
fprintf( file,