1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
3
4%0 = type <{ %1, %1 }>
5%1 = type { i8, i8, i8, i8 }
6
7@g_2 = dso_local global %0 zeroinitializer
8@g_4 = dso_local global %1 zeroinitializer, align 4
9
10; PR8642
11define i16 @test1(i1 zeroext %C, i8** nocapture %argv) nounwind ssp {
12; CHECK-LABEL: test1:
13; CHECK:       # %bb.0: # %entry
14; CHECK-NEXT:    movw $1, %ax
15; CHECK-NEXT:    testl %edi, %edi
16; CHECK-NEXT:    jne .LBB0_2
17; CHECK-NEXT:  # %bb.1: # %cond.false.i
18; CHECK-NEXT:    movl $g_2+4, %eax
19; CHECK-NEXT:    xorl %ecx, %ecx
20; CHECK-NEXT:    cmpq $g_4, %rax
21; CHECK-NEXT:    sete %cl
22; CHECK-NEXT:    movl $1, %eax
23; CHECK-NEXT:    xorl %edx, %edx
24; CHECK-NEXT:    divl %ecx
25; CHECK-NEXT:    movl %edx, %eax
26; CHECK-NEXT:  .LBB0_2: # %cond.end.i
27; CHECK-NEXT:    # kill: def $ax killed $ax killed $eax
28; CHECK-NEXT:    retq
29
30entry:
31  br i1 %C, label %cond.end.i, label %cond.false.i
32
33cond.false.i:
34  br label %cond.end.i
35
36cond.end.i:
37  %call1 = phi i16 [ trunc (i32 srem (i32 1, i32 zext (i1 icmp eq (%1* bitcast (i8* getelementptr inbounds (%0, %0* @g_2, i64 0, i32 1, i32 0) to %1*), %1* @g_4) to i32)) to i16), %cond.false.i ], [ 1, %entry ]
38  ret i16 %call1
39}
40
41