Fix this test. It was testing broken behavior in that it required ADCE to eliminate
a potentially infinite loop, which is undesirable. Instead, test the LICM behavior that we're really interested in. llvm-svn: 51177
This commit is contained in:
		
							parent
							
								
									5c953b7d27
								
							
						
					
					
						commit
						a74d72d01f
					
				| 
						 | 
				
			
			@ -1,9 +1,8 @@
 | 
			
		|||
; Test that LICM uses basicaa to do alias analysis, which is capable of 
 | 
			
		||||
; disambiguating some obvious cases.  If LICM is able to disambiguate the
 | 
			
		||||
; two pointers, then the load should be hoisted, and the store sunk.  Thus
 | 
			
		||||
; the loop becomes empty and can be deleted by ADCE. 
 | 
			
		||||
; two pointers, then the load should be hoisted, and the store sunk.
 | 
			
		||||
 | 
			
		||||
; RUN: llvm-as < %s | opt -basicaa -licm --adce | llvm-dis | not grep Loop
 | 
			
		||||
; RUN: llvm-as < %s | opt -basicaa -licm | llvm-dis | %prcontext @A 1 | not grep Loop
 | 
			
		||||
 | 
			
		||||
@A = global i32 7               ; <i32*> [#uses=3]
 | 
			
		||||
@B = global i32 8               ; <i32*> [#uses=2]
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue