1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */
3 
4 
load(long * p)5 static inline long load(long *p)
6 {
7         long ret;
8         asm ("xyzzy      %1,%0\n\t" : "=r" (ret) : "m" (*p));
9         if (ret != *p)
10                 __builtin_unreachable();
11         return ret;
12 }
13 
foo(long * mem)14 long foo(long *mem)
15 {
16         long ret;
17         ret = load(mem);
18         return ret - *mem;
19 }
20 
21 /* { dg-final { scan-tree-dump "Folded to: _\[0-9\]+ = 0;"  "dom2" } } */
22