1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2;RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
3
4@a = dso_local global i32 0, align 4
5
6; Function Attrs: nofree norecurse nounwind uwtable willreturn mustprogress
7define dso_local i32 @main() #0 {
8; CHECK-LABEL: main:
9; CHECK:       # %bb.0: # %entry
10; CHECK-NEXT:    movl $224, %ecx
11; CHECK-NEXT:    addl a(%rip), %ecx
12; CHECK-NEXT:    negl %ecx
13; CHECK-NEXT:    movl $2, %eax
14; CHECK-NEXT:    # kill: def $cl killed $cl killed $ecx
15; CHECK-NEXT:    shlq %cl, %rax
16; CHECK-NEXT:    testl %eax, %eax
17; CHECK-NEXT:    je .LBB0_1
18; CHECK-NEXT:  # %bb.2: # %lor.end
19; CHECK-NEXT:    xorl %eax, %eax
20; CHECK-NEXT:    retq
21; CHECK-NEXT:  .LBB0_1: # %lor.rhs
22; CHECK-NEXT:    movl a(%rip), %eax
23; CHECK-NEXT:    xorl %eax, %eax
24; CHECK-NEXT:    retq
25entry:
26  %0 = load volatile i32, i32* @a, align 4
27  %sub = sub i32 -32, %0
28  %sh_prom = zext i32 %sub to i64
29  %shl2 = shl i64 2, %sh_prom
30  %conv = trunc i64 %shl2 to i32
31  %tobool.not = icmp eq i32 %conv, 0
32  br i1 %tobool.not, label %lor.rhs, label %lor.end
33
34lor.rhs:                                          ; preds = %entry
35  %1 = load volatile i32, i32* @a, align 4
36  br label %lor.end
37
38lor.end:                                          ; preds = %lor.rhs, %entry
39  ret i32 0
40}
41