regression: +249 insts: keep_live (graalcc.ll)

Snippet:

@var = external global [30 x i64]
@G = external global i64
@G.2 = external global [30 x i64]
@G.3 = external global i8

define graalcc void @keep_live() {
  %LGV = load i64, ptr @G, align 4
  %B = and i8 1, 1
  %val = load volatile [30 x i64], ptr @var, align 4
  store volatile [30 x i64] %val, ptr @var, align 4
  %I = insertvalue [30 x i64] %val, i64 %LGV, 18
  store [30 x i64] %I, ptr @G.2, align 4
  store i8 %B, ptr @G.3, align 1
  ret void
}

Reproduce:

llc -mtriple=riscv64 -global-isel snippet.ll -o -
llc -mtriple=riscv64 -global-isel=0 snippet.ll -o -

Assembly diff (SelectionDAG vs GlobalISel):

--- sdag
+++ gisel
@@ -1,146 +1,395 @@
-addi sp, sp, -160
-sd ra, 152(sp)
-sd s0, 144(sp)
-sd s1, 136(sp)
-sd s2, 128(sp)
-sd s3, 120(sp)
-sd s4, 112(sp)
-sd s5, 104(sp)
-sd s6, 96(sp)
-sd s8, 88(sp)
-sd s9, 80(sp)
-sd s10, 72(sp)
+addi sp, sp, -384
+sd ra, 376(sp)
+sd s0, 368(sp)
+sd s1, 360(sp)
+sd s2, 352(sp)
+sd s3, 344(sp)
+sd s4, 336(sp)
+sd s5, 328(sp)
+sd s6, 320(sp)
+sd s8, 312(sp)
+sd s9, 304(sp)
+sd s10, 296(sp)
 lui a0, %hi(G)
-lui s5, %hi(var)
-addi s5, s5, %lo(var)
-ld a0, %lo(G)(a0)
-sd a0, 32(sp)
-ld a0, 0(s5)
-sd a0, 24(sp)
-ld a0, 8(s5)
-sd a0, 64(sp)
-ld a0, 16(s5)
-sd a0, 56(sp)
-ld a0, 24(s5)
-sd a0, 48(sp)
-ld a0, 32(s5)
-sd a0, 40(sp)
-ld s10, 40(s5)
-ld s9, 48(s5)
-ld s8, 56(s5)
-ld s1, 64(s5)
-ld s0, 72(s5)
-ld t6, 80(s5)
-ld t5, 88(s5)
-ld t2, 96(s5)
-ld t1, 104(s5)
-ld t0, 112(s5)
-ld a7, 120(s5)
-ld a6, 128(s5)
-ld a5, 136(s5)
-ld ra, 144(s5)
-ld a4, 152(s5)
-ld a3, 160(s5)
-ld a2, 168(s5)
-sd a2, 0(sp)
-ld a1, 176(s5)
-sd a1, 8(sp)
-ld a0, 184(s5)
-sd a0, 16(sp)
-ld s6, 192(s5)
-ld s2, 200(s5)
-ld s3, 208(s5)
-ld s4, 216(s5)
-ld t4, 224(s5)
-ld t3, 232(s5)
-sd t3, 232(s5)
-sd t4, 224(s5)
-sd s4, 216(s5)
-sd s3, 208(s5)
-sd s2, 200(s5)
-sd s6, 192(s5)
-sd a0, 184(s5)
-sd a1, 176(s5)
-sd a2, 168(s5)
-sd a3, 160(s5)
-sd a4, 152(s5)
-sd ra, 144(s5)
-sd a5, 136(s5)
-sd a6, 128(s5)
-sd a7, 120(s5)
-sd t0, 112(s5)
-sd t1, 104(s5)
-sd t2, 96(s5)
-sd t5, 88(s5)
-sd t6, 80(s5)
-sd s0, 72(s5)
-sd s1, 64(s5)
-sd s8, 56(s5)
-sd s9, 48(s5)
-sd s10, 40(s5)
+lui a1, %hi(var)
+addi a0, a0, %lo(G)
+addi a1, a1, %lo(var)
+lwu a2, 0(a0)
+lw a0, 4(a0)
+lwu a3, 0(a1)
+lw a4, 4(a1)
+lwu a5, 8(a1)
+lw a6, 12(a1)
+lwu a7, 16(a1)
+lw t0, 20(a1)
+slli a0, a0, 32
+slli a4, a4, 32
+slli a6, a6, 32
+or a0, a0, a2
+sd a0, 176(sp)
+lwu a0, 24(a1)
+lw a2, 28(a1)
+lwu t1, 32(a1)
+lw t2, 36(a1)
+lwu t3, 40(a1)
+lw t4, 44(a1)
+or s0, a4, a3
+or t5, a6, a5
+slli t0, t0, 32
+slli a2, a2, 32
+or s1, t0, a7
+or t6, a2, a0
+slli t2, t2, 32
+slli t4, t4, 32
+lwu a0, 48(a1)
+lw a2, 52(a1)
+lwu a3, 56(a1)
+lw a4, 60(a1)
+lwu a5, 64(a1)
+lw a6, 68(a1)
+lwu a7, 72(a1)
+lw t0, 76(a1)
+or s5, t2, t1
+or s2, t4, t3
+slli a2, a2, 32
+slli a4, a4, 32
+or s6, a2, a0
+or s3, a4, a3
+slli a6, a6, 32
+slli t0, t0, 32
+lwu a0, 80(a1)
+lw a2, 84(a1)
+lwu a3, 88(a1)
+lw a4, 92(a1)
+lwu t1, 96(a1)
+lw t2, 100(a1)
+lwu t3, 104(a1)
+lw t4, 108(a1)
+or s8, a6, a5
+or a5, t0, a7
+sd a5, 272(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or a0, a2, a0
+sd a0, 280(sp)
+or a3, a4, a3
+sd a3, 288(sp)
+slli t2, t2, 32
+slli t4, t4, 32
+lwu a0, 112(a1)
+lw a2, 116(a1)
+lwu a3, 120(a1)
+lw a4, 124(a1)
+lwu a5, 128(a1)
+lw a6, 132(a1)
+lwu a7, 136(a1)
+lw t0, 140(a1)
+or t1, t2, t1
+sd t1, 240(sp)
+or t1, t4, t3
+sd t1, 248(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or a0, a2, a0
+sd a0, 256(sp)
+or a3, a4, a3
+sd a3, 264(sp)
+slli a6, a6, 32
+slli t0, t0, 32
+lwu a0, 144(a1)
+lw a2, 148(a1)
+lwu a3, 152(a1)
+lw a4, 156(a1)
+lwu t1, 160(a1)
+lw t2, 164(a1)
+lwu t3, 168(a1)
+lw t4, 172(a1)
+or a5, a6, a5
+sd a5, 216(sp)
+or a5, t0, a7
+sd a5, 224(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or s4, a2, a0
+or a3, a4, a3
+sd a3, 232(sp)
+slli t2, t2, 32
+slli t4, t4, 32
+lwu a0, 176(a1)
+lw a2, 180(a1)
+lwu a3, 184(a1)
+lw a4, 188(a1)
+lwu a5, 192(a1)
+lw a6, 196(a1)
+lwu a7, 200(a1)
+lw t0, 204(a1)
+or t1, t2, t1
+sd t1, 184(sp)
+or t1, t4, t3
+sd t1, 192(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or a0, a2, a0
+sd a0, 200(sp)
+or a3, a4, a3
+sd a3, 208(sp)
+slli a6, a6, 32
+slli t0, t0, 32
+lwu a0, 208(a1)
+lw a2, 212(a1)
+lwu a3, 216(a1)
+lw a4, 220(a1)
+lwu t1, 224(a1)
+lw t2, 228(a1)
+lwu t3, 232(a1)
+lw t4, 236(a1)
+or a6, a6, a5
+or a5, t0, a7
+slli a2, a2, 32
+slli a4, a4, 32
+or a2, a2, a0
+or a3, a4, a3
+slli t2, t2, 32
+slli t4, t4, 32
+or a4, t2, t1
+or a0, t4, t3
+sd a0, 136(sp)
+sd s0, 160(sp)
+sw s0, 0(a1)
+srli a0, s0, 32
+sd a0, 168(sp)
+sw a0, 4(a1)
+sd t5, 152(sp)
+srli a0, t5, 32
+sd a0, 144(sp)
+sw t5, 8(a1)
+sw a0, 12(a1)
+sd s1, 120(sp)
+sw s1, 16(a1)
+srli a0, s1, 32
+sd a0, 128(sp)
+sw a0, 20(a1)
+sd t6, 112(sp)
+srli a0, t6, 32
+sd a0, 104(sp)
+sw t6, 24(a1)
+sw a0, 28(a1)
+sd s5, 88(sp)
+sw s5, 32(a1)
+srli a0, s5, 32
+sd a0, 96(sp)
+sw a0, 36(a1)
+sd s2, 80(sp)
+srli a0, s2, 32
+sd a0, 72(sp)
+sw s2, 40(a1)
+sw a0, 44(a1)
+sd s6, 64(sp)
+sw s6, 48(a1)
+srli ra, s6, 32
+sw ra, 52(a1)
+sd s3, 56(sp)
+srli s10, s3, 32
+sw s3, 56(a1)
+sw s10, 60(a1)
+sd s8, 48(sp)
+sw s8, 64(a1)
+srli s9, s8, 32
+sw s9, 68(a1)
+ld a0, 272(sp)
+srli s8, a0, 32
+sw a0, 72(a1)
+sw s8, 76(a1)
+ld a0, 280(sp)
+sw a0, 80(a1)
+srli s6, a0, 32
+sw s6, 84(a1)
+ld a0, 288(sp)
+srli s5, a0, 32
+sw a0, 88(a1)
+sw s5, 92(a1)
+ld a0, 240(sp)
+sw a0, 96(a1)
+srli s3, a0, 32
+sw s3, 100(a1)
+ld a0, 248(sp)
+srli s2, a0, 32
+sw a0, 104(a1)
+sw s2, 108(a1)
+ld s1, 256(sp)
+sw s1, 112(a1)
+srli s1, s1, 32
+sw s1, 116(a1)
+ld a0, 264(sp)
+srli s0, a0, 32
+sw a0, 120(a1)
+sw s0, 124(a1)
+ld a0, 216(sp)
+sw a0, 128(a1)
+srli t4, a0, 32
+sw t4, 132(a1)
+ld a0, 224(sp)
+srli t6, a0, 32
+sw a0, 136(a1)
+sw t6, 140(a1)
+sw s4, 144(a1)
+srli a0, s4, 32
+sw a0, 148(a1)
+ld a0, 232(sp)
+srli s4, a0, 32
+sw a0, 152(a1)
+sw s4, 156(a1)
+ld a0, 184(sp)
+sw a0, 160(a1)
+srli t5, a0, 32
+sw t5, 164(a1)
+ld a0, 192(sp)
+srli t3, a0, 32
+sw a0, 168(a1)
+sw t3, 172(a1)
+ld a0, 200(sp)
+sw a0, 176(a1)
+srli t2, a0, 32
+sw t2, 180(a1)
+ld a0, 208(sp)
+srli t1, a0, 32
+sw a0, 184(a1)
+sw t1, 188(a1)
+sd a6, 40(sp)
+sw a6, 192(a1)
+srli t0, a6, 32
+sw t0, 196(a1)
+sd a5, 32(sp)
+srli a7, a5, 32
+sw a5, 200(a1)
+sw a7, 204(a1)
+sd a2, 24(sp)
+sw a2, 208(a1)
+srli a6, a2, 32
+sw a6, 212(a1)
+sd a3, 16(sp)
+srli a5, a3, 32
+sw a3, 216(a1)
+sw a5, 220(a1)
+sd a4, 8(sp)
+sw a4, 224(a1)
+srli a3, a4, 32
+sw a3, 228(a1)
+ld a2, 136(sp)
+sw a2, 232(a1)
+lui a0, %hi(G.2)
+srli a4, a2, 32
+sw a4, 236(a1)
+addi a1, a0, %lo(G.2)
+ld a0, 160(sp)
+sw a0, 0(a1)
+ld a0, 168(sp)
+sw a0, 4(a1)
+ld a0, 152(sp)
+sw a0, 8(a1)
+ld a0, 144(sp)
+sw a0, 12(a1)
+ld a0, 120(sp)
+sw a0, 16(a1)
+ld a0, 128(sp)
+sw a0, 20(a1)
+ld a0, 112(sp)
+sw a0, 24(a1)
+ld a0, 104(sp)
+sw a0, 28(a1)
+ld a0, 88(sp)
+sw a0, 32(a1)
+ld a0, 96(sp)
+sw a0, 36(a1)
+ld a0, 80(sp)
+sw a0, 40(a1)
+ld a0, 72(sp)
+sw a0, 44(a1)
+ld a0, 64(sp)
+sw a0, 48(a1)
+sw ra, 52(a1)
+ld a0, 56(sp)
+sw a0, 56(a1)
+sw s10, 60(a1)
+ld a0, 48(sp)
+sw a0, 64(a1)
+sw s9, 68(a1)
+ld a0, 272(sp)
+sw a0, 72(a1)
+sw s8, 76(a1)
+ld a0, 280(sp)
+sw a0, 80(a1)
+sw s6, 84(a1)
+ld a0, 288(sp)
+sw a0, 88(a1)
+sw s5, 92(a1)
+ld a0, 240(sp)
+sw a0, 96(a1)
+sw s3, 100(a1)
+ld a0, 248(sp)
+sw a0, 104(a1)
+sw s2, 108(a1)
+ld a0, 256(sp)
+sw a0, 112(a1)
+sw s1, 116(a1)
+ld a0, 264(sp)
+sw a0, 120(a1)
+sw s0, 124(a1)
+ld a0, 216(sp)
+sw a0, 128(a1)
+sw t4, 132(a1)
+ld a0, 224(sp)
+sw a0, 136(a1)
+sw t6, 140(a1)
+ld t4, 176(sp)
+srli a0, t4, 32
+sw t4, 144(a1)
+sw a0, 148(a1)
+ld a0, 232(sp)
+sw a0, 152(a1)
+sw s4, 156(a1)
+ld a0, 184(sp)
+sw a0, 160(a1)
+sw t5, 164(a1)
+ld a0, 192(sp)
+sw a0, 168(a1)
+sw t3, 172(a1)
+ld a0, 200(sp)
+sw a0, 176(a1)
+sw t2, 180(a1)
+ld a0, 208(sp)
+sw a0, 184(a1)
+sw t1, 188(a1)
 ld a0, 40(sp)
-sd a0, 32(s5)
-ld a0, 48(sp)
-sd a0, 24(s5)
-ld a0, 56(sp)
-sd a0, 16(s5)
-ld a0, 64(sp)
-sd a0, 8(s5)
-lui ra, %hi(G.2)
-addi ra, ra, %lo(G.2)
-ld a1, 24(sp)
-sd a1, 0(s5)
-sd t4, 224(ra)
-sd t3, 232(ra)
-sd s6, 192(ra)
-sd s2, 200(ra)
-sd s3, 208(ra)
-sd s4, 216(ra)
-sd a3, 160(ra)
-ld a0, 0(sp)
-sd a0, 168(ra)
+sw a0, 192(a1)
+sw t0, 196(a1)
+ld a0, 32(sp)
+sw a0, 200(a1)
+sw a7, 204(a1)
+ld a0, 24(sp)
+sw a0, 208(a1)
+sw a6, 212(a1)
+ld a0, 16(sp)
+sw a0, 216(a1)
+sw a5, 220(a1)
 ld a0, 8(sp)
-sd a0, 176(ra)
-ld a0, 16(sp)
-sd a0, 184(ra)
-sd a6, 128(ra)
-sd a5, 136(ra)
-ld a0, 32(sp)
-sd a0, 144(ra)
-sd a4, 152(ra)
-sd t2, 96(ra)
-sd t1, 104(ra)
-sd t0, 112(ra)
-sd a7, 120(ra)
-sd s1, 64(ra)
-sd s0, 72(ra)
-sd t6, 80(ra)
-sd t5, 88(ra)
-ld a0, 40(sp)
-sd a0, 32(ra)
-sd s10, 40(ra)
-sd s9, 48(ra)
-sd s8, 56(ra)
-sd a1, 0(ra)
-ld a0, 64(sp)
-sd a0, 8(ra)
-ld a0, 56(sp)
-sd a0, 16(ra)
+sw a0, 224(a1)
+sw a3, 228(a1)
 lui a0, %hi(G.3)
-li a1, 1
-ld a2, 48(sp)
-sd a2, 24(ra)
-sb a1, %lo(G.3)(a0)
-ld ra, 152(sp)
-ld s0, 144(sp)
-ld s1, 136(sp)
-ld s2, 128(sp)
-ld s3, 120(sp)
-ld s4, 112(sp)
-ld s5, 104(sp)
-ld s6, 96(sp)
-ld s8, 88(sp)
-ld s9, 80(sp)
-ld s10, 72(sp)
-addi sp, sp, 160
+sw a2, 232(a1)
+li a3, 1
+sw a4, 236(a1)
+sb a3, %lo(G.3)(a0)
+ld ra, 376(sp)
+ld s0, 368(sp)
+ld s1, 360(sp)
+ld s2, 352(sp)
+ld s3, 344(sp)
+ld s4, 336(sp)
+ld s5, 328(sp)
+ld s6, 320(sp)
+ld s8, 312(sp)
+ld s9, 304(sp)
+ld s10, 296(sp)
+addi sp, sp, 384
 ret

Occurrences (1):

Generated 2026-10-15 08:05 UTC.