(mcyoung.xyz)

207 points transpute | 1 comments | 22 Oct 25 20:13 UTC | HN request time: 0.199s | source

Show context

mbauman ◴[22 Oct 25 21:50 UTC] No.45675610[source]▶

>>45674568 (OP) #

Forget compilers, SSA is an immensely valuable readability improvement for humans, too.

replies(1): >>45678241 #

MeetingsBrowser ◴[23 Oct 25 04:46 UTC] No.45678241[source]▶

>>45675610 #

Why have

    while (c < 10) { c *= 3; }

when you could have

  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  store i32 %0, ptr %3, align 4
  br label %4, !dbg !18

  4:
  %5 = load i32, ptr %3, align 4, !dbg !19
  %6 = icmp slt i32 %5, 10, !dbg !20
  br i1 %6, label %7, label %10, !dbg !18

  7:
  %8 = load i32, ptr %3, align 4, !dbg !21
  %9 = mul nsw i32 %8, 3, !dbg !21
  store i32 %9, ptr %3, align 4, !dbg !21
  br label %4, !dbg !18

replies(2): >>45680346 #>>45680725 #

1. JonChesterfield ◴[23 Oct 25 10:41 UTC] No.45680346[source]▶

>>45678241 #

Try mem2reg on that to get rid of the loads and stores.

↑

Why SSA?