llvm/llvm/test/CodeGen/X86/combine-andintoload.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-none-eabi -o - | FileCheck %s

define zeroext i1 @bigger(ptr nocapture readonly %c, ptr nocapture readonly %e, i64 %d, i64 %p1) {
; CHECK-LABEL: bigger:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    andb $7, %cl
; CHECK-NEXT:    movb $8, %al
; CHECK-NEXT:    subb %cl, %al
; CHECK-NEXT:    movl $5, %r8d
; CHECK-NEXT:    movl %eax, %ecx
; CHECK-NEXT:    shll %cl, %r8d
; CHECK-NEXT:    movzbl (%rsi,%rdx), %eax
; CHECK-NEXT:    xorb (%rdi,%rdx), %al
; CHECK-NEXT:    movzbl %al, %eax
; CHECK-NEXT:    andl %r8d, %eax
; CHECK-NEXT:    testb $-1, %al
; CHECK-NEXT:    sete %al
; CHECK-NEXT:    retq
entry:
  %0 = trunc i64 %p1 to i16
  %1 = and i16 %0, 7
  %sh_prom = sub nuw nsw i16 8, %1
  %shl = shl nuw nsw i16 5, %sh_prom
  %arrayidx = getelementptr inbounds i8, ptr %c, i64 %d
  %2 = load i8, ptr %arrayidx, align 1
  %3 = and i16 %shl, 255
  %conv2 = zext i16 %3 to i32
  %arrayidx3 = getelementptr inbounds i8, ptr %e, i64 %d
  %4 = load i8, ptr %arrayidx3, align 1
  %5 = xor i8 %4, %2
  %6 = zext i8 %5 to i32
  %7 = and i32 %6, %conv2
  %cmp.not = icmp eq i32 %7, 0
  ret i1 %cmp.not
}