reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
   66
   67
   68
   69
   70
   71
   72
   73
   74
   75
   76
   77
   78
   79
   80
   81

; RUN: llc %s -o -

;; Reference to a label that gets deleted.
define i8* @test1() nounwind {
entry:
	ret i8* blockaddress(@test1b, %test_label)
}

define i32 @test1b() nounwind {
entry:
	ret i32 -1
test_label:
	br label %ret
ret:
	ret i32 -1
}


;; Issues with referring to a label that gets RAUW'd later.
define i32 @test2a() nounwind {
entry:
        %target = bitcast i8* blockaddress(@test2b, %test_label) to i8*

        call i32 @test2b(i8* %target)

        ret i32 0
}

define i32 @test2b(i8* %target) nounwind {
entry:
        indirectbr i8* %target, [label %test_label]

test_label:
; assume some code here...
        br label %ret

ret:
        ret i32 -1
}

; Issues with a BB that gets RAUW'd to another one after references are
; generated.
define void @test3(i8** %P, i8** %Q) nounwind {
entry:
  store i8* blockaddress(@test3b, %test_label), i8** %P
  store i8* blockaddress(@test3b, %ret), i8** %Q
  ret void
}

define i32 @test3b() nounwind {
entry:
	br label %test_label
test_label:
	br label %ret
ret:
	ret i32 -1
}


; PR6673

define i64 @test4a() {
	%target = bitcast i8* blockaddress(@test4b, %usermain) to i8*
	%ret = call i64 @test4b(i8* %target)

	ret i64 %ret
}

define i64 @test4b(i8* %Code) {
entry:
	indirectbr i8* %Code, [label %usermain]
usermain:
	br label %label_line_0

label_line_0:
	br label %label_line_1

label_line_1:
	%target = ptrtoint i8* blockaddress(@test4b, %label_line_0) to i64
	ret i64 %target
}