llvm/test/CodeGen/X86/pr38185.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -o - %s -mtriple=x86_64--unknown-linux-gnu | FileCheck %s
   3
   4 define void @foo(ptr %a, ptr %b, ptr noalias %c, i64 %s) {
   5 ; CHECK-LABEL: foo:
   6 ; CHECK:       # %bb.0:
   7 ; CHECK-NEXT:    movq $0, -{{[0-9]+}}(%rsp)
   8 ; CHECK-NEXT:    .p2align 4
   9 ; CHECK-NEXT:  .LBB0_1: # %loop
  10 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  11 ; CHECK-NEXT:    movq -{{[0-9]+}}(%rsp), %rax
  12 ; CHECK-NEXT:    cmpq %rcx, %rax
  13 ; CHECK-NEXT:    je .LBB0_3
  14 ; CHECK-NEXT:  # %bb.2: # %body
  15 ; CHECK-NEXT:    # in Loop: Header=BB0_1 Depth=1
  16 ; CHECK-NEXT:    movl $1, (%rdx,%rax,4)
  17 ; CHECK-NEXT:    movzbl (%rdi,%rax,4), %r8d
  18 ; CHECK-NEXT:    movzbl (%rsi,%rax,4), %r9d
  19 ; CHECK-NEXT:    andl %r8d, %r9d
  20 ; CHECK-NEXT:    andl $1, %r9d
  21 ; CHECK-NEXT:    movl %r9d, (%rdi,%rax,4)
  22 ; CHECK-NEXT:    incq %rax
  23 ; CHECK-NEXT:    movq %rax, -{{[0-9]+}}(%rsp)
  24 ; CHECK-NEXT:    jmp .LBB0_1
  25 ; CHECK-NEXT:  .LBB0_3: # %endloop
  26 ; CHECK-NEXT:    retq
  27 %i = alloca i64
  28 store i64 0, ptr %i
  29 br label %loop
  30
  31 loop:
  32 %ct = load i64, ptr %i
  33 %comp = icmp eq i64 %ct, %s
  34 br i1 %comp, label %endloop, label %body
  35
  36 body:
  37 %var0 = getelementptr i32, ptr %c, i64 %ct
  38 store i32 1, ptr %var0
  39 %var1 = getelementptr i32, ptr %c, i64 %ct
  40 %var2 = load i32, ptr %var1
  41 %var3 = add i32 %var2, 1
  42 %var4 = getelementptr i32, ptr %a, i64 %ct
  43 %var5 = load i32, ptr %var4
  44 %var6 = and i32 %var3, %var5
  45 %var7 = add i32 %var6, 1
  46 %var8 = getelementptr i32, ptr %a, i64 %ct
  47 %var9 = load i32, ptr %var8
  48 %var10 = and i32 %var7, %var9
  49 %var11 = getelementptr i32, ptr %c, i64 %ct
  50 %var12 = load i32, ptr %var11
  51 %var13 = and i32 %var10, %var12
  52 %var14 = getelementptr i32, ptr %b, i64 %ct
  53 %var15 = load i32, ptr %var14
  54 %var16 = and i32 %var15, 63
  55 %var17 = and i32 %var13, %var16
  56 %var18 = getelementptr i32, ptr %a, i64 %ct
  57 store i32 %var17, ptr %var18
  58 %z = add i64 1, %ct
  59 store i64 %z, ptr %i
  60 br label %loop
  61
  62 endloop:
  63 ret void
  64 }