__attribute__((no)) unsigned calc_bzhi_u32(unsigned a, int l) {
  unsigned res = a;
  int i;
  for (i = 0; i < 32 - l; ++i)
    res &= ~(1 << (31 - i));
  return res;
}


x86 assembly (clang, -O0):
<calc_bzhi_u32>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x20,%ecx
sub    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    1150 <calc_bzhi_u32+0x50>
mov    $0x1f,%ecx
sub    -0x10(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
xor    $0xffffffff,%eax
and    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1117 <calc_bzhi_u32+0x17>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<calc_bzhi_u32>:
mov    %edi,%eax
cmp    $0x1f,%esi
jg     13f8 <calc_bzhi_u32+0x2f8>
mov    $0x20,%ecx
sub    %esi,%ecx
cmp    $0x2,%ecx
mov    $0x1,%edx
cmovge %ecx,%edx
xor    %ecx,%ecx
cmp    $0x8,%edx
jb     13e6 <calc_bzhi_u32+0x2e6>
mov    %edx,%ecx
and    $0x7ffffff8,%ecx
movd   %eax,%xmm0
movaps 0xec5(%rip),%xmm1
movss  %xmm0,%xmm1
lea    -0x8(%rcx),%esi
mov    %esi,%eax
shr    $0x3,%eax
add    $0x1,%eax
test   %esi,%esi
je     13d0 <calc_bzhi_u32+0x2d0>
mov    %eax,%esi
and    $0xfffffffe,%esi
pcmpeqd %xmm12,%xmm12
movdqa 0xeac(%rip),%xmm0
movdqa 0xeb3(%rip),%xmm8
movdqa 0xeba(%rip),%xmm14
movdqa 0xec1(%rip),%xmm9
movdqa 0xec8(%rip),%xmm10
movdqa 0xecf(%rip),%xmm11
movaps %xmm1,%xmm13
cs nopw 0x0(%rax,%rax,1)
nop
movdqa %xmm0,%xmm1
paddd  %xmm8,%xmm1
pshuflw $0xfe,%xmm0,%xmm2
movdqa %xmm14,%xmm5
psrld  %xmm2,%xmm5
pshuflw $0x54,%xmm0,%xmm2
movdqa %xmm14,%xmm3
psrld  %xmm2,%xmm3
punpcklqdq %xmm5,%xmm3
pshufd $0xee,%xmm0,%xmm2
pshuflw $0xfe,%xmm2,%xmm5
movdqa %xmm14,%xmm6
psrld  %xmm5,%xmm6
pshuflw $0x54,%xmm2,%xmm2
movdqa %xmm14,%xmm5
psrld  %xmm2,%xmm5
punpckhqdq %xmm6,%xmm5
shufps $0xcc,%xmm5,%xmm3
pshuflw $0xfe,%xmm1,%xmm2
movdqa %xmm14,%xmm5
psrld  %xmm2,%xmm5
pshuflw $0x54,%xmm1,%xmm6
movdqa %xmm14,%xmm2
psrld  %xmm6,%xmm2
punpcklqdq %xmm5,%xmm2
pshufd $0xee,%xmm1,%xmm1
pshuflw $0xfe,%xmm1,%xmm5
movdqa %xmm14,%xmm6
psrld  %xmm5,%xmm6
pshuflw $0x54,%xmm1,%xmm1
movdqa %xmm14,%xmm5
psrld  %xmm1,%xmm5
punpckhqdq %xmm6,%xmm5
shufps $0xcc,%xmm5,%xmm2
movdqa %xmm0,%xmm5
paddd  %xmm9,%xmm5
pshuflw $0xfe,%xmm5,%xmm1
movdqa %xmm14,%xmm6
psrld  %xmm1,%xmm6
pshuflw $0x54,%xmm5,%xmm4
movdqa %xmm14,%xmm1
psrld  %xmm4,%xmm1
pshufd $0xee,%xmm5,%xmm4
pshuflw $0xfe,%xmm4,%xmm5
movdqa %xmm14,%xmm7
psrld  %xmm5,%xmm7
movdqa %xmm0,%xmm5
paddd  %xmm10,%xmm5
punpcklqdq %xmm6,%xmm1
pshuflw $0x54,%xmm4,%xmm4
movdqa %xmm14,%xmm6
psrld  %xmm4,%xmm6
punpckhqdq %xmm7,%xmm6
shufps $0xcc,%xmm6,%xmm1
orps   %xmm3,%xmm1
andnps %xmm13,%xmm1
pshuflw $0xfe,%xmm5,%xmm3
movdqa %xmm14,%xmm4
psrld  %xmm3,%xmm4
pshuflw $0x54,%xmm5,%xmm6
movdqa %xmm14,%xmm3
psrld  %xmm6,%xmm3
punpcklqdq %xmm4,%xmm3
pshufd $0xee,%xmm5,%xmm4
pshuflw $0xfe,%xmm4,%xmm5
movdqa %xmm14,%xmm6
psrld  %xmm5,%xmm6
pshuflw $0x54,%xmm4,%xmm4
movdqa %xmm14,%xmm5
psrld  %xmm4,%xmm5
punpckhqdq %xmm6,%xmm5
shufps $0xcc,%xmm5,%xmm3
orps   %xmm2,%xmm3
andnps %xmm12,%xmm3
paddd  %xmm11,%xmm0
movaps %xmm1,%xmm13
movaps %xmm3,%xmm12
add    $0xfffffffe,%esi
jne    11a0 <calc_bzhi_u32+0xa0>
test   $0x1,%al
je     13b5 <calc_bzhi_u32+0x2b5>
movdqa 0xd0d(%rip),%xmm5
pshuflw $0xfe,%xmm0,%xmm4
movdqa 0xd10(%rip),%xmm2
movdqa %xmm2,%xmm6
psrld  %xmm4,%xmm6
paddd  %xmm0,%xmm5
pshuflw $0x54,%xmm0,%xmm7
movdqa %xmm2,%xmm4
psrld  %xmm7,%xmm4
pshufd $0xee,%xmm0,%xmm0
pshuflw $0xfe,%xmm0,%xmm8
movdqa %xmm2,%xmm7
psrld  %xmm8,%xmm7
punpcklqdq %xmm6,%xmm4
pshuflw $0x54,%xmm0,%xmm0
movdqa %xmm2,%xmm6
psrld  %xmm0,%xmm6
punpckhqdq %xmm7,%xmm6
pshuflw $0xfe,%xmm5,%xmm0
movdqa %xmm2,%xmm7
psrld  %xmm0,%xmm7
shufps $0xcc,%xmm6,%xmm4
pshuflw $0x54,%xmm5,%xmm0
movdqa %xmm2,%xmm6
psrld  %xmm0,%xmm6
pshufd $0xee,%xmm5,%xmm0
pshuflw $0xfe,%xmm0,%xmm8
movdqa %xmm2,%xmm5
psrld  %xmm8,%xmm5
andnps %xmm1,%xmm4
pshuflw $0x54,%xmm0,%xmm0
psrld  %xmm0,%xmm2
punpcklqdq %xmm7,%xmm6
punpckhqdq %xmm5,%xmm2
shufps $0xcc,%xmm2,%xmm6
andnps %xmm3,%xmm6
movaps %xmm4,%xmm1
movaps %xmm6,%xmm3
andps  %xmm3,%xmm1
pshufd $0xee,%xmm1,%xmm0
pand   %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
pand   %xmm0,%xmm1
movd   %xmm1,%eax
jmp    13f4 <calc_bzhi_u32+0x2f4>
pcmpeqd %xmm3,%xmm3
movdqa 0xc34(%rip),%xmm0
test   $0x1,%al
jne    130b <calc_bzhi_u32+0x20b>
jmp    13b5 <calc_bzhi_u32+0x2b5>
mov    $0x80000000,%esi
shr    %cl,%esi
not    %esi
and    %esi,%eax
add    $0x1,%ecx
cmp    %ecx,%edx
jne    13e6 <calc_bzhi_u32+0x2e6>
ret

LLVM IR (-O0):
define i32 @calc_bzhi_u32(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%7 = load i32, i32* %3
store i32 %7, i32* %5
store i32 0, i32* %6
br label %8
8: ; preds = %20, %2
%9 = load i32, i32* %6
%10 = load i32, i32* %4
%11 = sub nsw i32 32, %10
%12 = icmp slt i32 %9, %11
br i1 %12, label %13, label %23
13: ; preds = %8
%14 = load i32, i32* %6
%15 = sub nsw i32 31, %14
%16 = shl i32 1, %15
%17 = xor i32 %16, -1
%18 = load i32, i32* %5
%19 = and i32 %18, %17
store i32 %19, i32* %5
br label %20
20: ; preds = %13
%21 = load i32, i32* %6
%22 = add nsw i32 %21, 1
store i32 %22, i32* %6
br label %8
23: ; preds = %8
%24 = load i32, i32* %5
ret i32 %24
}

LLVM IR (-O2):
define i32 @calc_bzhi_u32(i32 %0, i32 %1) {
%3 = icmp slt i32 %1, 32
br i1 %3, label %4, label %71
4: ; preds = %2
%5 = sub i32 32, %1
%6 = call i32 @llvm.smax.i32(i32 %5, i32 1)
%7 = icmp ult i32 %6, 8
br i1 %7, label %60, label %8
8: ; preds = %4
%9 = and i32 %6, 2147483640
%10 = insertelement <4 x i32> <i32 poison, i32 -1, i32 -1, i32 -1>, i32 %0, i64 0
%11 = add nsw i32 %9, -8
%12 = lshr exact i32 %11, 3
%13 = add nuw nsw i32 %12, 1
%14 = and i32 %13, 1
%15 = icmp eq i32 %11, 0
br i1 %15, label %39, label %16
16: ; preds = %8
%17 = and i32 %13, 1073741822
br label %18
18: ; preds = %18, %16
%19 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %16 ], [ %36, %18 ]
%20 = phi <4 x i32> [ %10, %16 ], [ %32, %18 ]
%21 = phi <4 x i32> [ <i32 -1, i32 -1, i32 -1, i32 -1>, %16 ], [ %35, %18 ]
%22 = phi i32 [ 0, %16 ], [ %37, %18 ]
%23 = add <4 x i32> %19, <i32 4, i32 4, i32 4, i32 4>
%24 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %19
%25 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %23
%26 = add <4 x i32> %19, <i32 8, i32 8, i32 8, i32 8>
%27 = add <4 x i32> %19, <i32 12, i32 12, i32 12, i32 12>
%28 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %26
%29 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %27
%30 = or <4 x i32> %24, %28
%31 = xor <4 x i32> %30, <i32 -1, i32 -1, i32 -1, i32 -1>
%32 = and <4 x i32> %20, %31
%33 = or <4 x i32> %25, %29
%34 = xor <4 x i32> %33, <i32 -1, i32 -1, i32 -1, i32 -1>
%35 = and <4 x i32> %21, %34
%36 = add <4 x i32> %19, <i32 16, i32 16, i32 16, i32 16>
%37 = add i32 %22, 2
%38 = icmp eq i32 %37, %17
br i1 %38, label %39, label %18
39: ; preds = %18, %8
%40 = phi <4 x i32> [ undef, %8 ], [ %32, %18 ]
%41 = phi <4 x i32> [ undef, %8 ], [ %35, %18 ]
%42 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %8 ], [ %36, %18 ]
%43 = phi <4 x i32> [ %10, %8 ], [ %32, %18 ]
%44 = phi <4 x i32> [ <i32 -1, i32 -1, i32 -1, i32 -1>, %8 ], [ %35, %18 ]
%45 = icmp eq i32 %14, 0
br i1 %45, label %54, label %46
46: ; preds = %39
%47 = add <4 x i32> %42, <i32 4, i32 4, i32 4, i32 4>
%48 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %42
%49 = lshr <4 x i32> <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>, %47
%50 = xor <4 x i32> %48, <i32 -1, i32 -1, i32 -1, i32 -1>
%51 = xor <4 x i32> %49, <i32 -1, i32 -1, i32 -1, i32 -1>
%52 = and <4 x i32> %43, %50
%53 = and <4 x i32> %44, %51
br label %54
54: ; preds = %39, %46
%55 = phi <4 x i32> [ %40, %39 ], [ %52, %46 ]
%56 = phi <4 x i32> [ %41, %39 ], [ %53, %46 ]
%57 = and <4 x i32> %56, %55
%58 = call i32 @llvm.vector.reduce.and.v4i32(<4 x i32> %57)
%59 = icmp eq i32 %6, %9
br i1 %59, label %71, label %60
60: ; preds = %4, %54
%61 = phi i32 [ 0, %4 ], [ %9, %54 ]
%62 = phi i32 [ %0, %4 ], [ %58, %54 ]
br label %63
63: ; preds = %60, %63
%64 = phi i32 [ %69, %63 ], [ %61, %60 ]
%65 = phi i32 [ %68, %63 ], [ %62, %60 ]
%66 = lshr i32 -2147483648, %64
%67 = xor i32 %66, -1
%68 = and i32 %65, %67
%69 = add nuw nsw i32 %64, 1
%70 = icmp eq i32 %69, %6
br i1 %70, label %71, label %63
71: ; preds = %63, %54, %2
%72 = phi i32 [ %0, %2 ], [ %58, %54 ], [ %68, %63 ]
ret i32 %72
}