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

/* Variables and functions */
int /*<<< orphan*/ abort();
int main() {
  volatile int x1 = 0;
  volatile long long x2 = 0;
  volatile int x3 = 0;
  volatile int x4 = 1;
  volatile int x5 = 1;
  volatile long long x6 = 1;
  long long t = ((x1 * (x2 << x3)) / (x4 * x5)) + x6;
  if (t != 1)
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movq   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
movq   $0x1,-0x28(%rbp)
mov    -0x8(%rbp),%eax
cltq
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    %ecx,%ecx
shl    %cl,%rdx
mov    %rdx,%rcx
imul   %rcx,%rax
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%edx
imul   %edx,%ecx
movslq %ecx,%rcx
cqto
idiv   %rcx
mov    -0x28(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x1,-0x30(%rbp)
je     1191 <main+0x81>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x28,%rsp
movl   $0x0,0x14(%rsp)
movq   $0x0,0x20(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x1,0xc(%rsp)
movl   $0x1,0x8(%rsp)
movq   $0x1,0x18(%rsp)
movslq 0x14(%rsp),%rdx
mov    0x20(%rsp),%rax
mov    0x10(%rsp),%ecx
shl    %cl,%rax
imul   %rdx,%rax
movslq 0xc(%rsp),%rdx
movslq 0x8(%rsp),%rcx
imul   %rdx,%rcx
mov    %rax,%rdx
or     %rcx,%rdx
shr    $0x20,%rdx
je     117c <main+0x6c>
cqto
idiv   %rcx
jmp    1180 <main+0x70>
xor    %edx,%edx
div    %ecx
add    0x18(%rsp),%rax
cmp    $0x1,%rax
jne    1192 <main+0x82>
xor    %eax,%eax
add    $0x28,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i64
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i64
%8 = alloca i64
store i32 0, i32* %1
store volatile i32 0, i32* %2
store volatile i64 0, i64* %3
store volatile i32 0, i32* %4
store volatile i32 1, i32* %5
store volatile i32 1, i32* %6
store volatile i64 1, i64* %7
%9 = load volatile i32, i32* %2
%10 = sext i32 %9 to i64
%11 = load volatile i64, i64* %3
%12 = load volatile i32, i32* %4
%13 = zext i32 %12 to i64
%14 = shl i64 %11, %13
%15 = mul nsw i64 %10, %14
%16 = load volatile i32, i32* %5
%17 = load volatile i32, i32* %6
%18 = mul nsw i32 %16, %17
%19 = sext i32 %18 to i64
%20 = sdiv i64 %15, %19
%21 = load volatile i64, i64* %7
%22 = add nsw i64 %20, %21
store i64 %22, i64* %8
%23 = load i64, i64* %8
%24 = icmp ne i64 %23, 1
br i1 %24, label %25, label %27
25: ; preds = %0
%26 = call i32 (...) @abort()
unreachable
27: ; preds = %0
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = alloca i32
%2 = alloca i64
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i64
%7 = bitcast i32* %1 to i8*
store volatile i32 0, i32* %1
%8 = bitcast i64* %2 to i8*
store volatile i64 0, i64* %2
%9 = bitcast i32* %3 to i8*
store volatile i32 0, i32* %3
%10 = bitcast i32* %4 to i8*
store volatile i32 1, i32* %4
%11 = bitcast i32* %5 to i8*
store volatile i32 1, i32* %5
%12 = bitcast i64* %6 to i8*
store volatile i64 1, i64* %6
%13 = load volatile i32, i32* %1
%14 = sext i32 %13 to i64
%15 = load volatile i64, i64* %2
%16 = load volatile i32, i32* %3
%17 = zext i32 %16 to i64
%18 = shl i64 %15, %17
%19 = mul nsw i64 %18, %14
%20 = load volatile i32, i32* %4
%21 = load volatile i32, i32* %5
%22 = mul nsw i32 %21, %20
%23 = sext i32 %22 to i64
%24 = sdiv i64 %19, %23
%25 = load volatile i64, i64* %6
%26 = add nsw i64 %25, %24
%27 = icmp eq i64 %26, 1
br i1 %27, label %30, label %28
28: ; preds = %0
%29 = tail call i32 (...) @abort()
unreachable
30: ; preds = %0
ret i32 0
}