diff options
Diffstat (limited to 'test/CodeGen/X86/leaFixup32.mir')
| -rw-r--r-- | test/CodeGen/X86/leaFixup32.mir | 508 |
1 files changed, 0 insertions, 508 deletions
diff --git a/test/CodeGen/X86/leaFixup32.mir b/test/CodeGen/X86/leaFixup32.mir deleted file mode 100644 index 70aac21c7ff2..000000000000 --- a/test/CodeGen/X86/leaFixup32.mir +++ /dev/null @@ -1,508 +0,0 @@ -# RUN: llc -run-pass x86-fixup-LEAs -mcpu=corei7-avx -o - %s | FileCheck %s ---- | - ; ModuleID = 'test/CodeGen/X86/fixup-lea.ll' - source_filename = "test/CodeGen/X86/fixup-lea.ll" - target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128" - target triple = "i386" - ;generated using: llc -stop-after x86-pad-short-functions fixup-lea.ll > leaFinxup32.mir - - ;test2add_32: 3 operands LEA32r that can be replaced with 2 add instructions - ; where ADD32ri8 is chosen - define i32 @test2add_32() { - ret i32 0 - } - - ;test2add_ebp_32: 3 operands LEA32r that can be replaced with 2 add instructions - ; where the base is rbp/r13/ebp register - define i32 @test2add_ebp_32() { - ret i32 0 - } - - ;test1add_ebp_32: 2 operands LEA32r where base register is ebp and can be replaced - ; with an add instruction - define i32 @test1add_ebp_32() { - ret i32 0 - } - - ;testleaadd_32: 3 operands LEA32r that can be replaced with 1 lea 1 add instructions - define i32 @testleaadd_32() { - ret i32 0 - } - - ;testleaadd_ebp_32: 3 operands LEA32r that can be replaced with 1 lea 1 add instructions - ; where the base is ebp register - define i32 @testleaadd_ebp_32() { - ret i32 0 - } - - ;test1lea_ebp_32: 2 operands LEA32r wher base register is rbp/r13/ebp and can be replaced - ; with a lea instruction - define i32 @test1lea_ebp_32() { - ret i32 0 - } - - ;test2addi32_32: 3 operands LEA32r that can be replaced with 2 add instructions where ADD32ri32 - ; is chosen - define i32 @test2addi32_32() { - ret i32 0 - } - - ;test1mov1add_ebp_32: 2 operands LEA32r that can be replaced with 1 add 1 mov instructions - ; where the base is rbp/r13/ebp register - define i32 @test1mov1add_ebp_32() { - ret i32 0 - } - - ;testleaadd_ebp_index_32: 3 operands LEA32r that can be replaced with 1 lea 1 add instructions - ; where the base and the index are ebp register and there is offset - define i32 @testleaadd_ebp_index_32() { - ret i32 0 - } - - ;testleaadd_ebp_index2_32: 3 operands LEA32r that can be replaced with 1 lea 1 add instructions - ; where the base and the index are ebp register and there is scale - define i32 @testleaadd_ebp_index2_32() { - ret i32 0 - } - - ;test_skip_opt_32: 3 operands LEA32r that can not be replaced with 2 instructions - define i32 @test_skip_opt_32() { - ret i32 0 - } - - ;test_skip_eflags_32: LEA32r that cannot be replaced since its not safe to clobber eflags - define i32 @test_skip_eflags_32() { - ret i32 0 - } - -... ---- -name: test2add_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %eax = ADD32rr %eax, killed %ebp - ; CHECK: %eax = ADD32ri8 %eax, -5 - - %eax = LEA32r killed %eax, 1, killed %ebp, -5, _ - RETQ %eax - -... ---- -name: test2add_ebp_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %ebp = ADD32rr %ebp, killed %eax - ; CHECK: %ebp = ADD32ri8 %ebp, -5 - - %ebp = LEA32r killed %ebp, 1, killed %eax, -5, _ - RETQ %ebp - -... ---- -name: test1add_ebp_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %ebp = ADD32rr %ebp, killed %eax - - %ebp = LEA32r killed %ebp, 1, killed %eax, 0, _ - RETQ %ebp - -... ---- -name: testleaadd_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } - - { reg: '%ebx' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %esi - ; CHECK: %ebx = LEA32r killed %eax, 1, killed %ebp, 0 - ; CHECK: %ebx = ADD32ri8 %ebx, -5 - - %ebx = LEA32r killed %eax, 1, killed %ebp, -5, _ - RETQ %ebx - -... ---- -name: testleaadd_ebp_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } - - { reg: '%ebx' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %ebx = LEA32r killed %eax, 1, killed %ebp, 0, _ - ; CHECK: %ebx = ADD32ri8 %ebx, -5 - - %ebx = LEA32r killed %ebp, 1, killed %eax, -5, _ - RETQ %ebx - -... ---- -name: test1lea_ebp_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } - - { reg: '%ebx' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %ebx = LEA32r killed %eax, 1, killed %ebp, 0, _ - - %ebx = LEA32r killed %ebp, 1, killed %eax, 0, _ - RETQ %ebx - -... ---- -name: test2addi32_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp - ; CHECK: %eax = ADD32rr %eax, killed %ebp - ; CHECK: %eax = ADD32ri %eax, 129 - - %eax = LEA32r killed %eax, 1, killed %ebp, 129, _ - RETQ %eax - -... ---- -name: test1mov1add_ebp_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%eax' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %ebx - ; CHECK: %ebx = MOV32rr killed %ebp - ; CHECK: %ebx = ADD32rr %ebx, killed %ebp - - %ebx = LEA32r killed %ebp, 1, killed %ebp, 0, _ - RETQ %ebx - -... ---- -name: testleaadd_ebp_index_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%ebx' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %ebx - ; CHECK: %ebx = LEA32r _, 1, killed %ebp, 5, _ - ; CHECK: %ebx = ADD32rr %ebx, killed %ebp - - %ebx = LEA32r killed %ebp, 1, killed %ebp, 5, _ - RETQ %ebx - -... ---- -name: testleaadd_ebp_index2_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%ebx' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %ebx - ; CHECK: %ebx = LEA32r _, 4, killed %ebp, 5, _ - ; CHECK: %ebx = ADD32rr %ebx, killed %ebp - - %ebx = LEA32r killed %ebp, 4, killed %ebp, 5, _ - RETQ %ebx - -... ---- -name: test_skip_opt_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%ebx' } - - { reg: '%ebp' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %ebx - ; CHECK: %ebp = LEA32r killed %ebp, 4, killed %ebp, 0, _ - - %ebp = LEA32r killed %ebp, 4, killed %ebp, 0, _ - RETQ %ebp - -... ---- -name: test_skip_eflags_32 -alignment: 4 -exposesReturnsTwice: false -legalized: false -regBankSelected: false -selected: false -tracksRegLiveness: true -liveins: - - { reg: '%ebp' } - - { reg: '%eax' } -frameInfo: - isFrameAddressTaken: false - isReturnAddressTaken: false - hasStackMap: false - hasPatchPoint: false - stackSize: 0 - offsetAdjustment: 0 - maxAlignment: 0 - adjustsStack: false - hasCalls: false - maxCallFrameSize: 0 - hasOpaqueSPAdjustment: false - hasVAStart: false - hasMustTailInVarArgFunc: false -body: | - bb.0 (%ir-block.0): - liveins: %eax, %ebp, %ebx - ; CHECK: %ebx = LEA32r killed %eax, 4, killed %eax, 5, _ - ; CHECK: %ebp = LEA32r killed %ebx, 4, killed %ebx, 0, _ - ; CHECK: %ebp = ADD32ri8 %ebp, 5 - - CMP32rr %eax, killed %ebx, implicit-def %eflags - %ebx = LEA32r killed %eax, 4, killed %eax, 5, _ - JE_1 %bb.1, implicit %eflags - RETQ %ebx - bb.1: - liveins: %eax, %ebp, %ebx - %ebp = LEA32r killed %ebx, 4, killed %ebx, 5, _ - RETQ %ebp - -... - - - |