Fix for ifc-20040816-2.c test case

Ben Elliston bje@au1.ibm.com
Tue Oct 19 02:51:00 GMT 2004


The following patch modifies the ifc-20040816-2.c test to allow the
if-conversion pass to do its thing.  The if-conversion was being
inhibited by some floating point expressions, which could trap.  I've
converted the test to use integer arithmetic instead.  Okay for
mainline?


2004-10-19  Ben Elliston  <bje@au.ibm.com>
	    Devang Patel  <dpatel@apple.com>

	* gcc.dg/tree-ssa/ifc-20040816-2.c: Use integer arithmetic instead
	of floating point arithmetic, which could trap.

--- ifc-20040816-2.c	6 Sep 2004 23:14:43 -0000	1.2
+++ ifc-20040816-2.c	19 Oct 2004 02:08:32 -0000
@@ -1,30 +1,29 @@
 /* { dg-do compile } */
 /* { dg-options "-c -O2 -ftree-vectorize -fdump-tree-ifcvt-stats" { target *-*-* } } */
 
-typedef float afloat __attribute__ ((__aligned__(16)));
-void foo(const afloat * __restrict__ zr_in,
-		const afloat * __restrict__ zi_in,
-		const afloat * __restrict__ zk_in,
-		afloat * __restrict__ zr_out,
-		afloat * __restrict__ zi_out,
-		afloat * __restrict__ zk_out,
-		float cr, float ci)
+void foo(const int * __restrict__ zr_in,
+		const int * __restrict__ zi_in,
+		const int * __restrict__ zk_in,
+		int * __restrict__ zr_out,
+		int * __restrict__ zi_out,
+		int * __restrict__ zk_out,
+		int cr, int ci)
 {
   unsigned int pi;
-  float tmp_r, tmp_i, tmp_k;
+  int tmp_r, tmp_i, tmp_k;
   for (pi = 0; pi < (512)*(512); pi++) {
-    float zr = zr_in[pi];
-    float zi = zi_in[pi];
-    float zk = zk_in[pi];
+    int zr = zr_in[pi];
+    int zi = zi_in[pi];
+    int zk = zk_in[pi];
     
-    if (zr*zr + zi*zi >= 4.0f) {
+    if (zr*zr + zi*zi >= 4) {
       tmp_r = zr;
       tmp_i = zi;
       tmp_k = zk;
     } else {
       tmp_r = (zr*zr - zi*zi + cr);
       tmp_i = (2 * zr * zi + ci);
-      tmp_k = zk + 1.0f;
+      tmp_k = zk + 1;
     }
     zr_out[pi] = tmp_r;
     zi_out[pi] = tmp_i;



More information about the Gcc-patches mailing list