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 4define 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 28store i64 0, i64* %i 29br label %loop 30 31loop: 32%ct = load i64, i64* %i 33%comp = icmp eq i64 %ct, %s 34br i1 %comp, label %endloop, label %body 35 36body: 37%var0 = getelementptr i32, i32* %c, i64 %ct 38store 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 57store i32 %var17, i32* %var18 58%z = add i64 1, %ct 59store i64 %z, i64* %i 60br label %loop 61 62endloop: 63ret void 64} 65