blob: 96eb6ff101070d0e82ee1d15b66fac63e441d238 [file] [log] [blame]
Alex Bradbury65385162017-11-21 07:51:32 +00001; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
Alex Bradburye027c932018-01-10 20:47:00 +00002; RUN: llc -mtriple=riscv32 -disable-block-placement -verify-machineinstrs < %s \
Alex Bradbury65385162017-11-21 07:51:32 +00003; RUN: | FileCheck -check-prefix=RV32I %s
4
5define i32 @foo(i32 %a, i32 *%b) {
6; RV32I-LABEL: foo:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +00007; RV32I: # %bb.0:
Alex Bradbury65385162017-11-21 07:51:32 +00008; RV32I-NEXT: lw a2, 0(a1)
9; RV32I-NEXT: beq a0, a2, .LBB0_2
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000010; RV32I-NEXT: # %bb.1:
Alex Bradbury59136ff2017-12-15 09:47:01 +000011; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000012; RV32I-NEXT: .LBB0_2:
13; RV32I-NEXT: lw a2, 0(a1)
14; RV32I-NEXT: bne a0, a2, .LBB0_4
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000015; RV32I-NEXT: # %bb.3:
Alex Bradbury59136ff2017-12-15 09:47:01 +000016; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000017; RV32I-NEXT: .LBB0_4:
18; RV32I-NEXT: lw a2, 0(a1)
19; RV32I-NEXT: bltu a2, a0, .LBB0_6
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000020; RV32I-NEXT: # %bb.5:
Alex Bradbury59136ff2017-12-15 09:47:01 +000021; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000022; RV32I-NEXT: .LBB0_6:
23; RV32I-NEXT: lw a2, 0(a1)
24; RV32I-NEXT: bgeu a0, a2, .LBB0_8
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000025; RV32I-NEXT: # %bb.7:
Alex Bradbury59136ff2017-12-15 09:47:01 +000026; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000027; RV32I-NEXT: .LBB0_8:
28; RV32I-NEXT: lw a2, 0(a1)
29; RV32I-NEXT: bltu a0, a2, .LBB0_10
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000030; RV32I-NEXT: # %bb.9:
Alex Bradbury59136ff2017-12-15 09:47:01 +000031; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000032; RV32I-NEXT: .LBB0_10:
33; RV32I-NEXT: lw a2, 0(a1)
34; RV32I-NEXT: bgeu a2, a0, .LBB0_12
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000035; RV32I-NEXT: # %bb.11:
Alex Bradbury59136ff2017-12-15 09:47:01 +000036; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000037; RV32I-NEXT: .LBB0_12:
38; RV32I-NEXT: lw a2, 0(a1)
39; RV32I-NEXT: blt a2, a0, .LBB0_14
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000040; RV32I-NEXT: # %bb.13:
Alex Bradbury59136ff2017-12-15 09:47:01 +000041; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000042; RV32I-NEXT: .LBB0_14:
43; RV32I-NEXT: lw a2, 0(a1)
44; RV32I-NEXT: bge a0, a2, .LBB0_16
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000045; RV32I-NEXT: # %bb.15:
Alex Bradbury59136ff2017-12-15 09:47:01 +000046; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000047; RV32I-NEXT: .LBB0_16:
48; RV32I-NEXT: lw a2, 0(a1)
49; RV32I-NEXT: blt a0, a2, .LBB0_18
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000050; RV32I-NEXT: # %bb.17:
Alex Bradbury59136ff2017-12-15 09:47:01 +000051; RV32I-NEXT: mv a0, a2
Alex Bradbury65385162017-11-21 07:51:32 +000052; RV32I-NEXT: .LBB0_18:
53; RV32I-NEXT: lw a1, 0(a1)
54; RV32I-NEXT: bge a1, a0, .LBB0_20
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000055; RV32I-NEXT: # %bb.19:
Alex Bradbury59136ff2017-12-15 09:47:01 +000056; RV32I-NEXT: mv a0, a1
Alex Bradbury65385162017-11-21 07:51:32 +000057; RV32I-NEXT: .LBB0_20:
Alex Bradbury59136ff2017-12-15 09:47:01 +000058; RV32I-NEXT: ret
Alex Bradbury65385162017-11-21 07:51:32 +000059 %val1 = load volatile i32, i32* %b
60 %tst1 = icmp eq i32 %a, %val1
61 %val2 = select i1 %tst1, i32 %a, i32 %val1
62
63 %val3 = load volatile i32, i32* %b
64 %tst2 = icmp ne i32 %val2, %val3
65 %val4 = select i1 %tst2, i32 %val2, i32 %val3
66
67 %val5 = load volatile i32, i32* %b
68 %tst3 = icmp ugt i32 %val4, %val5
69 %val6 = select i1 %tst3, i32 %val4, i32 %val5
70
71 %val7 = load volatile i32, i32* %b
72 %tst4 = icmp uge i32 %val6, %val7
73 %val8 = select i1 %tst4, i32 %val6, i32 %val7
74
75 %val9 = load volatile i32, i32* %b
76 %tst5 = icmp ult i32 %val8, %val9
77 %val10 = select i1 %tst5, i32 %val8, i32 %val9
78
79 %val11 = load volatile i32, i32* %b
80 %tst6 = icmp ule i32 %val10, %val11
81 %val12 = select i1 %tst6, i32 %val10, i32 %val11
82
83 %val13 = load volatile i32, i32* %b
84 %tst7 = icmp sgt i32 %val12, %val13
85 %val14 = select i1 %tst7, i32 %val12, i32 %val13
86
87 %val15 = load volatile i32, i32* %b
88 %tst8 = icmp sge i32 %val14, %val15
89 %val16 = select i1 %tst8, i32 %val14, i32 %val15
90
91 %val17 = load volatile i32, i32* %b
92 %tst9 = icmp slt i32 %val16, %val17
93 %val18 = select i1 %tst9, i32 %val16, i32 %val17
94
95 %val19 = load volatile i32, i32* %b
96 %tst10 = icmp sle i32 %val18, %val19
97 %val20 = select i1 %tst10, i32 %val18, i32 %val19
98
99 ret i32 %val20
100}