Skip to content
GitLab
Commit 3d8eaec4 authored by Götz Lindenmaier's avatar Götz Lindenmaier
Browse files

Added funcionality to configure modes. Modes include special 

values (min, max, null, one, ...)

[r982]
parent ad7ea5e7
Expand all Hide whitespace changes
Inline Side-by-side
ir/ir/irmode.c
View file @ 3d8eaec4
This diff is collapsed.
ir/ir/irmode.h
View file @ 3d8eaec4
/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
* All rights reserved.
*/
* All rights reserved.
*/
/* $Id$ */
/**
* @file irmode.h
/****h* libfirm/irmode
*
* Modes for ir operators.
* NAME
* irmode -- Modes for ir operators
*
* @author Christian Schaefer
* AUTHORS
* Christian Schaefer
* Matthias Heil
*
* This module specifies the modes that type the firm nodes. See
* UKA tech report 1999-14 for more information about modes.
* DESCRIPTION
* This module specifies the modes that type the firm nodes.
*
* @todo
* This file is at the level of the original fiasco. It needs to be ported
* to the version of the tech report!!! This will be done with the
* reimplementation of the tarval module.
*/
/* $Id$ */
* SEE ALSO
* UKA tech report 1999-44 for more information about modes.
*
******/
# ifndef _IRMODE_H_
# define _IRMODE_H_
#include "ident.h"
#include <stdbool.h>
# define target_bits 8
# define NUM_MODES 20
#ifndef _TARVAL_TYPEDEF_
#define _TARVAL_TYPEDEF_
typedef struct tarval tarval;
typedef struct tarval tarval;
#endif
/****s* tv/ir_mode
*
* NAME
* ir_mode
* Contains relevant information about a mode
*
* DESCRIPTION
* Neccessary information about a mode is stored in this struct
* which is used by the tarval modul to perform calculations
* and comparisons of values of a such described mode
*
* ATTRIBUTES
* modecode code: An unambigous int for the mode
* ident *name: Name of this mode
* mode_sort sort: sort of mode specifying possible usage kategories
* int size: size of the mode in Bits.
* int align: byte alignment
* unsigned sign:1: signedness of this mode
* ... more to come
*
* SEE ALSO
* The tech report 1999-44 describing FIRM and predefined modes
* tarval.h
******/
typedef struct ir_mode ir_mode;
/** ********** Predefined modes ********** **/
/**
* according to tech report 1999-14:
*/
......@@ -61,27 +85,132 @@ typedef enum { /* irm is short for `ir mode' */
irm_max /**< maximum value for modecode */
} modecode;
typedef struct ir_mode ir_mode;
/** These values represent the different arithmetics used to
* manipulate values */
typedef enum {
/** Predefined sorts of modes **/
auxiliary, /* Only for Firm use, predefined. */
internal_boolean, /* Internal boolean representation.
Storing to memory impossible, convert first. */
/** user-extensible sorts of modes **/
int_number, /* A mode to represent int numbers.
Integer computations can be performed. */
float_number, /* A mode to represent float numbers.
Floating point computations can be performed. */
reference, /* A mode to represent entities.
Restricted int computations can be performed */
character, /* A mode to represent characters/symbols
?? Are computations allowed? as int?? */
} mode_sort;
/** ********** Constructor for user defined modes **************** **/
/**
* register_mode(mode* new_mode)
*
* Registers a new mode.
* Must be called BEFORE init_mode2() !!!
*
* The information for new mode is retrieved from the mode
* struct passed as parameter, the code field is ignored.
* The struct is copied into the internal mode array and the code
* field will be set to a unique integer.
* Also, special value tarvals will be calculated such as null,
* min, max and can be retrieved using the get_mode_* fuctions
*
* If a mode with the given characteristics already exists,
* it will be returned instead of creating a new one.
*
* The passed struct can be safely deallocated after the function
* returns.
* To access the new mode the returned mode pointer must be used!
*/
ir_mode *register_mode(ir_mode* new_mode);
extern ir_mode *mode_T; /**< tuple (none) */
extern ir_mode *mode_F; /**< signed float(32) */
extern ir_mode *mode_D; /**< signed double(64) */
extern ir_mode *mode_E; /**< signed extended(80) */
extern ir_mode *mode_Bs; /**< signed byte (former char) */
extern ir_mode *mode_Bu; /**< unsigned byte (former char) */
extern ir_mode *mode_Hs; /**< signed short integer */
extern ir_mode *mode_Hu; /**< unsigened short integer */
extern ir_mode *mode_Is; /**< signed integer */
extern ir_mode *mode_Iu; /**< unsigned integer */
extern ir_mode *mode_Ls; /**< signed long integer */
extern ir_mode *mode_Lu; /**< unsigned long integer */
extern ir_mode *mode_C; /**< char */
extern ir_mode *mode_U; /**< unicode char */
extern ir_mode *mode_P; /**< pointer */
extern ir_mode *mode_b; /**< internal boolean */
extern ir_mode *mode_X; /**< execution */
extern ir_mode *mode_M; /**< memory */
extern ir_mode *mode_BB; /**< block */
/** ********** Access methods to read mode information *********** **/
#ifdef MODE_ACCESS_DEFINES
# include "irmode_t.h"
# define get_mode_modecode(mode) (mode)->code
# define get_mode_ident(mode) (mode)->name
# define get_mode_name(mode) id_to_str((mode)->name)
# define get_mode_sort(mode) (mode)->sort
# define get_mode_size(mode) (mode)->size
# define get_mode_align(mode) (mode)->align
#else
/* The classification of the mode */
modecode get_mode_modecode(ir_mode *mode);
/* The ident* name of the mode */
ident *get_mode_ident(ir_mode *mode);
/* The null-terminated name of this mode */
const char *get_mode_name(ir_mode *mode);
/* A coarse classification of the mode */
mode_sort get_mode_sort(ir_mode *mode);
/* The size of values of the mode in bits. */
int get_mode_size(ir_mode *mode);
/* The alignment of values of the mode in bytes. */
int get_mode_align(ir_mode *mode);
#endif
/* The smallest representable value. For modes of the
* sort float_number this is the most negative value
* bigger than -infinit */
tarval *get_mode_min(ir_mode *mode);
/* The biggest representable value. For modes of the
* sort float_number this is the largest value lower
* than infinit */
tarval *get_mode_max(ir_mode *mode);
/* The value Zero represented in this mode
Zero is the additive neutral element and as such
is defined only for modes allowing addition, i.e.
floats and ints, and references (NULL-Pointer)
else returns tarval_bad */
tarval *get_mode_null(ir_mode *mode);
/* The value One, represented in this mode
* One, being the multiplicative neutral element,
* is defined only for modes allowing multiplication,
* i.e. ints and floats */
tarval *get_mode_one(ir_mode *mode);
/* This is only valid for float_numbers, other modes
* will result in tarval_bad */
tarval *get_mode_infinit(ir_mode *mode);
/* This is only valid for float_numbers, other modes
* will result in tarval_bad */
tarval *get_mode_nan(ir_mode *mode);
/** Auxiliary modes necessary for the Firm representation **/
extern ir_mode *mode_T; /* tuple (none) */
extern ir_mode *mode_X; /* execution */
extern ir_mode *mode_M; /* memory */
extern ir_mode *mode_BB; /* block */
/** A set of predifined, numerical modes according to Techreport 1999-44 **/
extern ir_mode *mode_F; /* signed float(32) */
extern ir_mode *mode_D; /* signed double(64) */
extern ir_mode *mode_E; /* signed extended(80) */
extern ir_mode *mode_Bs; /* signed byte (former char) */
extern ir_mode *mode_Bu; /* unsigned byte (former char) */
extern ir_mode *mode_Hs; /* signed short integer */
extern ir_mode *mode_Hu; /* unsigened short integer */
extern ir_mode *mode_Is; /* signed integer */
extern ir_mode *mode_Iu; /* unsigned integer */
extern ir_mode *mode_Ls; /* signed long integer */
extern ir_mode *mode_Lu; /* unsigned long integer */
extern ir_mode *mode_b; /* internal boolean */
extern ir_mode *mode_C; /* 8 bit char */
extern ir_mode *mode_U; /* 16 bit unicode char */
extern ir_mode *mode_P; /* pointer */
/*@{*/
/** Access routines for JNI Interface */
......@@ -104,49 +233,7 @@ ir_mode *get_modeb(void);
ir_mode *get_modeX(void);
ir_mode *get_modeM(void);
ir_mode *get_modeBB(void);
/*@}*/
/** An enum for this mode */
modecode get_mode_modecode (ir_mode *mode);
/* void set_mode_modecode (ir_mode *mode, modecode code); */
/** The ident of this mode */
ident *get_mode_ident (ir_mode *mode);
/* void set_mode_ident (ir_mode *mode, ident *id); */
/** The name of this mode */
const char *get_mode_name (ir_mode *mode);
/* void set_mode_name (ir_mode *mode, char *name); */
/** The size of values of the mode in bytes. */
int get_mode_size (ir_mode *mode);
/* void set_mode_size (ir_mode *mode, int size); */
/** The alignment of values of the mode. */
int get_mode_ld_align (ir_mode *mode);
/* void set_mode_ld_align (ir_mode *mode, int ld_align); */
/** The smallest representable value */
tarval *get_mode_min (ir_mode *mode);
/* void set_mode_min (ir_mode *mode, tarval *min); */
/** The biggest representable value */
tarval *get_mode_max (ir_mode *mode);
/* void set_mode_max (ir_mode *mode, tarval *max); */
/** The value Zero represented in this mode */
tarval *get_mode_null (ir_mode *mode);
/* void set_mode_null (ir_mode *mode, tarval *null); */
/** Returns 1 if mode is signed, else 0. */
unsigned get_mode_fsigned (ir_mode *mode);
/* void set_mode_fsigned (ir_mode *mode, unsigned fsigned); */
/** Returns 1 if mode is float, else 0. */
unsigned get_mode_ffloat (ir_mode *mode);
/* void set_mode_ffloat (ir_mode *mode, unsigned ffloat); */
/*@{*/
/**
Functions to check, whether a modecode is signed, float, int, num, data,
datab or dataM.
......@@ -180,8 +267,17 @@ unsigned get_mode_ffloat (ir_mode *mode);
irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P, irm_M}
= {data || irm_M}
*/
/*@}*/
/* Test for a certain class of modes. */
#ifdef MODE_ACCESS_DEFINES
# define mode_is_signed(mode) (mode)->sign
# define mode_is_float(mode) ((mode)->sort == float_number)
# define mode_is_int(mode) ((mode)->sort == int_number)
# define mode_is_num(mode) (((mode)->sort == float_number) || ((mode)->sort == int_number))
# define mode_is_data(mode) (((mode)->sort == float_number) || ((mode)->sort == int_number) || ((mode)->sort == character) || ((mode)->sort == reference))
# define mode_is_datab(mode) (((mode)->sort == float_number) || ((mode)->sort == int_number) || ((mode)->sort == character) || ((mode)->sort == reference) || ((mode)->sort == internal_boolean))
# define mode_is_dataM(mode) (((mode)->sort == float_number) || ((mode)->sort == int_number) || ((mode)->sort == character) || ((mode)->sort == reference) || ((mode)->code == irm_M))
#else
int mode_is_signed (ir_mode *mode);
int mode_is_float (ir_mode *mode);
int mode_is_int (ir_mode *mode);
......@@ -189,10 +285,12 @@ int mode_is_num (ir_mode *mode);
int mode_is_data (ir_mode *mode);
int mode_is_datab (ir_mode *mode);
int mode_is_dataM (ir_mode *mode);
/*@}*/
#endif
/** Returns true if sm can be converted to lm without loss
according to firm definiton */
bool smaller_mode(ir_mode *sm, ir_mode *lm);
/** mode module initialization, call once before use of any other function **/
void init_mode (void);
# endif /* _IRMODE_H_ */
ir/ir/irmode_t.h
View file @ 3d8eaec4
......@@ -10,22 +10,16 @@
# include "irmode.h"
/**
* The type of a mode
*/
/** this struct is supposed to completely define a mode **/
struct ir_mode {
modecode code;
ident *name; /**< Name of this mode */
int size; /**< size of the mode in Bytes. */
int ld_align; /**< ld means log2 */
tarval *min; /**< largest value to be represented by this mode */
tarval *max; /**< smallest value to be represented by this mode */
tarval *null; /**< Representation of zero in this mode */
unsigned fsigned:1; /**< signedness of this mode */
unsigned ffloat:1; /**< true if this is a float */
modecode code; /* unambiguous identifier of a mode */
ident *name; /* Name ident of this mode */
mode_sort sort; /* coarse classification of this mode:
int, float, reference ...
(see irmode.h) */
int size; /* size of the mode in Bits. */
int align; /* byte alignment */
unsigned sign:1; /* signedness of this mode */
};
void init_mode (void);
#endif
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Imprint