void format_list(char **s, int n) {
  int i, ip;
  int ncol;
  int k, j;
  char fmat[30];
  int lmax = 0, l = 0;
  for (i = 0; i < n; i++) {
    l = strlen(s[i]);
    if (lmax < l)
      lmax = l;
  }
  ncol = 80 / (lmax + 2);
  if (ncol < 1)
    ncol = 1;
  if (ncol > 8)
    ncol = 8;
  k = n / ncol;
  j = n - ncol * k;
  sprintf(fmat, "%s%d%s", "%", lmax + 2, "s");
  for (ip = 0; ip < k; ip++) {
    for (i = 0; i < ncol; i++)
      plintf(fmat, s[ip * ncol + i]);
    plintf("\n");
  }
  for (i = 0; i < j; i++)
    plintf(fmat, s[k * ncol + i]);
  plintf("\n");
}


x86 assembly (clang, -O0):
<format_list>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1199 <format_list+0x69>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    1186 <format_list+0x56>
mov    -0x48(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    118b <format_list+0x5b>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1154 <format_list+0x24>
mov    -0x44(%rbp),%ecx
add    $0x2,%ecx
mov    $0x50,%eax
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
cmpl   $0x1,-0x18(%rbp)
jge    11bb <format_list+0x8b>
movl   $0x1,-0x18(%rbp)
cmpl   $0x8,-0x18(%rbp)
jle    11cc <format_list+0x9c>
movl   $0x8,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cltd
idivl  -0x18(%rbp)
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x18(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
lea    -0x40(%rbp),%rdi
mov    -0x44(%rbp),%ecx
add    $0x2,%ecx
lea    0xe0a(%rip),%rsi
lea    0xe0a(%rip),%rdx
lea    0xe01(%rip),%r8
mov    $0x0,%al
call   1050 <sprintf@plt>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    127b <format_list+0x14b>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    125f <format_list+0x12f>
lea    -0x40(%rbp),%rdi
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rsi
mov    $0x0,%al
call   1040 <plintf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1225 <format_list+0xf5>
lea    0xda3(%rip),%rdi
mov    $0x0,%al
call   1040 <plintf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1212 <format_list+0xe2>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12bc <format_list+0x18c>
lea    -0x40(%rbp),%rdi
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rsi
mov    $0x0,%al
call   1040 <plintf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1282 <format_list+0x152>
lea    0xd46(%rip),%rdi
mov    $0x0,%al
call   1040 <plintf@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_list>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %esi,%r14d
test   %esi,%esi
mov    %rdi,0x10(%rsp)
jle    117c <format_list+0x4c>
mov    %rdi,%r12
mov    %r14d,%r15d
xor    %ebx,%ebx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%r12,%rbx,8),%rdi
call   1030 <strlen@plt>
cmp    %eax,%ebp
cmovl  %eax,%ebp
add    $0x1,%rbx
cmp    %rbx,%r15
jne    1160 <format_list+0x30>
add    $0x2,%ebp
jmp    1181 <format_list+0x51>
mov    $0x2,%ebp
mov    $0x50,%eax
xor    %edx,%edx
idiv   %ebp
test   %eax,%eax
mov    $0x1,%ecx
cmovg  %eax,%ecx
cmp    $0x8,%ecx
mov    $0x8,%esi
cmovb  %ecx,%esi
mov    %r14d,%eax
cltd
mov    %esi,0x8(%rsp)
idiv   %esi
mov    %edx,0xc(%rsp)
mov    %eax,%ebx
lea    0xe4a(%rip),%rsi
lea    0xe4a(%rip),%rdx
lea    0xe41(%rip),%r8
lea    0x20(%rsp),%rdi
mov    %ebp,%ecx
xor    %eax,%eax
call   1050 <sprintf@plt>
mov    %ebx,0x4(%rsp)
test   %ebx,%ebx
jle    1243 <format_list+0x113>
mov    0x8(%rsp),%r14d
mov    0x4(%rsp),%eax
mov    %rax,0x18(%rsp)
lea    0x0(,%r14,8),%r13
lea    0x20(%rsp),%rbp
mov    0x10(%rsp),%r12
xor    %ebx,%ebx
nopl   0x0(%rax)
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r12,%r15,8),%rsi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <plintf@plt>
add    $0x1,%r15
cmp    %r15,%r14
jne    1210 <format_list+0xe0>
lea    0xddb(%rip),%rdi
xor    %eax,%eax
call   1040 <plintf@plt>
add    $0x1,%rbx
add    %r13,%r12
cmp    0x18(%rsp),%rbx
jne    1200 <format_list+0xd0>
mov    0xc(%rsp),%ecx
test   %ecx,%ecx
jle    1287 <format_list+0x157>
mov    0x8(%rsp),%eax
imul   0x4(%rsp),%eax
cltq
mov    %ecx,%r15d
mov    0x10(%rsp),%rcx
lea    (%rcx,%rax,8),%rbx
lea    0x20(%rsp),%r14
xor    %ebp,%ebp
nopl   0x0(%rax)
mov    (%rbx,%rbp,8),%rsi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <plintf@plt>
add    $0x1,%rbp
cmp    %rbp,%r15
jne    1270 <format_list+0x140>
lea    0xd7b(%rip),%rdi
xor    %eax,%eax
call   1040 <plintf@plt>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [7 x i8] c"%s%d%s\00"
@.str.1 = [2 x i8] c"%\00"
@.str.2 = [2 x i8] c"s\00"
@.str.3 = [2 x i8] c"\0A\00"
define void @format_list(i8** %0, i32 %1) {
%3 = alloca i8**
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca [30 x i8]
%11 = alloca i32
%12 = alloca i32
store i8** %0, i8*** %3
store i32 %1, i32* %4
store i32 0, i32* %11
store i32 0, i32* %12
store i32 0, i32* %5
br label %13
13: ; preds = %31, %2
%14 = load i32, i32* %5
%15 = load i32, i32* %4
%16 = icmp slt i32 %14, %15
br i1 %16, label %17, label %34
17: ; preds = %13
%18 = load i8**, i8*** %3
%19 = load i32, i32* %5
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8*, i8** %18, i64 %20
%22 = load i8*, i8** %21
%23 = call i64 @strlen(i8* %22)
%24 = trunc i64 %23 to i32
store i32 %24, i32* %12
%25 = load i32, i32* %11
%26 = load i32, i32* %12
%27 = icmp slt i32 %25, %26
br i1 %27, label %28, label %30
28: ; preds = %17
%29 = load i32, i32* %12
store i32 %29, i32* %11
br label %30
30: ; preds = %28, %17
br label %31
31: ; preds = %30
%32 = load i32, i32* %5
%33 = add nsw i32 %32, 1
store i32 %33, i32* %5
br label %13
34: ; preds = %13
%35 = load i32, i32* %11
%36 = add nsw i32 %35, 2
%37 = sdiv i32 80, %36
store i32 %37, i32* %7
%38 = load i32, i32* %7
%39 = icmp slt i32 %38, 1
br i1 %39, label %40, label %41
40: ; preds = %34
store i32 1, i32* %7
br label %41
41: ; preds = %40, %34
%42 = load i32, i32* %7
%43 = icmp sgt i32 %42, 8
br i1 %43, label %44, label %45
44: ; preds = %41
store i32 8, i32* %7
br label %45
45: ; preds = %44, %41
%46 = load i32, i32* %4
%47 = load i32, i32* %7
%48 = sdiv i32 %46, %47
store i32 %48, i32* %8
%49 = load i32, i32* %4
%50 = load i32, i32* %7
%51 = load i32, i32* %8
%52 = mul nsw i32 %50, %51
%53 = sub nsw i32 %49, %52
store i32 %53, i32* %9
%54 = getelementptr inbounds [30 x i8], [30 x i8]* %10, i64 0, i64 0
%55 = load i32, i32* %11
%56 = add nsw i32 %55, 2
%57 = call i32 (i8*, i8*, ...) @sprintf(i8* %54, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 %56, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %6
br label %58
58: ; preds = %84, %45
%59 = load i32, i32* %6
%60 = load i32, i32* %8
%61 = icmp slt i32 %59, %60
br i1 %61, label %62, label %87
62: ; preds = %58
store i32 0, i32* %5
br label %63
63: ; preds = %79, %62
%64 = load i32, i32* %5
%65 = load i32, i32* %7
%66 = icmp slt i32 %64, %65
br i1 %66, label %67, label %82
67: ; preds = %63
%68 = getelementptr inbounds [30 x i8], [30 x i8]* %10, i64 0, i64 0
%69 = load i8**, i8*** %3
%70 = load i32, i32* %6
%71 = load i32, i32* %7
%72 = mul nsw i32 %70, %71
%73 = load i32, i32* %5
%74 = add nsw i32 %72, %73
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8*, i8** %69, i64 %75
%77 = load i8*, i8** %76
%78 = call i32 (i8*, i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, i8*, ...)*)(i8* %68, i8* %77)
br label %79
79: ; preds = %67
%80 = load i32, i32* %5
%81 = add nsw i32 %80, 1
store i32 %81, i32* %5
br label %63
82: ; preds = %63
%83 = call i32 (i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
br label %84
84: ; preds = %82
%85 = load i32, i32* %6
%86 = add nsw i32 %85, 1
store i32 %86, i32* %6
br label %58
87: ; preds = %58
store i32 0, i32* %5
br label %88
88: ; preds = %104, %87
%89 = load i32, i32* %5
%90 = load i32, i32* %9
%91 = icmp slt i32 %89, %90
br i1 %91, label %92, label %107
92: ; preds = %88
%93 = getelementptr inbounds [30 x i8], [30 x i8]* %10, i64 0, i64 0
%94 = load i8**, i8*** %3
%95 = load i32, i32* %8
%96 = load i32, i32* %7
%97 = mul nsw i32 %95, %96
%98 = load i32, i32* %5
%99 = add nsw i32 %97, %98
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8*, i8** %94, i64 %100
%102 = load i8*, i8** %101
%103 = call i32 (i8*, i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, i8*, ...)*)(i8* %93, i8* %102)
br label %104
104: ; preds = %92
%105 = load i32, i32* %5
%106 = add nsw i32 %105, 1
store i32 %106, i32* %5
br label %88
107: ; preds = %88
%108 = call i32 (i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [7 x i8] c"%s%d%s\00"
@.str.1 = [2 x i8] c"%\00"
@.str.2 = [2 x i8] c"s\00"
@.str.3 = [2 x i8] c"\0A\00"
define void @format_list(i8** nocapture %0, i32 %1) {
%3 = alloca [30 x i8]
%4 = getelementptr inbounds [30 x i8], [30 x i8]* %3, i64 0, i64 0
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %21
6: ; preds = %2
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %6, %8
%9 = phi i64 [ 0, %6 ], [ %17, %8 ]
%10 = phi i32 [ 0, %6 ], [ %16, %8 ]
%11 = getelementptr inbounds i8*, i8** %0, i64 %9
%12 = load i8*, i8** %11
%13 = tail call i64 @strlen(i8* dereferenceable(1) %12)
%14 = trunc i64 %13 to i32
%15 = icmp slt i32 %10, %14
%16 = select i1 %15, i32 %14, i32 %10
%17 = add nuw nsw i64 %9, 1
%18 = icmp eq i64 %17, %7
br i1 %18, label %19, label %8
19: ; preds = %8
%20 = add i32 %16, 2
br label %21
21: ; preds = %19, %2
%22 = phi i32 [ 2, %2 ], [ %20, %19 ]
%23 = sdiv i32 80, %22
%24 = icmp sgt i32 %23, 1
%25 = select i1 %24, i32 %23, i32 1
%26 = icmp ult i32 %25, 8
%27 = select i1 %26, i32 %25, i32 8
%28 = sdiv i32 %1, %27
%29 = mul nsw i32 %27, %28
%30 = srem i32 %1, %27
%31 = call i32 (i8*, i8*, ...) @sprintf(i8* %4, i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 %22, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%32 = icmp sgt i32 %28, 0
br i1 %32, label %33, label %39
33: ; preds = %21
%34 = zext i32 %27 to i64
%35 = zext i32 %28 to i64
br label %36
36: ; preds = %33, %52
%37 = phi i64 [ 0, %33 ], [ %54, %52 ]
%38 = mul nuw nsw i64 %37, %34
br label %44
39: ; preds = %52, %21
%40 = icmp sgt i32 %30, 0
br i1 %40, label %41, label %64
41: ; preds = %39
%42 = sext i32 %29 to i64
%43 = zext i32 %30 to i64
br label %56
44: ; preds = %36, %44
%45 = phi i64 [ 0, %36 ], [ %50, %44 ]
%46 = add nuw nsw i64 %45, %38
%47 = getelementptr inbounds i8*, i8** %0, i64 %46
%48 = load i8*, i8** %47
%49 = call i32 (i8*, i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, i8*, ...)*)(i8* %4, i8* %48)
%50 = add nuw nsw i64 %45, 1
%51 = icmp eq i64 %50, %34
br i1 %51, label %52, label %44
52: ; preds = %44
%53 = call i32 (i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%54 = add nuw nsw i64 %37, 1
%55 = icmp eq i64 %54, %35
br i1 %55, label %39, label %36
56: ; preds = %41, %56
%57 = phi i64 [ 0, %41 ], [ %62, %56 ]
%58 = add nsw i64 %57, %42
%59 = getelementptr inbounds i8*, i8** %0, i64 %58
%60 = load i8*, i8** %59
%61 = call i32 (i8*, i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, i8*, ...)*)(i8* %4, i8* %60)
%62 = add nuw nsw i64 %57, 1
%63 = icmp eq i64 %62, %43
br i1 %63, label %64, label %56
64: ; preds = %56, %39
%65 = call i32 (i8*, ...) bitcast (i32 (...)* @plintf to i32 (i8*, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
ret void
}