[llvm] d156b85 - [RISCV] Precommit test for #124932

[Mikhail R. Gadelha via llvm-commits]

Author: Mikhail R. Gadelha
Date: 2025-02-03T18:19:07-03:00
New Revision: d156b8583cb674983c2244cdb79447770383ef8d

URL: https://github.com/llvm/llvm-project/commit/d156b8583cb674983c2244cdb79447770383ef8d
DIFF: https://github.com/llvm/llvm-project/commit/d156b8583cb674983c2244cdb79447770383ef8d.diff

LOG: [RISCV] Precommit test for #124932

Signed-off-by: Mikhail R. Gadelha <mikhail at igalia.com>

Added: 
    llvm/test/CodeGen/RISCV/ipra.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/RISCV/ipra.ll b/llvm/test/CodeGen/RISCV/ipra.ll
new file mode 100644
index 00000000000000..717b778bcde375
--- /dev/null
+++ b/llvm/test/CodeGen/RISCV/ipra.ll
@@ -0,0 +1,124 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
+; RUN: llc -mtriple=riscv64 -verify-machineinstrs -enable-ipra < %s | FileCheck %s -check-prefix=RV64
+; RUN: llc -mtriple=riscv32 -verify-machineinstrs -enable-ipra < %s | FileCheck %s -check-prefix=RV32
+; RUN: llc -mtriple=riscv64 -verify-machineinstrs -frame-pointer=all -enable-ipra < %s \
+; RUN:   | FileCheck %s -check-prefix=RV64-WITHFP
+; RUN: llc -mtriple=riscv32 -verify-machineinstrs -frame-pointer=all -enable-ipra < %s \
+; RUN:   | FileCheck %s -check-prefix=RV32-WITHFP
+
+%struct.bitmap_iterator = type { ptr, ptr, i32, i64 }
+
+define i32 @main() nounwind {
+; RV64-LABEL: main:
+; RV64:       # %bb.0: # %entry
+; RV64-NEXT:    addi sp, sp, -16
+; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
+; RV64-NEXT:    li a0, 0
+; RV64-NEXT:    call foobar
+; RV64-NEXT:    li a0, 0
+; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
+; RV64-NEXT:    addi sp, sp, 16
+; RV64-NEXT:    ret
+;
+; RV32-LABEL: main:
+; RV32:       # %bb.0: # %entry
+; RV32-NEXT:    addi sp, sp, -16
+; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32-NEXT:    li a0, 0
+; RV32-NEXT:    call foobar
+; RV32-NEXT:    li a0, 0
+; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32-NEXT:    addi sp, sp, 16
+; RV32-NEXT:    ret
+;
+; RV64-WITHFP-LABEL: main:
+; RV64-WITHFP:       # %bb.0: # %entry
+; RV64-WITHFP-NEXT:    addi sp, sp, -16
+; RV64-WITHFP-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
+; RV64-WITHFP-NEXT:    sd s0, 0(sp) # 8-byte Folded Spill
+; RV64-WITHFP-NEXT:    addi s0, sp, 16
+; RV64-WITHFP-NEXT:    li a0, 0
+; RV64-WITHFP-NEXT:    call foobar
+; RV64-WITHFP-NEXT:    li a0, 0
+; RV64-WITHFP-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
+; RV64-WITHFP-NEXT:    ld s0, 0(sp) # 8-byte Folded Reload
+; RV64-WITHFP-NEXT:    addi sp, sp, 16
+; RV64-WITHFP-NEXT:    ret
+;
+; RV32-WITHFP-LABEL: main:
+; RV32-WITHFP:       # %bb.0: # %entry
+; RV32-WITHFP-NEXT:    addi sp, sp, -16
+; RV32-WITHFP-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
+; RV32-WITHFP-NEXT:    sw s0, 8(sp) # 4-byte Folded Spill
+; RV32-WITHFP-NEXT:    addi s0, sp, 16
+; RV32-WITHFP-NEXT:    li a0, 0
+; RV32-WITHFP-NEXT:    call foobar
+; RV32-WITHFP-NEXT:    li a0, 0
+; RV32-WITHFP-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
+; RV32-WITHFP-NEXT:    lw s0, 8(sp) # 4-byte Folded Reload
+; RV32-WITHFP-NEXT:    addi sp, sp, 16
+; RV32-WITHFP-NEXT:    ret
+entry:
+  call void @foobar(ptr null)
+  ret i32 0
+}
+
+; FIXME: this function calls another function but doesn't save/restore ra
+define internal void @foobar(ptr %live_throughout.0.val) norecurse nounwind {
+; RV64-LABEL: foobar:
+; RV64:       # %bb.0: # %entry
+; RV64-NEXT:    addi sp, sp, -48
+; RV64-NEXT:    mv a1, a0
+; RV64-NEXT:    addi a0, sp, 16
+; RV64-NEXT:    addi a2, sp, 12
+; RV64-NEXT:    call bmp_iter_set_init
+; RV64-NEXT:    addi sp, sp, 48
+; RV64-NEXT:    ret
+;
+; RV32-LABEL: foobar:
+; RV32:       # %bb.0: # %entry
+; RV32-NEXT:    addi sp, sp, -32
+; RV32-NEXT:    mv a1, a0
+; RV32-NEXT:    addi a0, sp, 8
+; RV32-NEXT:    addi a2, sp, 4
+; RV32-NEXT:    call bmp_iter_set_init
+; RV32-NEXT:    addi sp, sp, 32
+; RV32-NEXT:    ret
+;
+; RV64-WITHFP-LABEL: foobar:
+; RV64-WITHFP:       # %bb.0: # %entry
+; RV64-WITHFP-NEXT:    addi sp, sp, -64
+; RV64-WITHFP-NEXT:    sd ra, 56(sp) # 8-byte Folded Spill
+; RV64-WITHFP-NEXT:    sd s0, 48(sp) # 8-byte Folded Spill
+; RV64-WITHFP-NEXT:    addi s0, sp, 64
+; RV64-WITHFP-NEXT:    mv a1, a0
+; RV64-WITHFP-NEXT:    addi a0, s0, -48
+; RV64-WITHFP-NEXT:    addi a2, s0, -52
+; RV64-WITHFP-NEXT:    call bmp_iter_set_init
+; RV64-WITHFP-NEXT:    ld ra, 56(sp) # 8-byte Folded Reload
+; RV64-WITHFP-NEXT:    ld s0, 48(sp) # 8-byte Folded Reload
+; RV64-WITHFP-NEXT:    addi sp, sp, 64
+; RV64-WITHFP-NEXT:    ret
+;
+; RV32-WITHFP-LABEL: foobar:
+; RV32-WITHFP:       # %bb.0: # %entry
+; RV32-WITHFP-NEXT:    addi sp, sp, -48
+; RV32-WITHFP-NEXT:    sw ra, 44(sp) # 4-byte Folded Spill
+; RV32-WITHFP-NEXT:    sw s0, 40(sp) # 4-byte Folded Spill
+; RV32-WITHFP-NEXT:    addi s0, sp, 48
+; RV32-WITHFP-NEXT:    mv a1, a0
+; RV32-WITHFP-NEXT:    addi a0, s0, -32
+; RV32-WITHFP-NEXT:    addi a2, s0, -36
+; RV32-WITHFP-NEXT:    call bmp_iter_set_init
+; RV32-WITHFP-NEXT:    lw ra, 44(sp) # 4-byte Folded Reload
+; RV32-WITHFP-NEXT:    lw s0, 40(sp) # 4-byte Folded Reload
+; RV32-WITHFP-NEXT:    addi sp, sp, 48
+; RV32-WITHFP-NEXT:    ret
+entry:
+  %rsi = alloca %struct.bitmap_iterator, align 8
+  %regno = alloca i32, i32 0, align 4
+  call void @bmp_iter_set_init(ptr %rsi, ptr %live_throughout.0.val, ptr %regno)
+  ret void
+}
+
+declare void @bmp_iter_set_init(ptr, ptr, ptr)