68 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 32; RUN: llc < %s -mtriple=x86_64-pc-linux-gnu | FileCheck %s3 4; Correctly tracking COPY instructions in peephole should not crash compiler.5 6declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)7 8define void @foo(ptr %p1, ptr %p2, ptr %p3, ptr %p4) {9; CHECK-LABEL: foo:10; CHECK: # %bb.0: # %entry11; CHECK-NEXT: movq %rcx, %rax12; CHECK-NEXT: movl $5, -{{[0-9]+}}(%rsp)13; CHECK-NEXT: movl $5, %r8d14; CHECK-NEXT: xorl %ecx, %ecx15; CHECK-NEXT: cmpl $0, (%rdi)16; CHECK-NEXT: setle %cl17; CHECK-NEXT: movl (%rax), %eax18; CHECK-NEXT: shll %cl, %eax19; CHECK-NEXT: movl %r8d, (%rdx)20; CHECK-NEXT: .p2align 421; CHECK-NEXT: .LBB0_1: # %loop2.header22; CHECK-NEXT: # =>This Inner Loop Header: Depth=123; CHECK-NEXT: movl $5, %edi24; CHECK-NEXT: orl %eax, %edi25; CHECK-NEXT: je .LBB0_126; CHECK-NEXT: # %bb.2: # %exit27; CHECK-NEXT: movl %r8d, (%rdx)28; CHECK-NEXT: movl %ecx, (%rsi)29; CHECK-NEXT: retq30entry:31 %q = alloca i32, align 432 %r = alloca i32, align 433 store i32 5, ptr %q, align 434 call void @llvm.lifetime.start.p0(i64 4, ptr %r)35 %vq1 = load i32, ptr %q, align 436 %vb = load i32, ptr %p1, align 437 %cmp3 = icmp slt i32 %vb, 138 %conv4 = zext i1 %cmp3 to i3239 %va = load i32, ptr %p4, align 440 %shl5 = shl i32 %va, %conv441 %vq2 = load i32, ptr %q, align 442 %cmp = icmp slt i32 %vb, 143 %conv = zext i1 %cmp to i3244 %shl = shl i32 %va, %conv45 %vq3 = load i32, ptr %q, align 446 %cmp.us = icmp slt i32 %vb, 147 %conv.us = zext i1 %cmp.us to i3248 %shl.us = shl i32 %va, %conv.us49 br label %loop2.preheader50 51loop2.preheader:52 store i32 %vq1, ptr %p3, align 453 br label %loop2.header54 55loop2.header:56 %cond1 = icmp eq i32 %vq3, 057 br i1 %cond1, label %loop2.body, label %exit58 59loop2.body:60 %cond2 = icmp eq i32 %shl.us, 061 br i1 %cond2, label %loop2.header, label %exit62 63exit:64 store i32 %vq2, ptr %p3, align 465 store i32 %conv.us, ptr %p2, align 466 ret void67}68