1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
# RUN: llc -run-pass x86-fixup-LEAs -mtriple=i386 -verify-machineinstrs -mcpu=corei7-avx -o - %s | FileCheck %s
#
# Test that several LEA => ADD transforms get substitutions applied to them,
# for corner cases that we can only hit with -mtriple=i386.
---
name: test2add_32
# CHECK: name: test2add_32
alignment: 16
tracksRegLiveness: true
debugInstrRef: true
liveins:
- { reg: '$eax' }
- { reg: '$ebp' }
# CHECK: debugValueSubstitutions:
# CHECK-NAME: - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0, subreg: 0 }
body: |
bb.0:
liveins: $eax, $ebp
; CHECK: $eax = ADD32ri {{.*}} debug-instr-number 2
$eax = LEA32r killed $eax, 1, killed $ebp, -5, $noreg, debug-instr-number 1
RET64 $eax
...
---
name: testleais_ebp_32
# CHECK-LABEL: name: testleais_ebp_32
alignment: 16
tracksRegLiveness: true
debugInstrRef: true
liveins:
- { reg: '$eax' }
- { reg: '$ebx' }
- { reg: '$ebp' }
# CHECK: debugValueSubstitutions:
# CHECK-NEXT: - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0, subreg: 0 }
body: |
bb.0:
liveins: $eax, $ebp, $ebx
; CHECK: $ebx = LEA32r $noreg, 2, $ebp, 0, $noreg, debug-instr-number 2
$ebx = LEA32r killed $ebp, 1, $ebp, 0, $noreg, debug-instr-number 1
RET64 $ebx
...
---
name: testleabid_ebp_leaisd_32
# CHECK-LABEL: name: testleabid_ebp_leaisd_32
alignment: 16
tracksRegLiveness: true
debugInstrRef: true
liveins:
- { reg: '$ebx' }
- { reg: '$ebp' }
# CHECK: debugValueSubstitutions:
# CHECK-NEXT: - { srcinst: 1, srcop: 0, dstinst: 2, dstop: 0, subreg: 0 }
body: |
bb.0:
liveins: $eax, $ebp, $ebx
; CHECK: $ebx = LEA32r $noreg, 2, $ebp, 5, $noreg, debug-instr-number 2
$ebx = LEA32r $ebp, 1, $ebp, 5, $noreg, debug-instr-number 1
RET64 $ebx
...
|
