1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
# RUN: llvm-mc -filetype=obj -triple riscv32 -mattr=+c < %s | \
# RUN: llvm-objdump -d -M no-aliases --no-show-raw-insn - | \
# RUN: FileCheck %s
# CHECK-LABEL: <foo>:
foo:
# CHECK: beq t0, t1, 0x58 <foo+0x58>
beq t0, t1, .Llocal
# CHECK: bne t0, t1, 0x58 <foo+0x58>
bne t0, t1, .Llocal
# CHECK: blt t0, t1, 0x58 <foo+0x58>
blt t0, t1, .Llocal
# CHECK: bge t0, t1, 0x58 <foo+0x58>
bge t0, t1, .Llocal
# CHECK: bltu t0, t1, 0x58 <foo+0x58>
bltu t0, t1, .Llocal
# CHECK: bgeu t0, t1, 0x58 <foo+0x58>
bgeu t0, t1, .Llocal
# CHECK: c.beqz a0, 0x58 <foo+0x58>
beq a0, zero, .Llocal
# CHECK: c.bnez a0, 0x58 <foo+0x58>
bne a0, zero, .Llocal
# CHECK: beq t0, t1, 0x60 <bar>
beq t0, t1, bar
# CHECK: bne t0, t1, 0x60 <bar>
bne t0, t1, bar
# CHECK: blt t0, t1, 0x60 <bar>
blt t0, t1, bar
# CHECK: bge t0, t1, 0x60 <bar>
bge t0, t1, bar
# CHECK: bltu t0, t1, 0x60 <bar>
bltu t0, t1, bar
# CHECK: bgeu t0, t1, 0x60 <bar>
bgeu t0, t1, bar
# CHECK: c.beqz a0, 0x60 <bar>
beq a0, zero, bar
# CHECK: c.bnez a0, 0x60 <bar>
bne a0, zero, bar
# CHECK: jal t0, 0x58 <foo+0x58>
jal t0, .Llocal
# CHECK: c.jal 0x58 <foo+0x58>
c.jal .Llocal
# CHECK: c.j 0x58 <foo+0x58>
c.j .Llocal
# CHECK: jal t0, 0x60 <bar>
jal t0, bar
# CHECK: c.jal 0x60 <bar>
c.jal bar
# CHECK: c.j 0x60 <bar>
c.j bar
# CHECK: auipc ra, 0x0
# CHECK: jalr ra, 0x10(ra) <foo+0x58>
call .Llocal
# CHECK: auipc ra, 0x0
# CHECK: jalr ra, 0x10(ra) <bar>
call bar
.Llocal:
# CHECK: 58: c.nop
# CHECK: c.nop
# CHECK: c.nop
# CHECK: c.nop
nop
nop
nop
nop
# CHECK-LABEL: <bar>:
bar:
# CHECK: 60: c.nop
nop
# CHECK-LABEL: 00011000 <far>:
.org 0x11000
far:
# CHECK: jalr ra, 0x0(ra) <foo>
call foo
|
