PR 17739

        * tree-gimple.c (is_gimple_reg): Reject hard registers.
        (is_gimple_asm_val): New.
        * tree-gimple.h (is_gimple_asm_val): Declare.
        * gimplify.c (gimplify_asm_expr): Use it.
        * tree-pretty-print.c (print_declaration): Dump hard regs.
        * tree-outof-ssa.c (check_replaceable): Don't check for hard regs.
        * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
        * tree-ssa-pre.c (is_undefined_value): Likewise.
        * tree-ssa-copy.c (may_propagate_copy): Likewise.
        (may_propagate_copy_into_asm): Protect DECL_HARD_REGISTER.
        * tree-ssa.c (warn_uninit): Likewise.
        * tree.h (DECL_HARD_REGISTER): Check for VAR_DECL.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@88321 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 26 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/asm-3.c b/gcc/testsuite/gcc.dg/tree-ssa/asm-3.c
new file mode 100644
index 00000000000..ddb0ddcbc6a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/asm-3.c
@@ -0,0 +1,26 @@
+/* PR 17739 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+#define REGISTER "0"
+                                                                                
+static inline int source(void)
+{
+  register int hardreg __asm__(REGISTER);
+  asm("" : "=r"(hardreg));
+  return hardreg;
+}
+                                                                                
+void test(void)
+{
+  int t = source();
+  foo(t);
+  bar(t);
+}
+
+/* Hardreg should appear exactly 3 times -- declaration, asm stmt,
+   and copy out.  */
+/* { dg-final { scan-tree-dump-times "hardreg" 3 "optimized" } } */
+
+/* In particular, hardreg should *not* appear in the call to bar.  */
+/* { dg-final { scan-tree-dump-times "bar \[(\]t\[)\]" 1 "optimized" } } */