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