fn w32 $forSliceIndexed(ptr %0) {
  @entry0
    load w32 %1 %0 8;
    load ptr %2 %0 0;
    jmp @loop1(0, 0);
  @loop1(w32 %3, w32 %6)
    br.slt w32 %3 %1 @body2 @merge3;
  @body2
    elem %4 %2 %3 %1 4;
    sload w32 %5 %4 0;
    add w32 %7 %5 %3;
    add w32 %8 %6 %7;
    add w32 %9 %3 1;
    jmp @loop1(%9, %8);
  @merge3
    ret %6;
}