1 /* PR middle-end/31096 */ 2 /* { dg-do compile } */ 3 /* { dg-options "-O2 -fdump-tree-optimized" } */ 4 5 #if __SIZEOF_INT__ < 4 6 __extension__ typedef __INT32_TYPE__ int32_t; 7 __extension__ typedef __UINT32_TYPE__ uint32_t; 8 #else 9 typedef int int32_t; 10 typedef unsigned uint32_t; 11 #endif 12 13 #define zero(name, op) \ 14 int32_t name (int32_t a, int32_t b) \ 15 { return a * 0 op b * 0; } 16 17 zero(zeq, ==) zero(zne, !=) zero(zlt, <) 18 zero(zgt, >) zero(zge, >=) zero(zle, <=) 19 20 #define unsign_pos(name, op) \ 21 int32_t name (uint32_t a, uint32_t b) \ 22 { return a * 4 op b * 4; } 23 24 unsign_pos(upeq, ==) unsign_pos(upne, !=) unsign_pos(uplt, <) 25 unsign_pos(upgt, >) unsign_pos(upge, >=) unsign_pos(uple, <=) 26 27 #define unsign_neg(name, op) \ 28 int32_t name (uint32_t a, uint32_t b) \ 29 { return a * -2 op b * -2; } 30 31 unsign_neg(uneq, ==) unsign_neg(unne, !=) unsign_neg(unlt, <) 32 unsign_neg(ungt, >) unsign_neg(unge, >=) unsign_neg(unle, <=) 33 34 #define float(name, op) \ 35 int32_t name (float a, float b) \ 36 { return a * 5 op b * 5; } 37 38 float(feq, ==) float(fne, !=) float(flt, <) 39 float(fgt, >) float(fge, >=) float(fle, <=) 40 41 #define float_val(name, op) \ 42 int32_t name (int32_t a, int32_t b) \ 43 { return a * 54.0 op b * 54.0; } 44 45 float_val(fveq, ==) float_val(fvne, !=) float_val(fvlt, <) 46 float_val(fvgt, >) float_val(fvge, >=) float_val(fvle, <=) 47 48 #define vec(name, op) \ 49 int32_t name (int32_t a, int32_t b) \ 50 { int32_t c[10]; return a * c[1] op b * c[1]; } 51 52 vec(veq, ==) vec(vne, !=) vec(vlt, <) 53 vec(vgt, >) vec(vge, >=) vec(vle, <=) 54 55 /* { dg-final { scan-tree-dump-times "\\(D\\) \\* 4" 24 "optimized" } } */ 56 /* { dg-final { scan-tree-dump-times "\\(D\\) \\* 4294967294" 12 "optimized" } } */ 57 /* { dg-final { scan-tree-dump-times "\\(D\\) \\* 5\\.0e\\+0" 12 "optimized" } } */ 58 /* { dg-final { scan-tree-dump-times "\\* 5\\.4e\\+1" 12 "optimized" } } */ 59 /* { dg-final { scan-tree-dump-times "\\(D\\) \\* c\\\$1_8\\(D\\)" 12 "optimized" } } */ 60