xref: /llvm-project/llvm/test/CodeGen/X86/combine-andintoload.ll (revision f0dd12ec5c0169ba5b4363b62d59511181cf954a)
1100763a8SDavid Green; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2100763a8SDavid Green; RUN: llc < %s -mtriple=x86_64-none-eabi -o - | FileCheck %s
3100763a8SDavid Green
42f448bf5SNikita Popovdefine zeroext i1 @bigger(ptr nocapture readonly %c, ptr nocapture readonly %e, i64 %d, i64 %p1) {
5100763a8SDavid Green; CHECK-LABEL: bigger:
6100763a8SDavid Green; CHECK:       # %bb.0: # %entry
7100763a8SDavid Green; CHECK-NEXT:    andb $7, %cl
8100763a8SDavid Green; CHECK-NEXT:    movb $8, %al
9100763a8SDavid Green; CHECK-NEXT:    subb %cl, %al
10100763a8SDavid Green; CHECK-NEXT:    movl $5, %r8d
11100763a8SDavid Green; CHECK-NEXT:    movl %eax, %ecx
12100763a8SDavid Green; CHECK-NEXT:    shll %cl, %r8d
13*f0dd12ecSSanjay Patel; CHECK-NEXT:    movzbl (%rsi,%rdx), %eax
14100763a8SDavid Green; CHECK-NEXT:    xorb (%rdi,%rdx), %al
15100763a8SDavid Green; CHECK-NEXT:    movzbl %al, %eax
16100763a8SDavid Green; CHECK-NEXT:    andl %r8d, %eax
17100763a8SDavid Green; CHECK-NEXT:    testb $-1, %al
18100763a8SDavid Green; CHECK-NEXT:    sete %al
19100763a8SDavid Green; CHECK-NEXT:    retq
20100763a8SDavid Greenentry:
21100763a8SDavid Green  %0 = trunc i64 %p1 to i16
22100763a8SDavid Green  %1 = and i16 %0, 7
23100763a8SDavid Green  %sh_prom = sub nuw nsw i16 8, %1
24100763a8SDavid Green  %shl = shl nuw nsw i16 5, %sh_prom
252f448bf5SNikita Popov  %arrayidx = getelementptr inbounds i8, ptr %c, i64 %d
262f448bf5SNikita Popov  %2 = load i8, ptr %arrayidx, align 1
27100763a8SDavid Green  %3 = and i16 %shl, 255
28100763a8SDavid Green  %conv2 = zext i16 %3 to i32
292f448bf5SNikita Popov  %arrayidx3 = getelementptr inbounds i8, ptr %e, i64 %d
302f448bf5SNikita Popov  %4 = load i8, ptr %arrayidx3, align 1
31100763a8SDavid Green  %5 = xor i8 %4, %2
32100763a8SDavid Green  %6 = zext i8 %5 to i32
33100763a8SDavid Green  %7 = and i32 %6, %conv2
34100763a8SDavid Green  %cmp.not = icmp eq i32 %7, 0
35100763a8SDavid Green  ret i1 %cmp.not
36100763a8SDavid Green}
37