X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firreflect.h;h=2f15ace1cb781fada9c3acd12d66da281da04dc2;hb=637542932dc27dcdfc7def09b58d9d5d4c34fb77;hp=b9394833460906a2f51418be96c24aa93008cf06;hpb=16d8de24b7945a58705aa754530955768ca35486;p=libfirm

diff --git a/ir/ir/irreflect.h b/ir/ir/irreflect.h
index b93948334..2f15ace1c 100644
--- a/ir/ir/irreflect.h
+++ b/ir/ir/irreflect.h
@@ -7,8 +7,8 @@
  * $Id$
  */
 
-#ifndef __REFLECT_H
-#define __REFLECT_H
+#ifndef _FIRM_REFLECT_H
+#define _FIRM_REFLECT_H
 
 #include <limits.h>
 #include <stdbool.h>
@@ -44,7 +44,7 @@ typedef enum {
 
 } rflct_mode_class_t;
 
-typedef struct {
+typedef struct _rflct_arg_t {
   const char *name;  /**< The name of the argument (just a description). */
 
   bool is_variadic; /**< True, if this argument can have multiple parameters. */
@@ -62,24 +62,16 @@ typedef struct {
 			must be the same. If false, they can differ. */
 } rflct_arg_t;
 
-typedef unsigned int rflct_mode_set_t;
+typedef struct _rflct_sig_t {
+	int defs; /**< The number of defined arguments in the signature. */
+	int uses; /**< The number of used arguments in the signature. */
 
-#define rflct_modeset_contains(mode_set,modecode) \
-  (((mode_set) & (1 << modecode)) != 0)
-
-#define rflct_modeset_issubset(s1,s2) \
-  (((s1) & (s2)) == (s1))
-
-#define rflct_modeset_union(s1,s2) \
-  ((s1) | (s2))
-
-#define rflct_modeset_intersect(s1,s2) \
-  ((s1) & (s2))
-
-#define rflct_modeset_diff(s1,s2) \
-  ((s1) & ~(s2))
+	rflct_arg_t *args; /**< The arguments array. */
+} rflct_sig_t;
 
+#define RFLCT_ARG_IS_A(arg,modes) (((arg)->accepted_modes & modes) != 0)
 #define RFLCT_ARG_VALID(arg) ((arg)->name != NULL)
+#define RFLCT_SIG_VALID(sig) ((sig) != INT_MAX)
 
 /**
  * Get the mode class for an IR mode.
@@ -101,7 +93,7 @@ int rflct_get_signature_count(opcode opc);
  * @param irn The node.
  * @return The first matching signature or -1, if no signature matches.
  */
-int rflct_get_signature(ir_node *irn);
+int rflct_get_signature(const ir_node *irn);
 
 /**
  * Get the number of in arguments.
@@ -121,6 +113,9 @@ int rflct_get_in_args_count(opcode opc, int sig);
  */
 int rflct_get_out_args_count(opcode opc, int sig);
 
+#define rflct_get_args_count(opc, sig, use) \
+  ((use) ? rflct_get_in_args_count(opc, sig) : rflct_get_out_args_count(opc, sig))
+
 /**
  * Get the array of use args.
  * The array is terminated with an entry for which
@@ -143,8 +138,84 @@ const rflct_arg_t *rflct_get_in_args(opcode opc, int sig);
  */
 const rflct_arg_t *rflct_get_out_args(opcode opc, int sig);
 
+#define rflct_get_args(opc, sig, use) \
+  ((use) ? rflct_get_in_args(opc, sig) : rflct_get_out_args(opc, sig))
+
+/**
+ * Make a string representation of a signature of an opcode.
+ * @param buf The buffer to put the string to.
+ * @param n The size of buf.
+ * @param opc The opcode.
+ * @param sig The signature.
+ * @return buf.
+ */
 char *rflct_to_string(char *buf, int n, opcode opc, int sig);
 
+/**
+ * Get a string representation of a mode class.
+ * @param str The buffer to put the string to.
+ * @param n The size of the buffer.
+ * @param mc The mode class.
+ * @return str.
+ */
 char *rflct_mode_class_name(char *str, int n, rflct_mode_class_t mc);
 
-#endif
+/**
+ * Create a new opcode.
+ * @param opc The Firm opcode.
+ * @param name A name.
+ * @param commutative True, if the opcode is commuatative.
+ */
+void rflct_new_opcode(opcode opc, const char *name, bool commutative);
+
+/**
+ * Add a signature to the opcode.
+ * @param opc The opcode.
+ * @param args The signature.
+ * @return true, if the signature was added sucessfully, false if no
+ * more signatures can be added to the opcode.
+ */
+bool rflct_opcode_add_signature(opcode opc, rflct_sig_t *sig);
+
+/**
+ * Allocate a new signature.
+ * @param defs Number of def arguments.
+ * @param uses Number of use arguments.
+ * @return An allocated signature.
+ */
+rflct_sig_t *rflct_signature_allocate(int defs, int uses);
+
+/**
+ * Set an argument in a signature.
+ * @param sig The signature.
+ * @param is_use true, if the argument is a use, else it is considered a
+ * def.
+ * @param num The index of the argument.
+ * @param name The name of the argument.
+ * @param mc The mode class of the argument.
+ * @param is_variadic true, if the argument is variadic.
+ * @param mode_equals This variable has following meaning: If the
+ * argument is variadic, a 1 indicates that all operands binding to this
+ * argument must have the same mode. A 0 indicates, that their mode must
+ * be of the specified mode class but can differ. If the argument is non
+ * variadic, a positive number indicates, that the mode of the operand
+ * binding to this argument must be the same as the one binding to
+ * argument indexed by mode_equals. If the mode should not be dependent
+ * to another mode, set -1 here.
+ * @return The index of the argument. Only use this index in mode_equals
+ * parameters of other arguments.
+ */
+int rflct_signature_set_arg(rflct_sig_t *sig, bool is_use, int num,
+		const char *name, rflct_mode_class_t mc, bool is_variadic, int mode_equals);
+
+/**
+ * Get the arguments array index for an argument.
+ * @param sig The signature.
+ * @param is_use True, if the argument indicates a use or def argument.
+ * @param num The number of the argument.
+ * @return The index into the arguments array.
+ */
+int rflct_signature_get_index(const rflct_sig_t *sig, bool is_use, int num);
+
+
+#endif /* _FIRM_REFLECT_H */