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

Snippet:

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

define graalcc void @keep_live() {
  %B = add i128 170141183460469231731687303715884105727, 0
  %val = load volatile [30 x i64], ptr @var, align 4
  %E = extractvalue [30 x i64] %val, 29
  store volatile [30 x i64] %val, ptr @var, align 4
  store i128 %B, ptr poison, align 4
  %B1 = and i16 42, 0
  store i16 %B1, ptr @G, align 2
  store i64 %E, ptr @G.2, align 4
  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,106 +1,273 @@
-addi sp, sp, -128
-sd ra, 120(sp)
-sd s0, 112(sp)
-sd s1, 104(sp)
-sd s2, 96(sp)
-sd s3, 88(sp)
-sd s4, 80(sp)
-sd s5, 72(sp)
-sd s6, 64(sp)
-sd s8, 56(sp)
-sd s9, 48(sp)
-sd s10, 40(sp)
+addi sp, sp, -176
+sd ra, 168(sp)
+sd s0, 160(sp)
+sd s1, 152(sp)
+sd s2, 144(sp)
+sd s3, 136(sp)
+sd s4, 128(sp)
+sd s5, 120(sp)
+sd s6, 112(sp)
+sd s8, 104(sp)
+sd s9, 96(sp)
+sd s10, 88(sp)
 lui a0, %hi(var)
 addi a0, a0, %lo(var)
-ld a1, 0(a0)
-sd a1, 32(sp)
-ld a1, 8(a0)
-sd a1, 24(sp)
-ld a1, 16(a0)
-sd a1, 16(sp)
-ld a1, 24(a0)
+lwu a1, 0(a0)
+lw a2, 4(a0)
+lwu a3, 8(a0)
+lw a4, 12(a0)
+lwu a5, 16(a0)
+lw a6, 20(a0)
+lwu a7, 24(a0)
+lw t0, 28(a0)
+lwu t1, 32(a0)
+lw t2, 36(a0)
+slli a2, a2, 32
+slli a4, a4, 32
+lwu t3, 40(a0)
+lw t4, 44(a0)
+or a1, a2, a1
+sd a1, 56(sp)
+or a3, a4, a3
+sd a3, 64(sp)
+slli a6, a6, 32
+slli t0, t0, 32
+or a1, a6, a5
+sd a1, 72(sp)
+or a1, t0, a7
+sd a1, 80(sp)
+slli t2, t2, 32
+slli t4, t4, 32
+lwu a1, 48(a0)
+lw a2, 52(a0)
+lwu a3, 56(a0)
+lw a4, 60(a0)
+lwu a5, 64(a0)
+lw t5, 68(a0)
+lwu t6, 72(a0)
+lw s0, 76(a0)
+or a6, t2, t1
+sd a6, 24(sp)
+or a6, t4, t3
+sd a6, 32(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or a1, a2, a1
+sd a1, 40(sp)
+or a3, a4, a3
+sd a3, 48(sp)
+slli t5, t5, 32
+slli s0, s0, 32
+lwu a1, 80(a0)
+lw a2, 84(a0)
+lwu a3, 88(a0)
+lw a4, 92(a0)
+lwu s1, 96(a0)
+lw s2, 100(a0)
+lwu s3, 104(a0)
+lw s4, 108(a0)
+or t4, t5, a5
+or a5, s0, t6
+sd a5, 0(sp)
+slli a2, a2, 32
+slli a4, a4, 32
+or a1, a2, a1
 sd a1, 8(sp)
-ld a1, 32(a0)
-sd a1, 0(sp)
-ld a6, 40(a0)
-ld a7, 48(a0)
-ld t0, 56(a0)
-ld t1, 64(a0)
-ld t2, 72(a0)
-ld t3, 80(a0)
-ld t4, 88(a0)
-ld t5, 96(a0)
-ld t6, 104(a0)
-ld s0, 112(a0)
-ld s1, 120(a0)
-ld s2, 128(a0)
-ld s3, 136(a0)
-ld s4, 144(a0)
-ld s5, 152(a0)
-ld s6, 160(a0)
-ld s8, 168(a0)
-ld s9, 176(a0)
-ld s10, 184(a0)
-ld ra, 192(a0)
-ld a4, 200(a0)
-ld a3, 208(a0)
-ld a2, 216(a0)
-ld a1, 224(a0)
-ld a5, 232(a0)
-sd a5, 232(a0)
-sd a1, 224(a0)
-sd a2, 216(a0)
-sd a3, 208(a0)
-sd a4, 200(a0)
-sd ra, 192(a0)
-sd s10, 184(a0)
-sd s9, 176(a0)
-sd s8, 168(a0)
-sd s6, 160(a0)
-sd s5, 152(a0)
-sd s4, 144(a0)
-sd s3, 136(a0)
-sd s2, 128(a0)
-sd s1, 120(a0)
-sd s0, 112(a0)
-sd t6, 104(a0)
-sd t5, 96(a0)
-sd t4, 88(a0)
-sd t3, 80(a0)
-sd t2, 72(a0)
-sd t1, 64(a0)
-sd t0, 56(a0)
-sd a7, 48(a0)
-sd a6, 40(a0)
-ld a1, 0(sp)
-sd a1, 32(a0)
-ld a1, 8(sp)
-sd a1, 24(a0)
-ld a1, 16(sp)
-sd a1, 16(a0)
-ld a1, 24(sp)
-sd a1, 8(a0)
-ld a1, 32(sp)
-sd a1, 0(a0)
-lui a0, 524288
-addi a0, a0, -1
+or a3, a4, a3
+sd a3, 16(sp)
+slli s2, s2, 32
+slli s4, s4, 32
+lwu a1, 112(a0)
+lw a2, 116(a0)
+lwu a3, 120(a0)
+lw a4, 124(a0)
+lwu ra, 128(a0)
+lw s5, 132(a0)
+lwu s6, 136(a0)
+lw s8, 140(a0)
+or s1, s2, s1
+or s0, s4, s3
+slli a2, a2, 32
+slli a4, a4, 32
+or t6, a2, a1
+or t5, a4, a3
+slli s5, s5, 32
+slli s8, s8, 32
+lwu s2, 144(a0)
+lw a2, 148(a0)
+lwu a3, 152(a0)
+lw a4, 156(a0)
+lwu s9, 160(a0)
+lw s10, 164(a0)
+lwu a7, 168(a0)
+lw a1, 172(a0)
+or s5, s5, ra
+or s4, s8, s6
+slli a2, a2, 32
+slli a4, a4, 32
+or s3, a2, s2
+or s2, a4, a3
+slli s10, s10, 32
+slli a5, a1, 32
+lwu s8, 176(a0)
+lw a3, 180(a0)
+lwu a4, 184(a0)
+lw s6, 188(a0)
+lwu t2, 192(a0)
+lw a2, 196(a0)
+lwu t3, 200(a0)
+lw a1, 204(a0)
+or ra, s10, s9
+or s10, a5, a7
+slli a3, a3, 32
+slli s6, s6, 32
+or s9, a3, s8
+or s8, s6, a4
+slli t0, a2, 32
+slli a6, a1, 32
+lwu t1, 208(a0)
+lw a5, 212(a0)
+lwu a7, 216(a0)
+lw s6, 220(a0)
+lwu a4, 224(a0)
+lw a3, 228(a0)
+lwu a2, 232(a0)
+lw a1, 236(a0)
+or t2, t0, t2
+or t0, a6, t3
+slli a5, a5, 32
+slli s6, s6, 32
+or a6, a5, t1
+or a5, s6, a7
+slli a3, a3, 32
+slli a7, a1, 32
+or a1, a3, a4
+or s6, a7, a2
+ld a2, 56(sp)
+sw a2, 0(a0)
+srli a2, a2, 32
+sw a2, 4(a0)
+ld a3, 64(sp)
+srli a2, a3, 32
+sw a3, 8(a0)
+sw a2, 12(a0)
+ld a2, 72(sp)
+sw a2, 16(a0)
+srli a2, a2, 32
+sw a2, 20(a0)
+ld a3, 80(sp)
+srli a2, a3, 32
+sw a3, 24(a0)
+sw a2, 28(a0)
+ld a2, 24(sp)
+sw a2, 32(a0)
+srli a2, a2, 32
+sw a2, 36(a0)
+ld a3, 32(sp)
+srli a2, a3, 32
+sw a3, 40(a0)
+sw a2, 44(a0)
+ld a2, 40(sp)
+sw a2, 48(a0)
+srli a2, a2, 32
+sw a2, 52(a0)
+ld a3, 48(sp)
+srli a2, a3, 32
+sw a3, 56(a0)
+sw a2, 60(a0)
+sw t4, 64(a0)
+srli a2, t4, 32
+sw a2, 68(a0)
+ld a3, 0(sp)
+srli a2, a3, 32
+sw a3, 72(a0)
+sw a2, 76(a0)
+ld a2, 8(sp)
+sw a2, 80(a0)
+srli a2, a2, 32
+sw a2, 84(a0)
+ld a3, 16(sp)
+srli a2, a3, 32
+sw a3, 88(a0)
+sw a2, 92(a0)
+sw s1, 96(a0)
+srli s1, s1, 32
+sw s1, 100(a0)
+srli a2, s0, 32
+sw s0, 104(a0)
+sw a2, 108(a0)
+sw t6, 112(a0)
+srli a2, t6, 32
+sw a2, 116(a0)
+srli a2, t5, 32
+sw t5, 120(a0)
+sw a2, 124(a0)
+sw s5, 128(a0)
+srli a2, s5, 32
+sw a2, 132(a0)
+srli a2, s4, 32
+sw s4, 136(a0)
+sw a2, 140(a0)
+sw s3, 144(a0)
+srli a2, s3, 32
+sw a2, 148(a0)
+srli a2, s2, 32
+sw s2, 152(a0)
+sw a2, 156(a0)
+sw ra, 160(a0)
+srli a2, ra, 32
+sw a2, 164(a0)
+srli a2, s10, 32
+sw s10, 168(a0)
+sw a2, 172(a0)
+sw s9, 176(a0)
+srli a2, s9, 32
+sw a2, 180(a0)
+srli a2, s8, 32
+sw s8, 184(a0)
+sw a2, 188(a0)
+srli a2, t2, 32
+sw t2, 192(a0)
+sw a2, 196(a0)
+srli a2, t0, 32
+sw t0, 200(a0)
+sw a2, 204(a0)
+srli a2, a6, 32
+sw a6, 208(a0)
+sw a2, 212(a0)
+srli a2, a5, 32
+sw a5, 216(a0)
+sw a2, 220(a0)
+srli a2, a1, 32
+sw a1, 224(a0)
 lui a1, %hi(G.2)
-sw a0, 0(a0)
-sd a5, %lo(G.2)(a1)
-li a0, -1
+sw a2, 228(a0)
+srli a2, s6, 32
+sw s6, 232(a0)
+sw a2, 236(a0)
+addi a0, a1, %lo(G.2)
+sw s6, 0(a0)
+li a1, -1
+sw a2, 4(a0)
+srli a0, a1, 32
+sw a1, 0(a0)
+srli a1, a1, 1
+sw a0, 4(a0)
+srli a0, a1, 32
+sw a1, 8(a0)
 lui a1, %hi(G)
-sw a0, 0(a0)
+sw a0, 12(a0)
 sh zero, %lo(G)(a1)
-ld ra, 120(sp)
-ld s0, 112(sp)
-ld s1, 104(sp)
-ld s2, 96(sp)
-ld s3, 88(sp)
-ld s4, 80(sp)
-ld s5, 72(sp)
-ld s6, 64(sp)
-ld s8, 56(sp)
-ld s9, 48(sp)
-ld s10, 40(sp)
-addi sp, sp, 128
+ld ra, 168(sp)
+ld s0, 160(sp)
+ld s1, 152(sp)
+ld s2, 144(sp)
+ld s3, 136(sp)
+ld s4, 128(sp)
+ld s5, 120(sp)
+ld s6, 112(sp)
+ld s8, 104(sp)
+ld s9, 96(sp)
+ld s10, 88(sp)
+addi sp, sp, 176
 ret

Occurrences (1):

Generated 2026-10-15 08:05 UTC.