blob: e86f835cf38fbee438518ead1758e4dc357c495f [file] [log] [blame]
Alex Bradburyffc435e2017-11-21 08:11:03 +00001; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \
3; RUN: | FileCheck %s -check-prefix=RV32I
4
5define i32 @square(i32 %a) {
6; RV32I-LABEL: square:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +00007; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +00008; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +00009; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000010; RV32I-NEXT: sw s0, 8(sp)
11; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +000012; RV32I-NEXT: lui a1, %hi(__mulsi3)
13; RV32I-NEXT: addi a2, a1, %lo(__mulsi3)
Alex Bradbury59136ff2017-12-15 09:47:01 +000014; RV32I-NEXT: mv a1, a0
15; RV32I-NEXT: jalr a2
Alex Bradburyb014e3d2017-12-11 12:34:11 +000016; RV32I-NEXT: lw s0, 8(sp)
Alex Bradbury660bcce2017-12-11 11:53:54 +000017; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000018; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000019; RV32I-NEXT: ret
Alex Bradburyffc435e2017-11-21 08:11:03 +000020 %1 = mul i32 %a, %a
21 ret i32 %1
22}
23
24define i32 @mul(i32 %a, i32 %b) {
25; RV32I-LABEL: mul:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000026; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +000027; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000028; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000029; RV32I-NEXT: sw s0, 8(sp)
30; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +000031; RV32I-NEXT: lui a2, %hi(__mulsi3)
32; RV32I-NEXT: addi a2, a2, %lo(__mulsi3)
Alex Bradbury59136ff2017-12-15 09:47:01 +000033; RV32I-NEXT: jalr a2
Alex Bradburyb014e3d2017-12-11 12:34:11 +000034; RV32I-NEXT: lw s0, 8(sp)
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 Bradburyffc435e2017-11-21 08:11:03 +000038 %1 = mul i32 %a, %b
39 ret i32 %1
40}
41
42define i32 @mul_constant(i32 %a) {
43; RV32I-LABEL: mul_constant:
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 Bradburyb014e3d2017-12-11 12:34:11 +000047; RV32I-NEXT: sw s0, 8(sp)
48; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +000049; RV32I-NEXT: lui a1, %hi(__mulsi3)
50; RV32I-NEXT: addi a2, a1, %lo(__mulsi3)
51; RV32I-NEXT: addi a1, zero, 5
Alex Bradbury59136ff2017-12-15 09:47:01 +000052; RV32I-NEXT: jalr a2
Alex Bradburyb014e3d2017-12-11 12:34:11 +000053; RV32I-NEXT: lw s0, 8(sp)
Alex Bradbury660bcce2017-12-11 11:53:54 +000054; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000055; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000056; RV32I-NEXT: ret
Alex Bradburyffc435e2017-11-21 08:11:03 +000057 %1 = mul i32 %a, 5
58 ret i32 %1
59}
60
61define i32 @mul_pow2(i32 %a) {
62; RV32I-LABEL: mul_pow2:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000063; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +000064; RV32I-NEXT: addi sp, sp, -16
65; RV32I-NEXT: sw ra, 12(sp)
66; RV32I-NEXT: sw s0, 8(sp)
67; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +000068; RV32I-NEXT: slli a0, a0, 3
Alex Bradburyb014e3d2017-12-11 12:34:11 +000069; RV32I-NEXT: lw s0, 8(sp)
70; RV32I-NEXT: lw ra, 12(sp)
71; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000072; RV32I-NEXT: ret
Alex Bradburyffc435e2017-11-21 08:11:03 +000073 %1 = mul i32 %a, 8
74 ret i32 %1
75}
76
77define i64 @mul64(i64 %a, i64 %b) {
78; RV32I-LABEL: mul64:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000079; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +000080; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000081; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000082; RV32I-NEXT: sw s0, 8(sp)
83; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +000084; RV32I-NEXT: lui a4, %hi(__muldi3)
85; RV32I-NEXT: addi a4, a4, %lo(__muldi3)
Alex Bradbury59136ff2017-12-15 09:47:01 +000086; RV32I-NEXT: jalr a4
Alex Bradburyb014e3d2017-12-11 12:34:11 +000087; RV32I-NEXT: lw s0, 8(sp)
Alex Bradbury660bcce2017-12-11 11:53:54 +000088; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +000089; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +000090; RV32I-NEXT: ret
Alex Bradburyffc435e2017-11-21 08:11:03 +000091 %1 = mul i64 %a, %b
92 ret i64 %1
93}
94
95define i64 @mul64_constant(i64 %a) {
96; RV32I-LABEL: mul64_constant:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000097; RV32I: # %bb.0:
Alex Bradburyb014e3d2017-12-11 12:34:11 +000098; RV32I-NEXT: addi sp, sp, -16
Alex Bradbury660bcce2017-12-11 11:53:54 +000099; RV32I-NEXT: sw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000100; RV32I-NEXT: sw s0, 8(sp)
101; RV32I-NEXT: addi s0, sp, 16
Alex Bradburyffc435e2017-11-21 08:11:03 +0000102; RV32I-NEXT: lui a2, %hi(__muldi3)
103; RV32I-NEXT: addi a4, a2, %lo(__muldi3)
104; RV32I-NEXT: addi a2, zero, 5
Alex Bradbury59136ff2017-12-15 09:47:01 +0000105; RV32I-NEXT: mv a3, zero
106; RV32I-NEXT: jalr a4
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000107; RV32I-NEXT: lw s0, 8(sp)
Alex Bradbury660bcce2017-12-11 11:53:54 +0000108; RV32I-NEXT: lw ra, 12(sp)
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000109; RV32I-NEXT: addi sp, sp, 16
Alex Bradbury59136ff2017-12-15 09:47:01 +0000110; RV32I-NEXT: ret
Alex Bradburyffc435e2017-11-21 08:11:03 +0000111 %1 = mul i64 %a, 5
112 ret i64 %1
113}