[llvm] r300506 - Change the testcase tail-merge-after-mbp.ll to tail-merge-after-mbp.mir
Haicheng Wu via llvm-commits
llvm-commits at lists.llvm.org
Mon Apr 17 15:22:38 PDT 2017
Author: haicheng
Date: Mon Apr 17 17:22:38 2017
New Revision: 300506
URL: http://llvm.org/viewvc/llvm-project?rev=300506&view=rev
Log:
Change the testcase tail-merge-after-mbp.ll to tail-merge-after-mbp.mir
Differential Revision: https://reviews.llvm.org/D32037
Added:
llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.mir
Removed:
llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.ll
Removed: llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.ll?rev=300505&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.ll (original)
+++ llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.ll (removed)
@@ -1,94 +0,0 @@
-; RUN: llc -mtriple=x86_64-linux -o - %s | FileCheck %s
-
-%0 = type { %1, %3* }
-%1 = type { %2* }
-%2 = type { %2*, i8* }
-%3 = type { i32, i32 (i32, i32)* }
-
-
-declare i32 @Up(...)
-declare i32 @f(i32, i32)
-
-; check loop block_14 is not merged with block_21
-; check loop block_11 is not merged with block_18, block_25
-define i32 @foo(%0* nocapture readonly, i32, i1 %c, i8* %p1, %2** %p2) {
-; CHECK-LABEL: foo:
-; CHECK: # %block_11
-; CHECK-NEXT: movq (%r14), %rax
-; CHECK-NEXT: testq %rax, %rax
-; CHECK-NEXT: je
-; CHECK-NEXT:# %block_14
-; CHECK-NEXT: cmpq $0, 8(%rax)
-; CHECK-NEXT: jne
-; CHECK-NEXT:# %block_18
-; CHECK-NEXT: movq (%r14), %rax
-; CHECK-NEXT: testq %rax, %rax
-; CHECK-NEXT: je
-; CHECK-NEXT:# %block_21
-; CHECK-NEXT:# =>This Inner Loop Header
-; CHECK-NEXT: cmpq $0, 8(%rax)
-; CHECK-NEXT: jne
-; CHECK-NEXT:# %block_25
-; CHECK-NEXT:# in Loop
-; CHECK-NEXT: movq (%r14), %rax
-; CHECK-NEXT: testq %rax, %rax
-; CHECK-NEXT: jne
- br i1 %c, label %block_34, label %block_3
-
-block_3: ; preds = %2
- br i1 %c, label %block_7, label %block_4
-
-block_4: ; preds = %block_3
- %a5 = tail call i32 @f(i32 undef, i32 undef)
- %a6 = icmp eq i32 %a5, 0
- br i1 %a6, label %block_7, label %block_34
-
-block_7: ; preds = %block_4, %block_3
- %a8 = icmp eq %2* null, null
- br i1 %a8, label %block_34, label %block_9
-
-block_9: ; preds = %block_7
- %a10 = icmp eq i8* %p1, null
- br i1 %a10, label %block_11, label %block_32
-
-block_11: ; preds = %block_9
- %a12 = load %2*, %2** %p2, align 8
- %a13 = icmp eq %2* %a12, null
- br i1 %a13, label %block_34, label %block_14
-
-block_14: ; preds = %block_11
- %a15 = getelementptr inbounds %2, %2* %a12, i64 0, i32 1
- %a16 = load i8*, i8** %a15, align 8
- %a17 = icmp eq i8* %a16, null
- br i1 %a17, label %block_18, label %block_32
-
-block_18: ; preds = %block_14
- %a19 = load %2*, %2** %p2, align 8
- %a20 = icmp eq %2* %a19, null
- br i1 %a20, label %block_34, label %block_21
-
-block_21: ; preds = %block_18
- %a22 = getelementptr inbounds %2, %2* %a19, i64 0, i32 1
- %a23 = load i8*, i8** %a22, align 8
- %a24 = icmp eq i8* %a23, null
- br i1 %a24, label %block_25, label %block_32
-
-block_25: ; preds = %block_28, %block_21
- %a26 = load %2*, %2** %p2, align 8
- %a27 = icmp eq %2* %a26, null
- br i1 %a27, label %block_34, label %block_28
-
-block_28: ; preds = %block_25
- %a29 = getelementptr inbounds %2, %2* %a26, i64 0, i32 1
- %a30 = load i8*, i8** %a29, align 8
- %a31 = icmp eq i8* %a30, null
- br i1 %a31, label %block_25, label %block_32
-
-block_32: ; preds = %block_28, %block_21, %block_14, %block_9
- %a33 = tail call i32 (...) @Up()
- br label %block_34
-
-block_34: ; preds = %block_32, %block_25, %block_18, %block_11, %block_7, %block_4, %2
- %a35 = phi i32 [ 0, %2 ], [ %a5, %block_4 ], [ 0, %block_7 ], [ 0, %block_11 ], [ 0, %block_32 ], [ 0, %block_18 ], [ 0, %block_25 ]
- ret i32 %a35
-}
Added: llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.mir?rev=300506&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.mir (added)
+++ llvm/trunk/test/CodeGen/X86/tail-merge-after-mbp.mir Mon Apr 17 17:22:38 2017
@@ -0,0 +1,105 @@
+# RUN: llc -mtriple=x86_64-linux -run-pass=block-placement -o - %s | FileCheck %s
+
+---
+# check loop bb.7 is not merged with bb.10, bb.13
+# check loop bb.9 is not merged with bb.12
+# CHECK: bb.2:
+# CHECK-NEXT: successors: %bb.9(0x30000000), %bb.3(0x50000000)
+# CHECK: %rax = MOV64rm %r14, 1, _, 0, _
+# CHECK-NEXT: TEST64rr %rax, %rax
+# CHECK-NEXT: JE_1 %bb.9
+# CHECK: bb.3:
+# CHECK-NEXT: successors: %bb.4(0x30000000), %bb.8(0x50000000)
+# CHECK: CMP64mi8 killed %rax, 1, _, 8, _, 0
+# CHECK-NEXT: JNE_1 %bb.8
+# CHECK: bb.4:
+# CHECK-NEXT: successors: %bb.9(0x30000000), %bb.5(0x50000000)
+# CHECK: %rax = MOV64rm %r14, 1, _, 0, _
+# CHECK-NEXT: TEST64rr %rax, %rax
+# CHECK-NEXT: JE_1 %bb.9
+# CHECK: bb.5
+# CHECK-NEXT: successors: %bb.6(0x71555555), %bb.8(0x0eaaaaab)
+# CHECK: CMP64mi8 killed %rax, 1, _, 8, _, 0
+# CHECK-NEXT: JNE_1 %bb.8
+# CHECK: bb.6:
+# CHECK-NEXT: successors: %bb.9(0x04000000), %bb.5(0x7c000000)
+# CHECK: %rax = MOV64rm %r14, 1, _, 0, _
+# CHECK-NEXT: TEST64rr %rax, %rax
+# CHECK-NEXT: JNE_1 %bb.5
+
+name: foo
+body: |
+ bb.0:
+ successors: %bb.1(0x40000000), %bb.7(0x40000000)
+
+ TEST8ri %dl, 1, implicit-def %eflags, implicit killed %edx
+ JE_1 %bb.7, implicit %eflags
+
+ bb.1:
+ successors: %bb.16(0x80000000)
+
+ %ebp = XOR32rr undef %ebp, undef %ebp, implicit-def dead %eflags
+ JMP_1 %bb.16
+
+ bb.7:
+ successors: %bb.8(0x30000000), %bb.9(0x50000000)
+
+ %rax = MOV64rm %r14, 1, _, 0, _ :: (load 8)
+ TEST64rr %rax, %rax, implicit-def %eflags
+ JNE_1 %bb.9, implicit killed %eflags
+
+ bb.8:
+ successors: %bb.16(0x80000000)
+
+ %ebp = XOR32rr undef %ebp, undef %ebp, implicit-def dead %eflags
+ JMP_1 %bb.16
+
+ bb.9:
+ successors: %bb.10(0x30000000), %bb.15(0x50000000)
+
+ CMP64mi8 killed %rax, 1, _, 8, _, 0, implicit-def %eflags :: (load 8)
+ JNE_1 %bb.15, implicit %eflags
+
+ bb.10:
+ successors: %bb.11(0x30000000), %bb.12(0x50000000)
+
+ %rax = MOV64rm %r14, 1, _, 0, _ :: (load 8)
+ TEST64rr %rax, %rax, implicit-def %eflags
+ JNE_1 %bb.12, implicit %eflags
+
+ bb.11:
+ successors: %bb.16(0x80000000)
+
+ %ebp = XOR32rr undef %ebp, undef %ebp, implicit-def dead %eflags
+ JMP_1 %bb.16
+
+ bb.12:
+ successors: %bb.13(0x71555555), %bb.15(0x0eaaaaab)
+
+ CMP64mi8 killed %rax, 1, _, 8, _, 0, implicit-def %eflags :: (load 8), (load 8)
+ JNE_1 %bb.15, implicit %eflags
+
+ bb.13:
+ successors: %bb.14(0x04000000), %bb.12(0x7c000000)
+
+ %rax = MOV64rm %r14, 1, _, 0, _ :: (load 8)
+ TEST64rr %rax, %rax, implicit-def %eflags
+ JNE_1 %bb.12, implicit %eflags
+
+ bb.14:
+ successors: %bb.16(0x80000000)
+
+ %ebp = XOR32rr undef %ebp, undef %ebp, implicit-def dead %eflags
+ JMP_1 %bb.16
+
+ bb.15:
+ successors: %bb.16(0x80000000)
+
+ %ebp = XOR32rr undef %ebp, undef %ebp, implicit-def dead %eflags
+ dead %eax = XOR32rr undef %eax, undef %eax, implicit-def dead %eflags, implicit-def %al
+
+ bb.16:
+
+ RETQ %eax
+
+...
More information about the llvm-commits
mailing list