diff options
Diffstat (limited to 'llvm/test')
3 files changed, 128 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-few-weights.mir b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-few-weights.mir new file mode 100644 index 00000000000..93d2eead0bb --- /dev/null +++ b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-few-weights.mir @@ -0,0 +1,41 @@ +# RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s + +--- | + + define i32 @foo(i32 %a) { + entry: + %0 = icmp sle i32 %a, 10 + br i1 %0, label %less, label %exit + + less: + ret i32 0 + + exit: + ret i32 %a + } + +... +--- +name: foo +body: + - id: 0 + name: entry + successors: [ '%bb.1.less', '%bb.2.exit' ] +# CHECK: [[@LINE+1]]:23: too few successor weights, expected 2, have 1 + weights: [ 16 ] + liveins: [ '%edi' ] + instructions: + - 'CMP32ri8 %edi, 10, implicit-def %eflags' + - 'JG_1 %bb.2.exit, implicit killed %eflags' + - id: 1 + name: less + instructions: + - '%eax = MOV32r0 implicit-def dead %eflags' + - 'RETQ killed %eax' + - id: 2 + name: exit + liveins: [ '%edi' ] + instructions: + - '%eax = COPY killed %edi' + - 'RETQ killed %eax' +... diff --git a/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-many-weights.mir b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-many-weights.mir new file mode 100644 index 00000000000..2c0e1932aad --- /dev/null +++ b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-many-weights.mir @@ -0,0 +1,41 @@ +# RUN: not llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s 2>&1 | FileCheck %s + +--- | + + define i32 @foo(i32 %a) { + entry: + %0 = icmp sle i32 %a, 10 + br i1 %0, label %less, label %exit + + less: + ret i32 0 + + exit: + ret i32 %a + } + +... +--- +name: foo +body: + - id: 0 + name: entry + successors: [ '%bb.1.less', '%bb.2.exit' ] +# CHECK: [[@LINE+1]]:28: too many successor weights, expected 2, have 3 + weights: [ 16, 16, 16 ] + liveins: [ '%edi' ] + instructions: + - 'CMP32ri8 %edi, 10, implicit-def %eflags' + - 'JG_1 %bb.2.exit, implicit killed %eflags' + - id: 1 + name: less + instructions: + - '%eax = MOV32r0 implicit-def dead %eflags' + - 'RETQ killed %eax' + - id: 2 + name: exit + liveins: [ '%edi' ] + instructions: + - '%eax = COPY killed %edi' + - 'RETQ killed %eax' +... diff --git a/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-weights.mir b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-weights.mir new file mode 100644 index 00000000000..c7cfeaae90d --- /dev/null +++ b/llvm/test/CodeGen/MIR/X86/successor-basic-blocks-weights.mir @@ -0,0 +1,46 @@ +# RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s +# This test ensures that the MIR parser parses basic block successors and +# weights correctly. + +--- | + + define i32 @foo(i32 %a) { + entry: + %0 = icmp sle i32 %a, 10 + br i1 %0, label %less, label %exit + + less: + ret i32 0 + + exit: + ret i32 %a + } + +... +--- +name: foo +body: + # CHECK: name: entry + # CHECK: successors: [ '%bb.1.less', '%bb.2.exit' ] + # CHECK-NEXT: weights: [ 16, 32 ] + # CHECK: name: less + - id: 0 + name: entry + successors: [ '%bb.1.less', '%bb.2.exit' ] + weights: [ 16, 32 ] + liveins: [ '%edi' ] + instructions: + - 'CMP32ri8 %edi, 10, implicit-def %eflags' + - 'JG_1 %bb.2.exit, implicit killed %eflags' + - id: 1 + name: less + instructions: + - '%eax = MOV32r0 implicit-def dead %eflags' + - 'RETQ killed %eax' + - id: 2 + name: exit + liveins: [ '%edi' ] + instructions: + - '%eax = COPY killed %edi' + - 'RETQ killed %eax' +... |
