int pandigital(int a, int b, int c) {
  int seen[10] = {0};
  do {
    while (a) {
      const int t = a % 10;
      if (t == 0 || seen[t])
        return 0;
      seen[t] = 1;
      a /= 10;
    }
  } while (0);
  do {
    while (b) {
      const int t = b % 10;
      if (t == 0 || seen[t])
        return 0;
      seen[t] = 1;
      b /= 10;
    }
  } while (0);
  do {
    while (c) {
      const int t = c % 10;
      if (t == 0 || seen[t])
        return 0;
      seen[t] = 1;
      c /= 10;
    }
  } while (0);
  return 1;
}


x86 assembly (clang, -O0):
<pandigital>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1030 <memset@plt>
jmp    1136 <pandigital+0x26>
cmpl   $0x0,-0x8(%rbp)
je     1192 <pandigital+0x82>
mov    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     1167 <pandigital+0x57>
movslq -0x44(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
je     1173 <pandigital+0x63>
movl   $0x0,-0x4(%rbp)
jmp    1274 <pandigital+0x164>
movslq -0x44(%rbp),%rax
movl   $0x1,-0x40(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x8(%rbp)
jmp    1136 <pandigital+0x26>
jmp    1197 <pandigital+0x87>
jmp    119c <pandigital+0x8c>
jmp    11a1 <pandigital+0x91>
cmpl   $0x0,-0xc(%rbp)
je     11fd <pandigital+0xed>
mov    -0xc(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x48(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     11d2 <pandigital+0xc2>
movslq -0x48(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
je     11de <pandigital+0xce>
movl   $0x0,-0x4(%rbp)
jmp    1274 <pandigital+0x164>
movslq -0x48(%rbp),%rax
movl   $0x1,-0x40(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0xc(%rbp)
jmp    11a1 <pandigital+0x91>
jmp    1202 <pandigital+0xf2>
jmp    1207 <pandigital+0xf7>
jmp    120c <pandigital+0xfc>
cmpl   $0x0,-0x10(%rbp)
je     1268 <pandigital+0x158>
mov    -0x10(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
je     123d <pandigital+0x12d>
movslq -0x4c(%rbp),%rax
cmpl   $0x0,-0x40(%rbp,%rax,4)
je     1249 <pandigital+0x139>
movl   $0x0,-0x4(%rbp)
jmp    1274 <pandigital+0x164>
movslq -0x4c(%rbp),%rax
movl   $0x1,-0x40(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x10(%rbp)
jmp    120c <pandigital+0xfc>
jmp    126d <pandigital+0x15d>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pandigital>:
xorps  %xmm0,%xmm0
movaps %xmm0,-0x18(%rsp)
movaps %xmm0,-0x28(%rsp)
movq   $0x0,-0x8(%rsp)
test   %edi,%edi
je     116b <pandigital+0x6b>
nopw   0x0(%rax,%rax,1)
movslq %edi,%r8
imul   $0x66666667,%r8,%rcx
mov    %rcx,%rax
shr    $0x3f,%rax
sar    $0x22,%rcx
add    %eax,%ecx
lea    (%rcx,%rcx,1),%eax
lea    (%rax,%rax,4),%r9d
xor    %eax,%eax
sub    %r9d,%r8d
je     1204 <pandigital+0x104>
movslq %r8d,%r8
cmpl   $0x0,-0x28(%rsp,%r8,4)
jne    1204 <pandigital+0x104>
movl   $0x1,-0x28(%rsp,%r8,4)
add    $0x9,%edi
cmp    $0x13,%edi
mov    %ecx,%edi
jae    1120 <pandigital+0x20>
test   %esi,%esi
je     11b1 <pandigital+0xb1>
nop
movslq %esi,%rdi
imul   $0x66666667,%rdi,%rcx
mov    %rcx,%rax
shr    $0x3f,%rax
sar    $0x22,%rcx
add    %eax,%ecx
lea    (%rcx,%rcx,1),%eax
lea    (%rax,%rax,4),%r8d
xor    %eax,%eax
sub    %r8d,%edi
je     1204 <pandigital+0x104>
movslq %edi,%rdi
cmpl   $0x0,-0x28(%rsp,%rdi,4)
jne    1204 <pandigital+0x104>
movl   $0x1,-0x28(%rsp,%rdi,4)
add    $0x9,%esi
cmp    $0x13,%esi
mov    %ecx,%esi
jae    1170 <pandigital+0x70>
test   %edx,%edx
je     11ff <pandigital+0xff>
cs nopw 0x0(%rax,%rax,1)
nop
movslq %edx,%rsi
imul   $0x66666667,%rsi,%rcx
mov    %rcx,%rax
shr    $0x3f,%rax
sar    $0x22,%rcx
add    %eax,%ecx
lea    (%rcx,%rcx,1),%eax
lea    (%rax,%rax,4),%edi
xor    %eax,%eax
sub    %edi,%esi
je     1204 <pandigital+0x104>
movslq %esi,%rsi
cmpl   $0x0,-0x28(%rsp,%rsi,4)
jne    1204 <pandigital+0x104>
movl   $0x1,-0x28(%rsp,%rsi,4)
add    $0x9,%edx
cmp    $0x12,%edx
mov    %ecx,%edx
ja     11c0 <pandigital+0xc0>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @pandigital(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca [10 x i32]
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%12 = bitcast [10 x i32]* %8 to i8*
br label %13
13: ; preds = %3
br label %14
14: ; preds = %29, %13
%15 = load i32, i32* %5
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %35
17: ; preds = %14
%18 = load i32, i32* %5
%19 = srem i32 %18, 10
store i32 %19, i32* %9
%20 = load i32, i32* %9
%21 = icmp eq i32 %20, 0
br i1 %21, label %28, label %22
22: ; preds = %17
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %24
%26 = load i32, i32* %25
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %29
28: ; preds = %22, %17
store i32 0, i32* %4
br label %85
29: ; preds = %22
%30 = load i32, i32* %9
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %31
store i32 1, i32* %32
%33 = load i32, i32* %5
%34 = sdiv i32 %33, 10
store i32 %34, i32* %5
br label %14
35: ; preds = %14
br label %36
36: ; preds = %35
br label %37
37: ; preds = %36
br label %38
38: ; preds = %53, %37
%39 = load i32, i32* %6
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %59
41: ; preds = %38
%42 = load i32, i32* %6
%43 = srem i32 %42, 10
store i32 %43, i32* %10
%44 = load i32, i32* %10
%45 = icmp eq i32 %44, 0
br i1 %45, label %52, label %46
46: ; preds = %41
%47 = load i32, i32* %10
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %48
%50 = load i32, i32* %49
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %53
52: ; preds = %46, %41
store i32 0, i32* %4
br label %85
53: ; preds = %46
%54 = load i32, i32* %10
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %55
store i32 1, i32* %56
%57 = load i32, i32* %6
%58 = sdiv i32 %57, 10
store i32 %58, i32* %6
br label %38
59: ; preds = %38
br label %60
60: ; preds = %59
br label %61
61: ; preds = %60
br label %62
62: ; preds = %77, %61
%63 = load i32, i32* %7
%64 = icmp ne i32 %63, 0
br i1 %64, label %65, label %83
65: ; preds = %62
%66 = load i32, i32* %7
%67 = srem i32 %66, 10
store i32 %67, i32* %11
%68 = load i32, i32* %11
%69 = icmp eq i32 %68, 0
br i1 %69, label %76, label %70
70: ; preds = %65
%71 = load i32, i32* %11
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %72
%74 = load i32, i32* %73
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %70, %65
store i32 0, i32* %4
br label %85
77: ; preds = %70
%78 = load i32, i32* %11
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds [10 x i32], [10 x i32]* %8, i64 0, i64 %79
store i32 1, i32* %80
%81 = load i32, i32* %7
%82 = sdiv i32 %81, 10
store i32 %82, i32* %7
br label %62
83: ; preds = %62
br label %84
84: ; preds = %83
store i32 1, i32* %4
br label %85
85: ; preds = %84, %76, %52, %28
%86 = load i32, i32* %4
ret i32 %86
}

LLVM IR (-O2):
define i32 @pandigital(i32 %0, i32 %1, i32 %2) {
%4 = alloca [10 x i32]
%5 = bitcast [10 x i32]* %4 to i8*
%6 = icmp eq i32 %0, 0
br i1 %6, label %7, label %9
7: ; preds = %19, %3
%8 = icmp eq i32 %1, 0
br i1 %8, label %22, label %24
9: ; preds = %3, %19
%10 = phi i32 [ %12, %19 ], [ %0, %3 ]
%11 = srem i32 %10, 10
%12 = sdiv i32 %10, 10
%13 = icmp eq i32 %11, 0
br i1 %13, label %50, label %14
14: ; preds = %9
%15 = sext i32 %11 to i64
%16 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %15
%17 = load i32, i32* %16
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %50
19: ; preds = %14
store i32 1, i32* %16
%20 = add i32 %10, 9
%21 = icmp ult i32 %20, 19
br i1 %21, label %7, label %9
22: ; preds = %34, %7
%23 = icmp eq i32 %2, 0
br i1 %23, label %50, label %37
24: ; preds = %7, %34
%25 = phi i32 [ %27, %34 ], [ %1, %7 ]
%26 = srem i32 %25, 10
%27 = sdiv i32 %25, 10
%28 = icmp eq i32 %26, 0
br i1 %28, label %50, label %29
29: ; preds = %24
%30 = sext i32 %26 to i64
%31 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %30
%32 = load i32, i32* %31
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %50
34: ; preds = %29
store i32 1, i32* %31
%35 = add i32 %25, 9
%36 = icmp ult i32 %35, 19
br i1 %36, label %22, label %24
37: ; preds = %22, %47
%38 = phi i32 [ %40, %47 ], [ %2, %22 ]
%39 = srem i32 %38, 10
%40 = sdiv i32 %38, 10
%41 = icmp eq i32 %39, 0
br i1 %41, label %50, label %42
42: ; preds = %37
%43 = sext i32 %39 to i64
%44 = getelementptr inbounds [10 x i32], [10 x i32]* %4, i64 0, i64 %43
%45 = load i32, i32* %44
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %50
47: ; preds = %42
store i32 1, i32* %44
%48 = add i32 %38, 9
%49 = icmp ult i32 %48, 19
br i1 %49, label %50, label %37
50: ; preds = %9, %14, %24, %29, %47, %42, %37, %22
%51 = phi i32 [ 1, %22 ], [ 1, %47 ], [ 0, %42 ], [ 0, %37 ], [ 0, %29 ], [ 0, %24 ], [ 0, %14 ], [ 0, %9 ]
ret i32 %51
}