Mark memory using nodes with "uses_memory".

ir/be/TEMPLATE/TEMPLATE_spec.pl

@@ -230,7 +230,7 @@ Jmp => {
 # Load / Store
 
 Load => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "none" ], out => [ "gp" ] },
@@ -238,7 +238,7 @@ Load => {
 },
 
 Store => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ] },
@@ -298,7 +298,7 @@ fConst => {
 # Load / Store
 
 fLoad => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "none" ], out => [ "fp" ] },
@@ -306,7 +306,7 @@ fLoad => {
 },
 
 fStore => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "fp", "none" ] },

ir/be/amd64/amd64_spec.pl

@@ -278,7 +278,7 @@ Jcc => {
 },
 
 Load => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "none" ],
 	               out => [ "gp", "none" ] },
@@ -300,7 +300,7 @@ FrameAddr => {
 },
 
 Store => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "ptr", "val", "mem" ],

ir/be/arm/arm_spec.pl

@@ -421,7 +421,7 @@ SwitchJmp => {
 },
 
 Ldr => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	ins       => [ "ptr", "mem" ],
 	outs      => [ "res", "M" ],
@@ -432,7 +432,7 @@ Ldr => {
 },
 
 Str => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	ins       => [ "ptr", "val", "mem" ],
 	outs      => [ "M" ],
@@ -444,7 +444,7 @@ Str => {
 },
 
 StoreStackM4Inc => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "sp", "gp", "gp", "gp", "gp", "none" ], out => [ "sp:I|S", "none" ] },
@@ -453,7 +453,7 @@ StoreStackM4Inc => {
 },
 
 LoadStackM3Epilogue => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	irn_flags => [ "rematerializable" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "sp", "none" ], out => [ "r11:I", "sp:I|S", "pc:I", "none" ] },
@@ -528,7 +528,7 @@ Cmfe => {
 },
 
 Ldf => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	ins       => [ "ptr", "mem" ],
 	outs      => [ "res", "M" ],
@@ -539,7 +539,7 @@ Ldf => {
 },
 
 Stf => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	ins       => [ "ptr", "val", "mem" ],
 	outs      => [ "M" ],

ir/be/ia32/ia32_spec.pl

@@ -1147,7 +1147,7 @@ ChangeCW => {
 },
 
 FldCW => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "fpcw:I" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1159,7 +1159,7 @@ FldCW => {
 },
 
 FnstCW => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "pinned",
 	reg_req   => { in => [ "gp", "gp", "none", "fp_cw" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem", "fpcw" ],
@@ -1170,7 +1170,7 @@ FnstCW => {
 },
 
 FnstCWNOP => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "pinned",
 	reg_req   => { in => [ "fp_cw" ], out => [ "none" ] },
 	ins       => [ "fpcw" ],
@@ -1550,7 +1550,7 @@ Inport => {
 # Intel style prefetching
 #
 Prefetch0 => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1561,7 +1561,7 @@ Prefetch0 => {
 },
 
 Prefetch1 => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1572,7 +1572,7 @@ Prefetch1 => {
 },
 
 Prefetch2 => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1583,7 +1583,7 @@ Prefetch2 => {
 },
 
 PrefetchNTA => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1597,7 +1597,7 @@ PrefetchNTA => {
 # 3DNow! prefetch instructions
 #
 Prefetch => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],
@@ -1608,7 +1608,7 @@ Prefetch => {
 },
 
 PrefetchW => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 	ins       => [ "base", "index", "mem" ],

ir/be/sparc/sparc_spec.pl

@@ -347,7 +347,7 @@ SubX_t => {
 
 # Load / Store
 Ld => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	constructors => {
 		imm => {
@@ -380,7 +380,7 @@ SetHi => {
 },
 
 St => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	mode      => "mode_M",
 	state     => "exc_pinned",
 	constructors => {
@@ -889,7 +889,7 @@ fftoi => {
 },
 
 Ldf => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	constructors => {
 		s => {
@@ -911,7 +911,7 @@ Ldf => {
 },
 
 Stf => {
-	op_flags  => [ "labeled" ],
+	op_flags  => [ "uses_memory", "labeled" ],
 	state     => "exc_pinned",
 	constructors => {
 		s => {