[InstCombine] Signed saturation patterns
[llvm-core.git] / test / MC / RISCV / rv32c-aliases-valid.s
blob6f8da5684b184ced95686d003b634a17287a76ea
1 # RUN: llvm-mc -triple=riscv32 -mattr=+c -riscv-no-aliases < %s \
2 # RUN: | FileCheck -check-prefixes=CHECK-EXPAND,CHECK-INST %s
3 # RUN: llvm-mc -filetype=obj -triple riscv32 -mattr=+c < %s \
4 # RUN: | llvm-objdump -d -M no-aliases - \
5 # RUN: | FileCheck -check-prefixes=CHECK-EXPAND,CHECK-INST %s
7 # The following check prefixes are used in this test:
8 # CHECK-INST.....Match the canonical instr (tests alias to instr. mapping)
9 # CHECK-EXPAND...Match canonical instr. unconditionally (tests alias expansion)
11 # CHECK-EXPAND: c.li a0, 0
12 li x10, 0
13 # CHECK-EXPAND: c.li a0, 1
14 li x10, 1
15 # CHECK-EXPAND: c.li a0, -1
16 li x10, -1
17 # CHECK-EXPAND: addi a0, zero, 2047
18 li x10, 2047
19 # CHECK-EXPAND: addi a0, zero, -2047
20 li x10, -2047
21 # CHECK-EXPAND: c.lui a1, 1
22 # CHECK-EXPAND: addi a1, a1, -2048
23 li x11, 2048
24 # CHECK-EXPAND: addi a1, zero, -2048
25 li x11, -2048
26 # CHECK-EXPAND: c.lui a1, 1
27 # CHECK-EXPAND: addi a1, a1, -2047
28 li x11, 2049
29 # CHECK-EXPAND: lui a1, 1048575
30 # CHECK-EXPAND: addi a1, a1, 2047
31 li x11, -2049
32 # CHECK-EXPAND: c.lui a1, 1
33 # CHECK-EXPAND: c.addi a1, -1
34 li x11, 4095
35 # CHECK-EXPAND: lui a1, 1048575
36 # CHECK-EXPAND: c.addi a1, 1
37 li x11, -4095
38 # CHECK-EXPAND: c.lui a2, 1
39 li x12, 4096
40 # CHECK-EXPAND: lui a2, 1048575
41 li x12, -4096
42 # CHECK-EXPAND: c.lui a2, 1
43 # CHECK-EXPAND: c.addi a2, 1
44 li x12, 4097
45 # CHECK-EXPAND: lui a2, 1048575
46 # CHECK-EXPAND: c.addi a2, -1
47 li x12, -4097
48 # CHECK-EXPAND: lui a2, 524288
49 # CHECK-EXPAND: c.addi a2, -1
50 li x12, 2147483647
51 # CHECK-EXPAND: lui a2, 524288
52 # CHECK-EXPAND: c.addi a2, 1
53 li x12, -2147483647
54 # CHECK-EXPAND: lui a2, 524288
55 li x12, -2147483648
56 # CHECK-EXPAND: lui a2, 524288
57 li x12, -0x80000000
59 # CHECK-EXPAND: lui a2, 524288
60 li x12, 0x80000000
61 # CHECK-EXPAND: c.li a2, -1
62 li x12, 0xFFFFFFFF
64 # CHECK-EXPAND: c.mv sp, sp
65 addi x2, x2, 0