aboutsummaryrefslogtreecommitdiffstats
path: root/test/Integer/forwardreftest_bt.ll
blob: 5d73eff2f5a9e7a5482926ab5cd6c7a3feee8b8e (plain)
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
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

  %myty = type i55 
  %myfn = type float (i55,double,i55,i16)
  type i55(%myfn*)
  type i55(i55)
  type i55(i55(i55)*)

  %thisfuncty = type i55 (i55) *

declare void @F(%thisfuncty, %thisfuncty, %thisfuncty)

; This function always returns zero
define i55 @zarro(i55 %Func)
begin
Startup:
    add i55 0, 10
    ret i55 0 
end

define i55 @test(i55) 
begin
    call void @F(%thisfuncty @zarro, %thisfuncty @test, %thisfuncty @foozball)
    ret i55 0
end

define i55 @foozball(i55)
begin
    ret i55 0
end