forked from OSchip/llvm-project
				
			remvoe two tests that cee has never gotten right
llvm-svn: 36803
This commit is contained in:
		
							parent
							
								
									cc43c3fe6b
								
							
						
					
					
						commit
						c103b49f52
					
				| 
						 | 
					@ -1,44 +0,0 @@
 | 
				
			||||||
; This testcase tests to see if adds and PHI's are handled in their full 
 | 
					 | 
				
			||||||
; generality.  This testcase comes from the following C code:
 | 
					 | 
				
			||||||
;
 | 
					 | 
				
			||||||
; void f() {
 | 
					 | 
				
			||||||
;   int i;
 | 
					 | 
				
			||||||
;   for (i = 1; i < 100; i++) {
 | 
					 | 
				
			||||||
;     if (i)
 | 
					 | 
				
			||||||
;       g();
 | 
					 | 
				
			||||||
;   }
 | 
					 | 
				
			||||||
; }
 | 
					 | 
				
			||||||
;
 | 
					 | 
				
			||||||
; Note that this is a "feature" test, not a correctness test.
 | 
					 | 
				
			||||||
;
 | 
					 | 
				
			||||||
; XFAIL: *
 | 
					 | 
				
			||||||
; RUN: llvm-upgrade < %s | llvm-as | opt -cee -simplifycfg | llvm-dis | \
 | 
					 | 
				
			||||||
; RUN:   not grep cond213
 | 
					 | 
				
			||||||
; END.
 | 
					 | 
				
			||||||
;
 | 
					 | 
				
			||||||
implementation   ; Functions:
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
declare void %g()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
void %f() {
 | 
					 | 
				
			||||||
bb0:		; No predecessors!
 | 
					 | 
				
			||||||
	br label %bb2
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
bb2:		; preds = %bb4, %bb0
 | 
					 | 
				
			||||||
	%cann-indvar = phi int [ 0, %bb0 ], [ %add1-indvar, %bb4 ]		; <int> [#uses=2]
 | 
					 | 
				
			||||||
	%add1-indvar = add int %cann-indvar, 1		; <int> [#uses=2]
 | 
					 | 
				
			||||||
	%cond213 = seteq int %add1-indvar, 0		; <bool> [#uses=1]
 | 
					 | 
				
			||||||
	br bool %cond213, label %bb4, label %bb3
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
bb3:		; preds = %bb2
 | 
					 | 
				
			||||||
	call void %g( )
 | 
					 | 
				
			||||||
	br label %bb4
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
bb4:		; preds = %bb3, %bb2
 | 
					 | 
				
			||||||
	%reg109 = add int %cann-indvar, 2		; <int> [#uses=1]
 | 
					 | 
				
			||||||
	%cond217 = setle int %reg109, 99		; <bool> [#uses=1]
 | 
					 | 
				
			||||||
	br bool %cond217, label %bb2, label %bb5
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
bb5:		; preds = %bb4
 | 
					 | 
				
			||||||
	ret void
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
| 
						 | 
					@ -1,26 +0,0 @@
 | 
				
			||||||
; a load or store of a pointer indicates that the pointer is not null.
 | 
					 | 
				
			||||||
; Any succeeding uses of the pointer should get this info
 | 
					 | 
				
			||||||
;
 | 
					 | 
				
			||||||
; XFAIL: *
 | 
					 | 
				
			||||||
; RUN: llvm-upgrade < %s | llvm-as | opt -cee -instcombine -simplifycfg | \
 | 
					 | 
				
			||||||
; RUN:   llvm-dis | not grep br
 | 
					 | 
				
			||||||
; END.
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
implementation   ; Functions:
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
declare void %foo()
 | 
					 | 
				
			||||||
declare void %bar()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
int %nullptr(int* %j) {
 | 
					 | 
				
			||||||
bb0:
 | 
					 | 
				
			||||||
	store int 7, int* %j               ; j != null
 | 
					 | 
				
			||||||
	%cond220 = seteq int* %j, null     ; F
 | 
					 | 
				
			||||||
	br bool %cond220, label %bb3, label %bb4  ; direct branch
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
bb3:
 | 
					 | 
				
			||||||
	call void %foo()
 | 
					 | 
				
			||||||
	ret int 4                          ; Dead code
 | 
					 | 
				
			||||||
bb4:
 | 
					 | 
				
			||||||
	call void %bar()
 | 
					 | 
				
			||||||
	ret int 3                          ; Live code
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
		Loading…
	
		Reference in New Issue