parent
							
								
									340182e523
								
							
						
					
					
						commit
						439f5d5ef7
					
				| 
						 | 
					@ -14,11 +14,11 @@
 | 
				
			||||||
implementation
 | 
					implementation
 | 
				
			||||||
 | 
					
 | 
				
			||||||
int %test(bool %c) {
 | 
					int %test(bool %c) {
 | 
				
			||||||
	%Atmp = load int* %A
 | 
						%ToRemove = load int* %A
 | 
				
			||||||
	br label %Loop
 | 
						br label %Loop
 | 
				
			||||||
Loop:
 | 
					Loop:
 | 
				
			||||||
	%ToRemove = load int* %A
 | 
						%Atmp = load int* %A
 | 
				
			||||||
	store int %ToRemove, int* %B  ; Store cannot alias %A
 | 
						store int %Atmp, int* %B  ; Store cannot alias %A
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	br bool %c, label %Out, label %Loop
 | 
						br bool %c, label %Out, label %Loop
 | 
				
			||||||
Out:
 | 
					Out:
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue