| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \ | |
| ; RUN: | FileCheck %s -check-prefix=RV32I | |
| @src = global i32 0 | |
| @dst = global i32 0 | |
| ; Tests that the common hi20 value (1) for the constants is used rather than | |
| ; redundantly re-materialised. | |
| define void @imm32_cse() nounwind { | |
| ; RV32I-LABEL: imm32_cse: | |
| ; RV32I: # %bb.0: | |
| ; RV32I-NEXT: lui a0, 1 | |
| ; RV32I-NEXT: addi a1, a0, 1 | |
| ; RV32I-NEXT: lui a2, %hi(src) | |
| ; RV32I-NEXT: lw a3, %lo(src)(a2) | |
| ; RV32I-NEXT: add a1, a3, a1 | |
| ; RV32I-NEXT: lui a3, %hi(dst) | |
| ; RV32I-NEXT: sw a1, %lo(dst)(a3) | |
| ; RV32I-NEXT: addi a1, a0, 2 | |
| ; RV32I-NEXT: lw a4, %lo(src)(a2) | |
| ; RV32I-NEXT: add a1, a4, a1 | |
| ; RV32I-NEXT: sw a1, %lo(dst)(a3) | |
| ; RV32I-NEXT: addi a0, a0, 3 | |
| ; RV32I-NEXT: lw a1, %lo(src)(a2) | |
| ; RV32I-NEXT: add a0, a1, a0 | |
| ; RV32I-NEXT: sw a0, %lo(dst)(a3) | |
| ; RV32I-NEXT: ret | |
| %1 = load volatile i32, i32* @src | |
| %2 = add i32 %1, 4097 | |
| store volatile i32 %2, i32* @dst | |
| %3 = load volatile i32, i32* @src | |
| %4 = add i32 %3, 4098 | |
| store volatile i32 %4, i32* @dst | |
| %5 = load volatile i32, i32* @src | |
| %6 = add i32 %5, 4099 | |
| store volatile i32 %6, i32* @dst | |
| ret void | |
| } |