#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ l;

/* Variables and functions */
int CHAR_BIT;
unsigned long shr_l(unsigned long l, unsigned count) {
  while (1) {
    if (count >= CHAR_BIT * sizeof(l)) {
      l >>= (CHAR_BIT * sizeof(l) - 1);
      count -= (CHAR_BIT * sizeof(l) - 1);
    } else {
      l >>= count;
      break;
    }
  }
  return l;
}


x86 assembly (clang, -O0):
<shr_l>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    0x2ecb(%rip),%rcx
movslq (%rcx),%rcx
shl    $0x3,%rcx
cmp    %rcx,%rax
jb     1162 <shr_l+0x62>
mov    0x2eb4(%rip),%rax
movslq (%rax),%rcx
shl    $0x3,%rcx
sub    $0x1,%rcx
mov    -0x8(%rbp),%rax
shr    %cl,%rax
mov    %rax,-0x8(%rbp)
mov    0x2e97(%rip),%rax
movslq (%rax),%rcx
shl    $0x3,%rcx
sub    $0x1,%rcx
mov    -0xc(%rbp),%eax
sub    %rcx,%rax
mov    %eax,-0xc(%rbp)
jmp    1177 <shr_l+0x77>
mov    -0xc(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,%ecx
shr    %cl,%rax
mov    %rax,-0x8(%rbp)
jmp    117c <shr_l+0x7c>
jmp    110b <shr_l+0xb>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<shr_l>:
mov    %rdi,%rax
mov    0x2ed6(%rip),%rcx
movslq (%rcx),%r8
shl    $0x3,%r8
mov    %esi,%ecx
cmp    %rcx,%r8
ja     112f <shr_l+0x2f>
lea    -0x1(%r8),%rcx
mov    %ecx,%edi
neg    %edi
shr    %cl,%rax
lea    (%rdi,%rsi,1),%edx
sub    %ecx,%esi
cmp    %rdx,%r8
jbe    1120 <shr_l+0x20>
mov    %esi,%ecx
shr    %cl,%rax
ret

LLVM IR (-O0):
@CHAR_BIT = global i32 0
define i64 @shr_l(i64 %0, i32 %1) {
%3 = alloca i64
%4 = alloca i32
store i64 %0, i64* %3
store i32 %1, i32* %4
br label %5
5: ; preds = %2, %32
%6 = load i32, i32* %4
%7 = zext i32 %6 to i64
%8 = load i32, i32* @CHAR_BIT
%9 = sext i32 %8 to i64
%10 = mul i64 %9, 8
%11 = icmp uge i64 %7, %10
br i1 %11, label %12, label %27
12: ; preds = %5
%13 = load i32, i32* @CHAR_BIT
%14 = sext i32 %13 to i64
%15 = mul i64 %14, 8
%16 = sub i64 %15, 1
%17 = load i64, i64* %3
%18 = lshr i64 %17, %16
store i64 %18, i64* %3
%19 = load i32, i32* @CHAR_BIT
%20 = sext i32 %19 to i64
%21 = mul i64 %20, 8
%22 = sub i64 %21, 1
%23 = load i32, i32* %4
%24 = zext i32 %23 to i64
%25 = sub i64 %24, %22
%26 = trunc i64 %25 to i32
store i32 %26, i32* %4
br label %32
27: ; preds = %5
%28 = load i32, i32* %4
%29 = load i64, i64* %3
%30 = zext i32 %28 to i64
%31 = lshr i64 %29, %30
store i64 %31, i64* %3
br label %33
32: ; preds = %12
br label %5
33: ; preds = %27
%34 = load i64, i64* %3
ret i64 %34
}

LLVM IR (-O2):
@CHAR_BIT = global i32 0
define i64 @shr_l(i64 %0, i32 %1) {
%3 = load i32, i32* @CHAR_BIT
%4 = sext i32 %3 to i64
%5 = shl nsw i64 %4, 3
%6 = zext i32 %1 to i64
%7 = icmp ugt i64 %5, %6
br i1 %7, label %20, label %8
8: ; preds = %2
%9 = add nsw i64 %5, -1
%10 = trunc i64 %9 to i32
br label %11
11: ; preds = %8, %11
%12 = phi i32 [ %1, %8 ], [ %15, %11 ]
%13 = phi i64 [ %0, %8 ], [ %14, %11 ]
%14 = lshr i64 %13, %9
%15 = sub i32 %12, %10
%16 = zext i32 %15 to i64
%17 = icmp ugt i64 %5, %16
br i1 %17, label %18, label %11
18: ; preds = %11
%19 = zext i32 %15 to i64
br label %20
20: ; preds = %18, %2
%21 = phi i64 [ %6, %2 ], [ %19, %18 ]
%22 = phi i64 [ %0, %2 ], [ %14, %18 ]
%23 = lshr i64 %22, %21
ret i64 %23
}