fn w32 $average(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;
    load w32 %5 %4 0;
    add w32 %7 %6 %5;
    add w32 %8 %3 1;
    jmp @loop1(%8, %7);
  @merge3
    load w32 %10 %0 8;
    udiv w32 %11 %6 %10;
    ret %11;
}