From: Götz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Date: Fri, 28 Jun 2002 10:00:26 +0000 (+0000)
Subject: New
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=e569ea0a211514dcb0d96207d2600dd0fb18e23b;p=libfirm

New

[r424]
---

diff --git a/testprograms/float_example.c b/testprograms/float_example.c
new file mode 100644
index 000000000..56d110115
--- /dev/null
+++ b/testprograms/float_example.c
@@ -0,0 +1,105 @@
+/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
+** All rights reserved.
+**
+** Authors: Christian Schaefer, Goetz Lindenmaier
+**
+*/
+
+#include <stdio.h>
+
+# include "irdump.h"
+# include "firm.h"
+
+/**
+***  An Firm program to test float values.
+***
+***  This file constructs the ir for the following pseudo-program:
+***
+***  main() {
+***    ...
+***  }
+***
+***
+**/
+
+int main(int argc, char **argv)
+{
+  ir_graph *irg;        /* this variable contains the irgraph */
+  type     *owner;      /* the class in which this method is defined */
+  type     *proc_main;  /* type information for the method main */
+  type     *prim_t_dbl;
+  entity   *ent;        /* represents this method as entity of owner */
+  ir_node  *x;          /* to build control flow */
+  tarval *tv;
+
+  printf("\nCreating an IR graph: EMPTY...\n");
+
+  /* init library */
+  init_firm ();
+
+  /** Build type information for the procedure. **/
+
+  /* FIRM was designed for oo languages where all methods belong to a class.
+   * For imperative languages like C we view a file as a large class containing
+   * all functions in this file as methods.
+   * This clas is generated automatically.
+   */
+  owner = get_glob_type();
+
+#define METHODNAME "main"
+#define NRARGS 0
+#define NRES 1
+  /* The type of the method */
+  prim_t_dbl = new_type_primitive(id_from_str ("dbl", 3), mode_d);
+  proc_main = new_type_method(id_from_str(METHODNAME, strlen(METHODNAME)),
+                              NRARGS, NRES);
+  set_method_res_type(proc_main, 0, prim_t_dbl);
+
+  /* An entity representing the method.  Owner of the entity is the global class
+     type mentioned above. */
+  ent = new_entity ((type *)owner,
+                    id_from_str (METHODNAME, strlen(METHODNAME)),
+                    (type *)proc_main);
+
+  /** Build code for the procedure. **/
+
+  /* Generates the basic graph for the method represented by entity ent, that
+   * is, generates start and end blocks and nodes and a first, initial block.
+   * The constructor needs to know the number of local variables (including
+   * the arguments) in the method.
+   */
+#define NUM_OF_LOCAL_VARS 0
+  irg = new_ir_graph (ent, NUM_OF_LOCAL_VARS);
+
+  tv = tarval_d_from_str ("12345678901234567890.1234567890", 31);
+
+
+
+
+  {
+    ir_node *in[1]; /* this is the array containing the return parameters */
+    in[0] = new_Const(mode_d, tv);
+    x = new_Return (get_store(), 1, in);
+  }
+  /* Now we generated all instructions for this block and all its predecessor
+   * blocks so we can mature it.  (There are not too much.) */
+  mature_block (get_irg_current_block(irg));
+
+  /* This adds the in edge of the end block which originates at the return statement.
+   * The return node passes controlflow to the end block.  */
+  add_in_edge (get_irg_end_block(irg), x);
+  /* Now we can mature the end block as all it's predecessors are known. */
+  mature_block (get_irg_end_block(irg));
+
+  /* Verify the graph.  Finds some very bad errors in the graph. */
+  irg_vrfy(irg);
+  finalize_cons (irg);
+
+  printf("Done building the graph.  Dumping it.\n");
+  dump_ir_block_graph (irg);
+
+  printf("use xvcg to view this graph:\n");
+  printf("/ben/goetz/bin/xvcg GRAPHNAME\n\n");
+
+  return (0);
+}