blob: b6b1c96c5f3be95c40b6f5d139ec074193a64662 [file] [log] [blame]
Petar Jovanovice578e972016-04-11 15:24:23 +00001; RUN: llc < %s -march=mipsel -relocation-model=pic | FileCheck %s
Akira Hatanakad6f1c582011-04-07 19:51:44 +00002
3@caller.sf1 = internal unnamed_addr global void (...)* null, align 4
4@gf1 = external global void (...)*
5@.str = private unnamed_addr constant [3 x i8] c"f2\00"
6
7define i32 @main(i32 %argc, i8** nocapture %argv) nounwind {
8entry:
Akira Hatanaka763ab852012-05-12 03:25:16 +00009; CHECK: lw $[[R0:[0-9]+]], %got(f2)
Akira Hatanakad6f1c582011-04-07 19:51:44 +000010; CHECK: addiu $25, $[[R0]], %lo(f2)
11 tail call fastcc void @f2()
12 ret i32 0
13}
14
15define void @caller(i32 %a0, i32 %a1) nounwind {
16entry:
Akira Hatanaka763ab852012-05-12 03:25:16 +000017; CHECK: lw $[[R1:[0-9]+]], %got(caller.sf1)
Akira Hatanakaca88b4a2011-06-24 17:55:19 +000018; CHECK: lw $25, %lo(caller.sf1)($[[R1]])
Akira Hatanakad6f1c582011-04-07 19:51:44 +000019 %tobool = icmp eq i32 %a1, 0
20 br i1 %tobool, label %if.end, label %if.then
21
22if.then: ; preds = %entry
David Blaikiea79ac142015-02-27 21:17:42 +000023 %tmp1 = load void (...)*, void (...)** @caller.sf1, align 4
David Blaikie23af6482015-04-16 23:24:18 +000024 tail call void (...) %tmp1() nounwind
Akira Hatanakad6f1c582011-04-07 19:51:44 +000025 br label %if.end
26
27if.end: ; preds = %entry, %if.then
Akira Hatanaka763ab852012-05-12 03:25:16 +000028; CHECK: lw $[[R2:[0-9]+]], %got(sf2)
Akira Hatanakad6f1c582011-04-07 19:51:44 +000029; CHECK: addiu ${{[0-9]+}}, $[[R2]], %lo(sf2)
Akira Hatanaka763ab852012-05-12 03:25:16 +000030; CHECK: lw $[[R3:[0-9]+]], %got(caller.sf1)
Akira Hatanakaca88b4a2011-06-24 17:55:19 +000031; CHECK: sw ${{[0-9]+}}, %lo(caller.sf1)($[[R3]])
Akira Hatanakad6f1c582011-04-07 19:51:44 +000032 %tobool3 = icmp ne i32 %a0, 0
David Blaikiea79ac142015-02-27 21:17:42 +000033 %tmp4 = load void (...)*, void (...)** @gf1, align 4
Akira Hatanakad6f1c582011-04-07 19:51:44 +000034 %cond = select i1 %tobool3, void (...)* %tmp4, void (...)* bitcast (void ()* @sf2 to void (...)*)
35 store void (...)* %cond, void (...)** @caller.sf1, align 4
36 ret void
37}
38
39define internal void @sf2() nounwind {
40entry:
David Blaikie23af6482015-04-16 23:24:18 +000041 %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0)) nounwind
Akira Hatanakad6f1c582011-04-07 19:51:44 +000042 ret void
43}
44
45declare i32 @printf(i8* nocapture, ...) nounwind
46
47define internal fastcc void @f2() nounwind noinline {
48entry:
David Blaikie23af6482015-04-16 23:24:18 +000049 %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0)) nounwind
Akira Hatanakad6f1c582011-04-07 19:51:44 +000050 ret void
51}
52