mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-11-04 05:17:07 +00:00 
			
		
		
		
	by merging all returns in a function into a single one, but simplifycfg currently likes to duplicate the return (an unfortunate choice!) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91890 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			60 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			60 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
; Test CFG simplify removal of branch instructions.
 | 
						|
;
 | 
						|
; RUN: opt < %s -simplifycfg -S | FileCheck %s
 | 
						|
 | 
						|
define void @test1() {
 | 
						|
        br label %BB1
 | 
						|
BB1:            ; preds = %0
 | 
						|
        ret void
 | 
						|
; CHECK: @test1
 | 
						|
; CHECK-NEXT: ret void
 | 
						|
}
 | 
						|
 | 
						|
define void @test2() {
 | 
						|
        ret void
 | 
						|
BB1:            ; No predecessors!
 | 
						|
        ret void
 | 
						|
; CHECK: @test2
 | 
						|
; CHECK-NEXT: ret void
 | 
						|
; CHECK-NEXT: }
 | 
						|
}
 | 
						|
 | 
						|
define void @test3(i1 %T) {
 | 
						|
        br i1 %T, label %BB1, label %BB1
 | 
						|
BB1:            ; preds = %0, %0
 | 
						|
        ret void
 | 
						|
; CHECK: @test3
 | 
						|
; CHECK-NEXT: ret void
 | 
						|
}
 | 
						|
 | 
						|
 | 
						|
define void @test4() {
 | 
						|
  br label %return
 | 
						|
return:
 | 
						|
  ret void
 | 
						|
; CHECK: @test4
 | 
						|
; CHECK-NEXT: ret void
 | 
						|
}
 | 
						|
@test4g = global i8* blockaddress(@test4, %return)
 | 
						|
 | 
						|
 | 
						|
; PR5795
 | 
						|
define void @test5(i32 %A) {
 | 
						|
  switch i32 %A, label %return [
 | 
						|
    i32 2, label %bb
 | 
						|
    i32 10, label %bb1
 | 
						|
  ]
 | 
						|
 | 
						|
bb:                                               ; preds = %entry
 | 
						|
  ret void
 | 
						|
 | 
						|
bb1:                                              ; preds = %entry
 | 
						|
  ret void
 | 
						|
 | 
						|
return:                                           ; preds = %entry
 | 
						|
  ret void
 | 
						|
; CHECK: @test5
 | 
						|
; CHECK-NEXT: bb:
 | 
						|
; CHECK-NEXT: ret void
 | 
						|
}
 |