blob: 4ef32fb7afb38301d5e38f25ccef25e5abfb0cd2 [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 Bradburyb014e3d2017-12-11 12:34:11 +000010; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000011; RV32I-NEXT: sw ra, 12(sp)
Shiva Chend58bd8d2018-04-25 14:19:12 +000012; RV32I-NEXT: call external_function
Alex Bradbury660bcce2017-12-11 11:53:54 +000013; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000014; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000015; RV32I-NEXT: ret
Alex Bradburya3376752017-11-08 13:41:21 +000016 %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
Alex Bradbury59136ff2017-12-15 09:47:01 +000024; RV32I-NEXT: ret
Alex Bradburya3376752017-11-08 13:41:21 +000025 %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 Bradburyb014e3d2017-12-11 12:34:11 +000032; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000033; RV32I-NEXT: sw ra, 12(sp)
Shiva Chend58bd8d2018-04-25 14:19:12 +000034; RV32I-NEXT: call defined_function
Alex Bradbury660bcce2017-12-11 11:53:54 +000035; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000036; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000037; RV32I-NEXT: ret
Alex Bradburydc31c612017-12-11 12:49:02 +000038 %1 = call i32 @defined_function(i32 %a)
Alex Bradburya3376752017-11-08 13:41:21 +000039 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 Bradburyb014e3d2017-12-11 12:34:11 +000045; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000046; RV32I-NEXT: sw ra, 12(sp)
Alex Bradbury59136ff2017-12-15 09:47:01 +000047; RV32I-NEXT: mv a2, a0
48; RV32I-NEXT: mv a0, a1
49; RV32I-NEXT: jalr a2
Alex Bradbury660bcce2017-12-11 11:53:54 +000050; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000051; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000052; RV32I-NEXT: ret
Alex Bradburya3376752017-11-08 13:41:21 +000053 %1 = call i32 %a(i32 %b)
54 ret i32 %1
55}
56
57; Ensure that calls to fastcc functions aren't rejected. Such calls may be
58; introduced when compiling with optimisation.
59
60define fastcc i32 @fastcc_function(i32 %a, i32 %b) nounwind {
61; RV32I-LABEL: fastcc_function:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000062; RV32I: # %bb.0:
Alex Bradburya3376752017-11-08 13:41:21 +000063; RV32I-NEXT: add a0, a0, a1
Alex Bradbury59136ff2017-12-15 09:47:01 +000064; RV32I-NEXT: ret
Alex Bradburya3376752017-11-08 13:41:21 +000065 %1 = add i32 %a, %b
66 ret i32 %1
67}
68
69define i32 @test_call_fastcc(i32 %a, i32 %b) nounwind {
70; RV32I-LABEL: test_call_fastcc:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000071; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +000072; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000073; RV32I-NEXT: sw ra, 12(sp)
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +000074; RV32I-NEXT: sw s1, 8(sp)
Alex Bradbury59136ff2017-12-15 09:47:01 +000075; RV32I-NEXT: mv s1, a0
Shiva Chend58bd8d2018-04-25 14:19:12 +000076; RV32I-NEXT: call fastcc_function
Alex Bradbury59136ff2017-12-15 09:47:01 +000077; RV32I-NEXT: mv a0, s1
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +000078; RV32I-NEXT: lw s1, 8(sp)
Alex Bradbury660bcce2017-12-11 11:53:54 +000079; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000080; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000081; RV32I-NEXT: ret
Alex Bradburya3376752017-11-08 13:41:21 +000082 %1 = call fastcc i32 @fastcc_function(i32 %a, i32 %b)
83 ret i32 %a
84}
Alex Bradburydc31c612017-12-11 12:49:02 +000085
86declare i32 @external_many_args(i32, i32, i32, i32, i32, i32, i32, i32, i32, i32) nounwind
87
88define i32 @test_call_external_many_args(i32 %a) nounwind {
89; RV32I-LABEL: test_call_external_many_args:
90; RV32I: # %bb.0:
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +000091; RV32I-NEXT: addi sp, sp, -16
92; RV32I-NEXT: sw ra, 12(sp)
93; RV32I-NEXT: sw s1, 8(sp)
Alex Bradbury59136ff2017-12-15 09:47:01 +000094; RV32I-NEXT: mv s1, a0
Alex Bradbury1b2a0f42018-02-28 08:20:47 +000095; RV32I-NEXT: sw a0, 4(sp)
96; RV32I-NEXT: sw a0, 0(sp)
Shiva Chend58bd8d2018-04-25 14:19:12 +000097; RV32I-NEXT: mv a1, a0
98; RV32I-NEXT: mv a2, a0
99; RV32I-NEXT: mv a3, a0
100; RV32I-NEXT: mv a4, a0
101; RV32I-NEXT: mv a5, a0
102; RV32I-NEXT: mv a6, a0
103; RV32I-NEXT: mv a7, a0
104; RV32I-NEXT: call external_many_args
Alex Bradbury59136ff2017-12-15 09:47:01 +0000105; RV32I-NEXT: mv a0, s1
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000106; RV32I-NEXT: lw s1, 8(sp)
107; RV32I-NEXT: lw ra, 12(sp)
108; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +0000109; RV32I-NEXT: ret
Alex Bradburydc31c612017-12-11 12:49:02 +0000110 %1 = call i32 @external_many_args(i32 %a, i32 %a, i32 %a, i32 %a, i32 %a,
111 i32 %a, i32 %a, i32 %a, i32 %a, i32 %a)
112 ret i32 %a
113}
114
115define i32 @defined_many_args(i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 %j) nounwind {
116; RV32I-LABEL: defined_many_args:
117; RV32I: # %bb.0:
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000118; RV32I-NEXT: lw a0, 4(sp)
Alex Bradburydc31c612017-12-11 12:49:02 +0000119; RV32I-NEXT: addi a0, a0, 1
Alex Bradbury59136ff2017-12-15 09:47:01 +0000120; RV32I-NEXT: ret
Alex Bradburydc31c612017-12-11 12:49:02 +0000121 %added = add i32 %j, 1
122 ret i32 %added
123}
124
125define i32 @test_call_defined_many_args(i32 %a) nounwind {
126; RV32I-LABEL: test_call_defined_many_args:
127; RV32I: # %bb.0:
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000128; RV32I-NEXT: addi sp, sp, -16
129; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburydc31c612017-12-11 12:49:02 +0000130; RV32I-NEXT: sw a0, 4(sp)
131; RV32I-NEXT: sw a0, 0(sp)
Alex Bradbury59136ff2017-12-15 09:47:01 +0000132; RV32I-NEXT: mv a1, a0
133; RV32I-NEXT: mv a2, a0
134; RV32I-NEXT: mv a3, a0
135; RV32I-NEXT: mv a4, a0
136; RV32I-NEXT: mv a5, a0
137; RV32I-NEXT: mv a6, a0
138; RV32I-NEXT: mv a7, a0
Shiva Chend58bd8d2018-04-25 14:19:12 +0000139; RV32I-NEXT: call defined_many_args
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000140; RV32I-NEXT: lw ra, 12(sp)
141; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +0000142; RV32I-NEXT: ret
Alex Bradburydc31c612017-12-11 12:49:02 +0000143 %1 = call i32 @defined_many_args(i32 %a, i32 %a, i32 %a, i32 %a, i32 %a,
144 i32 %a, i32 %a, i32 %a, i32 %a, i32 %a)
145 ret i32 %1
146}