diff --git a/test/CodeGen/X86/pr33747.ll b/test/CodeGen/X86/pr33747.ll new file mode 100644 index 00000000000..abfdf7f4b99 --- /dev/null +++ b/test/CodeGen/X86/pr33747.ll @@ -0,0 +1,29 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s + +define void @PR33747(i32* nocapture) { +; CHECK-LABEL: PR33747: +; CHECK: # %bb.0: +; CHECK-NEXT: movl 24(%rdi), %eax +; CHECK-NEXT: testl %eax, %eax +; CHECK-NEXT: je .LBB0_3 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: incl %eax +; CHECK-NEXT: cmpl $3, %eax +; CHECK-NEXT: jae .LBB0_3 +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB0_2: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: jmp .LBB0_2 +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB0_3: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: jmp .LBB0_3 + %2 = getelementptr inbounds i32, i32* %0, i64 6 + %3 = load i32, i32* %2, align 4 + %4 = add i32 %3, 1 + %5 = icmp ult i32 %4, 3 + %6 = icmp ne i32 %3, 0 + %7 = and i1 %6, %5 + br i1 %7, label %8, label %9 + br label %8 + br label %9 +}