int alaw2linear(unsigned char a_val) {
  int t;
  int seg;
  a_val ^= 0x55;
  t = a_val & (0xf);
  seg = ((unsigned)a_val & (0x70)) >> (4);
  if (seg)
    t = (t + t + 1 + 32) << (seg + 2);
  else
    t = (t + t + 1) << 3;
  return ((a_val & (0x80)) ? t : -t);
}


x86 assembly (clang, -O0):
<alaw2linear>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
xor    $0x55,%eax
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
and    $0xf,%eax
mov    %eax,-0x8(%rbp)
movzbl -0x1(%rbp),%eax
and    $0x70,%eax
shr    $0x4,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     1151 <alaw2linear+0x51>
mov    -0x8(%rbp),%eax
add    -0x8(%rbp),%eax
add    $0x1,%eax
add    $0x20,%eax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
shl    %cl,%eax
mov    %eax,-0x8(%rbp)
jmp    1160 <alaw2linear+0x60>
mov    -0x8(%rbp),%eax
add    -0x8(%rbp),%eax
add    $0x1,%eax
shl    $0x3,%eax
mov    %eax,-0x8(%rbp)
movzbl -0x1(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     117d <alaw2linear+0x7d>
mov    -0x8(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1185 <alaw2linear+0x85>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<alaw2linear>:
xor    $0x55,%dil
movzbl %dil,%ecx
mov    %ecx,%edx
and    $0xf,%edx
shr    $0x4,%ecx
and    $0x7,%ecx
je     1121 <alaw2linear+0x21>
add    %edx,%edx
add    $0x21,%edx
add    $0x2,%cl
shl    %cl,%edx
jmp    1127 <alaw2linear+0x27>
shl    $0x4,%edx
or     $0x8,%edx
mov    %edx,%eax
neg    %eax
test   $0x80,%dil
cmovne %edx,%eax
ret

LLVM IR (-O0):
define i32 @alaw2linear(i8 zeroext %0) {
%2 = alloca i8
%3 = alloca i32
%4 = alloca i32
store i8 %0, i8* %2
%5 = load i8, i8* %2
%6 = zext i8 %5 to i32
%7 = xor i32 %6, 85
%8 = trunc i32 %7 to i8
store i8 %8, i8* %2
%9 = load i8, i8* %2
%10 = zext i8 %9 to i32
%11 = and i32 %10, 15
store i32 %11, i32* %3
%12 = load i8, i8* %2
%13 = zext i8 %12 to i32
%14 = and i32 %13, 112
%15 = lshr i32 %14, 4
store i32 %15, i32* %4
%16 = load i32, i32* %4
%17 = icmp ne i32 %16, 0
br i1 %17, label %18, label %27
18: ; preds = %1
%19 = load i32, i32* %3
%20 = load i32, i32* %3
%21 = add nsw i32 %19, %20
%22 = add nsw i32 %21, 1
%23 = add nsw i32 %22, 32
%24 = load i32, i32* %4
%25 = add nsw i32 %24, 2
%26 = shl i32 %23, %25
store i32 %26, i32* %3
br label %33
27: ; preds = %1
%28 = load i32, i32* %3
%29 = load i32, i32* %3
%30 = add nsw i32 %28, %29
%31 = add nsw i32 %30, 1
%32 = shl i32 %31, 3
store i32 %32, i32* %3
br label %33
33: ; preds = %27, %18
%34 = load i8, i8* %2
%35 = zext i8 %34 to i32
%36 = and i32 %35, 128
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %40
38: ; preds = %33
%39 = load i32, i32* %3
br label %43
40: ; preds = %33
%41 = load i32, i32* %3
%42 = sub nsw i32 0, %41
br label %43
43: ; preds = %40, %38
%44 = phi i32 [ %39, %38 ], [ %42, %40 ]
ret i32 %44
}

LLVM IR (-O2):
define i32 @alaw2linear(i8 zeroext %0) {
%2 = xor i8 %0, 85
%3 = zext i8 %2 to i32
%4 = and i32 %3, 15
%5 = lshr i32 %3, 4
%6 = and i32 %5, 7
%7 = icmp eq i32 %6, 0
br i1 %7, label %13, label %8
8: ; preds = %1
%9 = shl nuw nsw i32 %4, 1
%10 = or i32 %9, 33
%11 = add nuw nsw i32 %6, 2
%12 = shl i32 %10, %11
br label %16
13: ; preds = %1
%14 = shl nuw nsw i32 %4, 4
%15 = or i32 %14, 8
br label %16
16: ; preds = %13, %8
%17 = phi i32 [ %12, %8 ], [ %15, %13 ]
%18 = and i32 %3, 128
%19 = icmp eq i32 %18, 0
%20 = sub nsw i32 0, %17
%21 = select i1 %19, i32 %20, i32 %17
ret i32 %21
}