1# RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o - %s | FileCheck %s
2# This test ensures that the MIR parser parses global value operands correctly.
3
4--- |
5
6  @G = external global i32
7  @0 = external global i32
8
9  define i32 @inc() {
10  entry:
11    %a = load i32, i32* @G
12    %b = add i32 %a, 1
13    ret i32 %b
14  }
15
16  define i32 @inc2() {
17  entry:
18    %a = load i32, i32* @0
19    %b = add i32 %a, 1
20    ret i32 %b
21  }
22
23  @.$0  = external global i32
24  @-_-  = external global i32
25  @_-_a = external global i32
26  @$.-B = external global i32
27
28  define i32 @test() {
29  entry:
30    %a = load i32, i32* @.$0
31    store i32 %a, i32* @-_-
32    %b = load i32, i32* @_-_a
33    store i32 %b, i32* @$.-B
34    ret i32 %b
35  }
36
37  @"\01Hello@$%09 \\ World," = external global i32
38
39  define i32 @test2() {
40  entry:
41    %a = load i32, i32* @"\01Hello@$%09 \\ World,"
42    ret i32 %a
43  }
44
45  define i32 @test3() {
46  entry:
47    %a = load i32, i32* @.$0
48    store i32 %a, i32* @-_-
49    %b = load i32, i32* @_-_a
50    store i32 %b, i32* @$.-B
51    ret i32 %b
52  }
53
54  define i32 @tf() {
55  entry:
56    %a = load i32, i32* @G
57    %b = add i32 %a, 1
58    ret i32 %b
59  }
60
61...
62---
63# CHECK: name: inc
64name: inc
65body: |
66  bb.0.entry:
67    ; CHECK: %rax = MOV64rm %rip, 1, _, @G, _
68    %rax = MOV64rm %rip, 1, _, @G, _
69    %eax = MOV32rm %rax, 1, _, 0, _
70    %eax = INC32r %eax, implicit-def %eflags
71    RETQ %eax
72...
73---
74# CHECK: name: inc2
75name: inc2
76body: |
77  bb.0.entry:
78    ; CHECK: %rax = MOV64rm %rip, 1, _, @0, _
79    %rax = MOV64rm %rip, 1, _, @0, _
80    %eax = MOV32rm %rax, 1, _, 0, _
81    %eax = INC32r %eax, implicit-def %eflags
82    RETQ %eax
83...
84---
85name:            test
86body: |
87  bb.0.entry:
88    ; CHECK: , @".$0",
89    ; CHECK: , @-_-,
90    ; CHECK: , @_-_a,
91    ; CHECK: , @"$.-B",
92    %rax = MOV64rm %rip, 1, _, @.$0, _
93    %eax = MOV32rm killed %rax, 1, _, 0, _
94    %rcx = MOV64rm %rip, 1, _, @-_-, _
95    MOV32mr killed %rcx, 1, _, 0, _, killed %eax
96    %rax = MOV64rm %rip, 1, _, @_-_a, _
97    %eax = MOV32rm killed %rax, 1, _, 0, _
98    %rcx = MOV64rm %rip, 1, _, @$.-B, _
99    MOV32mr killed %rcx, 1, _, 0, _, %eax
100    RETQ %eax
101...
102---
103name:            test2
104body: |
105  bb.0.entry:
106    ; CHECK: , @"\01Hello@$%09 \5C World,",
107    %rax = MOV64rm %rip, 1, _, @"\01Hello@$%09 \\ World,", _
108    %eax = MOV32rm killed %rax, 1, _, 0, _
109    RETQ %eax
110...
111---
112# CHECK: name: test3
113name:            test3
114body: |
115  bb.0.entry:
116    ; CHECK: , @".$0",
117    ; CHECK: , @-_-,
118    ; CHECK: , @_-_a + 4,
119    ; CHECK: , @"$.-B" - 8,
120    %rax = MOV64rm %rip, 1, _, @.$0 + 0, _
121    %eax = MOV32rm killed %rax, 1, _, 0, _
122    %rcx = MOV64rm %rip, 1, _, @-_- - 0, _
123    MOV32mr killed %rcx, 1, _, 0, _, killed %eax
124    %rax = MOV64rm %rip, 1, _, @_-_a + 4, _
125    %eax = MOV32rm killed %rax, 1, _, 0, _
126    %rcx = MOV64rm %rip, 1, _, @$.-B - 8, _
127    MOV32mr killed %rcx, 1, _, 0, _, %eax
128    RETQ %eax
129...
130---
131# CHECK: name: tf
132name: tf
133body: |
134  bb.0.entry:
135  ; CHECK: %rax = MOV64rm %rip, 1, _, target-flags(x86-gotpcrel) @G, _
136    %rax = MOV64rm %rip, 1, _, target-flags(x86-gotpcrel) @G, _
137    %eax = MOV32rm %rax, 1, _, 0, _
138    %eax = INC32r %eax, implicit-def %eflags
139    RETQ %eax
140...
141