#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*/ uint8_t;

/* Variables and functions */
unsigned int log_sense_param_len(int /*<<< orphan*/ *);
bool log_sense_param_is_valid(uint8_t *data, unsigned data_len,
                              uint8_t *param) {
  if (param < data)
    return false;
  const unsigned param_offset = param - data;
  if (param_offset > data_len)
    return false;
  if (param_offset + 4 > data_len)
    return false;
  if (param_offset + 4 + log_sense_param_len(param) > data_len)
    return false;
  return true;
}


x86 assembly (clang, -O0):
<log_sense_param_is_valid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    113d <log_sense_param_is_valid+0x2d>
movl   $0x0,-0x4(%rbp)
jmp    11b7 <log_sense_param_is_valid+0xa7>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jbe    1167 <log_sense_param_is_valid+0x57>
movl   $0x0,-0x4(%rbp)
jmp    11b7 <log_sense_param_is_valid+0xa7>
mov    -0x24(%rbp),%eax
add    $0x4,%eax
cmp    -0x14(%rbp),%eax
jbe    1182 <log_sense_param_is_valid+0x72>
movl   $0x0,-0x4(%rbp)
jmp    11b7 <log_sense_param_is_valid+0xa7>
mov    -0x24(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <log_sense_param_len@plt>
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
add    %ecx,%eax
cmp    -0x14(%rbp),%eax
jbe    11b0 <log_sense_param_is_valid+0xa0>
movl   $0x0,-0x4(%rbp)
jmp    11b7 <log_sense_param_is_valid+0xa7>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<log_sense_param_is_valid>:
push   %rbp
push   %rbx
push   %rax
xor    %eax,%eax
mov    %rdx,%rbx
sub    %rdi,%rbx
jb     1141 <log_sense_param_is_valid+0x31>
mov    %esi,%ebp
shr    $0x2,%rbx
cmp    %esi,%ebx
ja     1141 <log_sense_param_is_valid+0x31>
add    $0x4,%ebx
cmp    %ebp,%ebx
ja     1141 <log_sense_param_is_valid+0x31>
mov    %rdx,%rdi
call   1030 <log_sense_param_len@plt>
mov    %eax,%ecx
add    %ebx,%ecx
xor    %eax,%eax
cmp    %ebp,%ecx
setbe  %al
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @log_sense_param_is_valid(i32* %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
%9 = load i32*, i32** %7
%10 = load i32*, i32** %5
%11 = icmp ult i32* %9, %10
br i1 %11, label %12, label %13
12: ; preds = %3
store i32 0, i32* %4
br label %41
13: ; preds = %3
%14 = load i32*, i32** %7
%15 = load i32*, i32** %5
%16 = ptrtoint i32* %14 to i64
%17 = ptrtoint i32* %15 to i64
%18 = sub i64 %16, %17
%19 = sdiv exact i64 %18, 4
%20 = trunc i64 %19 to i32
store i32 %20, i32* %8
%21 = load i32, i32* %8
%22 = load i32, i32* %6
%23 = icmp ugt i32 %21, %22
br i1 %23, label %24, label %25
24: ; preds = %13
store i32 0, i32* %4
br label %41
25: ; preds = %13
%26 = load i32, i32* %8
%27 = add i32 %26, 4
%28 = load i32, i32* %6
%29 = icmp ugt i32 %27, %28
br i1 %29, label %30, label %31
30: ; preds = %25
store i32 0, i32* %4
br label %41
31: ; preds = %25
%32 = load i32, i32* %8
%33 = add i32 %32, 4
%34 = load i32*, i32** %7
%35 = call i32 @log_sense_param_len(i32* %34)
%36 = add i32 %33, %35
%37 = load i32, i32* %6
%38 = icmp ugt i32 %36, %37
br i1 %38, label %39, label %40
39: ; preds = %31
store i32 0, i32* %4
br label %41
40: ; preds = %31
store i32 1, i32* %4
br label %41
41: ; preds = %40, %39, %30, %24, %12
%42 = load i32, i32* %4
ret i32 %42
}

LLVM IR (-O2):
define i32 @log_sense_param_is_valid(i32* %0, i32 %1, i32* %2) {
%4 = icmp ult i32* %2, %0
br i1 %4, label %20, label %5
5: ; preds = %3
%6 = ptrtoint i32* %2 to i64
%7 = ptrtoint i32* %0 to i64
%8 = sub i64 %6, %7
%9 = lshr exact i64 %8, 2
%10 = trunc i64 %9 to i32
%11 = icmp ugt i32 %10, %1
br i1 %11, label %20, label %12
12: ; preds = %5
%13 = add i32 %10, 4
%14 = icmp ugt i32 %13, %1
br i1 %14, label %20, label %15
15: ; preds = %12
%16 = tail call i32 @log_sense_param_len(i32* %2)
%17 = add i32 %16, %13
%18 = icmp ule i32 %17, %1
%19 = zext i1 %18 to i32
br label %20
20: ; preds = %5, %12, %15, %3
%21 = phi i32 [ 0, %3 ], [ 0, %5 ], [ 0, %12 ], [ %19, %15 ]
ret i32 %21
}