blob: cc43e257498a7c9895e47f868715bc5bb6bb5a58 [file] [log] [blame]
Alex Bradburya3376752017-11-08 13:41:21 +00001; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \
3; RUN: | FileCheck -check-prefix=RV32I %s
4
5declare i32 @external_function(i32)
6
7define i32 @test_call_external(i32 %a) nounwind {
8; RV32I-LABEL: test_call_external:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +00009; RV32I: # %bb.0:
Alex Bradbury660bcce2017-12-11 11:53:54 +000010; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000011; RV32I-NEXT: lui a1, %hi(external_function)
12; RV32I-NEXT: addi a1, a1, %lo(external_function)
13; RV32I-NEXT: jalr ra, a1, 0
Alex Bradbury660bcce2017-12-11 11:53:54 +000014; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000015; RV32I-NEXT: jalr zero, ra, 0
16 %1 = call i32 @external_function(i32 %a)
17 ret i32 %1
18}
19
20define i32 @defined_function(i32 %a) nounwind {
21; RV32I-LABEL: defined_function:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000022; RV32I: # %bb.0:
Alex Bradburya3376752017-11-08 13:41:21 +000023; RV32I-NEXT: addi a0, a0, 1
24; RV32I-NEXT: jalr zero, ra, 0
25 %1 = add i32 %a, 1
26 ret i32 %1
27}
28
29define i32 @test_call_defined(i32 %a) nounwind {
30; RV32I-LABEL: test_call_defined:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000031; RV32I: # %bb.0:
Alex Bradbury660bcce2017-12-11 11:53:54 +000032; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000033; RV32I-NEXT: lui a1, %hi(defined_function)
34; RV32I-NEXT: addi a1, a1, %lo(defined_function)
35; RV32I-NEXT: jalr ra, a1, 0
Alex Bradbury660bcce2017-12-11 11:53:54 +000036; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000037; RV32I-NEXT: jalr zero, ra, 0
38 %1 = call i32 @defined_function(i32 %a) nounwind
39 ret i32 %1
40}
41
42define i32 @test_call_indirect(i32 (i32)* %a, i32 %b) nounwind {
43; RV32I-LABEL: test_call_indirect:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000044; RV32I: # %bb.0:
Alex Bradbury660bcce2017-12-11 11:53:54 +000045; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000046; RV32I-NEXT: addi a2, a0, 0
47; RV32I-NEXT: addi a0, a1, 0
48; RV32I-NEXT: jalr ra, a2, 0
Alex Bradbury660bcce2017-12-11 11:53:54 +000049; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000050; RV32I-NEXT: jalr zero, ra, 0
51 %1 = call i32 %a(i32 %b)
52 ret i32 %1
53}
54
55; Ensure that calls to fastcc functions aren't rejected. Such calls may be
56; introduced when compiling with optimisation.
57
58define fastcc i32 @fastcc_function(i32 %a, i32 %b) nounwind {
59; RV32I-LABEL: fastcc_function:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000060; RV32I: # %bb.0:
Alex Bradburya3376752017-11-08 13:41:21 +000061; RV32I-NEXT: add a0, a0, a1
62; RV32I-NEXT: jalr zero, ra, 0
63 %1 = add i32 %a, %b
64 ret i32 %1
65}
66
67define i32 @test_call_fastcc(i32 %a, i32 %b) nounwind {
68; RV32I-LABEL: test_call_fastcc:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000069; RV32I: # %bb.0:
Alex Bradbury660bcce2017-12-11 11:53:54 +000070; RV32I-NEXT: sw ra, 12(sp)
71; RV32I-NEXT: sw s1, 8(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000072; RV32I-NEXT: addi s1, a0, 0
73; RV32I-NEXT: lui a0, %hi(fastcc_function)
74; RV32I-NEXT: addi a2, a0, %lo(fastcc_function)
75; RV32I-NEXT: addi a0, s1, 0
76; RV32I-NEXT: jalr ra, a2, 0
77; RV32I-NEXT: addi a0, s1, 0
Alex Bradbury660bcce2017-12-11 11:53:54 +000078; RV32I-NEXT: lw s1, 8(sp)
79; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburya3376752017-11-08 13:41:21 +000080; RV32I-NEXT: jalr zero, ra, 0
81 %1 = call fastcc i32 @fastcc_function(i32 %a, i32 %b)
82 ret i32 %a
83}