[backport gcc-4.7.3 r195655 ] gcc/ 2013-02-01 Jakub Jelinek Backported from mainline 2013-01-10 Jakub Jelinek PR tree-optimization/55921 * tree-complex.c (expand_complex_asm): New function. (expand_complex_operations_1): Call it for GIMPLE_ASM. gcc/testsuite/ 2013-02-01 Jakub Jelinek Backported from mainline 2013-01-10 Jakub Jelinek PR tree-optimization/55921 * gcc.c-torture/compile/pr55921.c: New test. --- gcc-4.6.3/gcc/testsuite/gcc.c-torture/compile/pr55921.c.~1~ 1970-01-01 01:00:00.000000000 +0100 +++ gcc-4.6.3/gcc/testsuite/gcc.c-torture/compile/pr55921.c 2013-02-02 12:15:31.549569895 +0100 @@ -0,0 +1,22 @@ +/* PR tree-optimization/55921 */ +/* { dg-do compile { target i?86-*-* x86_64-*-* } } */ + +typedef union +{ + _Complex float cf; + long long ll; +} ucf; + +void +foo (ucf *in, ucf *out, _Complex float r) +{ + int i; + ucf ucf1; + _Complex float cf; + + ucf1.ll = in[i].ll; + __asm ("" : "=r" (cf) : "0" (ucf1.ll)); + cf *= r; + __asm ("" : "=r" (ucf1.ll) : "0" (cf)); + out[i].ll = ucf1.ll; +} --- gcc-4.6.3/gcc/tree-complex.c.~1~ 2010-10-21 04:33:33.000000000 +0200 +++ gcc-4.6.3/gcc/tree-complex.c 2013-02-02 12:15:31.549569895 +0100 @@ -1400,6 +1400,36 @@ expand_complex_comparison (gimple_stmt_i update_stmt (stmt); } +/* Expand inline asm that sets some complex SSA_NAMEs. */ + +static void +expand_complex_asm (gimple_stmt_iterator *gsi) +{ + gimple stmt = gsi_stmt (*gsi); + unsigned int i; + + for (i = 0; i < gimple_asm_noutputs (stmt); ++i) + { + tree link = gimple_asm_output_op (stmt, i); + tree op = TREE_VALUE (link); + if (TREE_CODE (op) == SSA_NAME + && TREE_CODE (TREE_TYPE (op)) == COMPLEX_TYPE) + { + tree type = TREE_TYPE (op); + tree inner_type = TREE_TYPE (type); + tree r = build1 (REALPART_EXPR, inner_type, op); + tree i = build1 (IMAGPART_EXPR, inner_type, op); + gimple_seq list = set_component_ssa_name (op, false, r); + + if (list) + gsi_insert_seq_after (gsi, list, GSI_CONTINUE_LINKING); + + list = set_component_ssa_name (op, true, i); + if (list) + gsi_insert_seq_after (gsi, list, GSI_CONTINUE_LINKING); + } + } +} /* Process one statement. If we identify a complex operation, expand it. */ @@ -1412,6 +1442,12 @@ expand_complex_operations_1 (gimple_stmt complex_lattice_t al, bl; enum tree_code code; + if (gimple_code (stmt) == GIMPLE_ASM) + { + expand_complex_asm (gsi); + return; + } + lhs = gimple_get_lhs (stmt); if (!lhs && gimple_code (stmt) != GIMPLE_COND) return;