[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / GlobalISel / x86_64-legalize-udiv.mir
blob35073e2bcb1b1c53f93dfdeb20c243f3570c1a9e
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
4 --- |
5   ; ModuleID = 'udiv.ll'
6   source_filename = "udiv.ll"
7   target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
9   define i8 @test_udiv_i8(i8 %arg1, i8 %arg2) {
10     %res = udiv i8 %arg1, %arg2
11     ret i8 %res
12   }
14   define i16 @test_udiv_i16(i16 %arg1, i16 %arg2) {
15     %res = udiv i16 %arg1, %arg2
16     ret i16 %res
17   }
19   define i32 @test_udiv_i32(i32 %arg1, i32 %arg2) {
20     %res = udiv i32 %arg1, %arg2
21     ret i32 %res
22   }
24   define i64 @test_udiv_i64(i64 %arg1, i64 %arg2) {
25     %res = udiv i64 %arg1, %arg2
26     ret i64 %res
27   }
29 ...
30 ---
31 name:            test_udiv_i8
32 alignment:       16
33 exposesReturnsTwice: false
34 legalized:       false
35 regBankSelected: false
36 selected:        false
37 failedISel:      false
38 tracksRegLiveness: true
39 registers:
40   - { id: 0, class: _, preferred-register: '' }
41   - { id: 1, class: _, preferred-register: '' }
42   - { id: 2, class: _, preferred-register: '' }
43   - { id: 3, class: _, preferred-register: '' }
44   - { id: 4, class: _, preferred-register: '' }
45 liveins:
46 frameInfo:
47   isFrameAddressTaken: false
48   isReturnAddressTaken: false
49   hasStackMap:     false
50   hasPatchPoint:   false
51   stackSize:       0
52   offsetAdjustment: 0
53   maxAlignment:    0
54   adjustsStack:    false
55   hasCalls:        false
56   stackProtector:  ''
57   maxCallFrameSize: 4294967295
58   hasOpaqueSPAdjustment: false
59   hasVAStart:      false
60   hasMustTailInVarArgFunc: false
61   localFrameSize:  0
62   savePoint:       ''
63   restorePoint:    ''
64 fixedStack:
65 stack:
66 constants:
67 body:             |
68   bb.1 (%ir-block.0):
69     liveins: $edi, $esi
71     ; CHECK-LABEL: name: test_udiv_i8
72     ; CHECK: liveins: $edi, $esi
73     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
74     ; CHECK: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY]](s32)
75     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
76     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s32)
77     ; CHECK: [[UDIV:%[0-9]+]]:_(s8) = G_UDIV [[TRUNC]], [[TRUNC1]]
78     ; CHECK: $al = COPY [[UDIV]](s8)
79     ; CHECK: RET 0, implicit $al
80     %2:_(s32) = COPY $edi
81     %0:_(s8) = G_TRUNC %2(s32)
82     %3:_(s32) = COPY $esi
83     %1:_(s8) = G_TRUNC %3(s32)
84     %4:_(s8) = G_UDIV %0, %1
85     $al = COPY %4(s8)
86     RET 0, implicit $al
88 ...
89 ---
90 name:            test_udiv_i16
91 alignment:       16
92 exposesReturnsTwice: false
93 legalized:       false
94 regBankSelected: false
95 selected:        false
96 failedISel:      false
97 tracksRegLiveness: true
98 registers:
99   - { id: 0, class: _, preferred-register: '' }
100   - { id: 1, class: _, preferred-register: '' }
101   - { id: 2, class: _, preferred-register: '' }
102   - { id: 3, class: _, preferred-register: '' }
103   - { id: 4, class: _, preferred-register: '' }
104 liveins:
105 frameInfo:
106   isFrameAddressTaken: false
107   isReturnAddressTaken: false
108   hasStackMap:     false
109   hasPatchPoint:   false
110   stackSize:       0
111   offsetAdjustment: 0
112   maxAlignment:    0
113   adjustsStack:    false
114   hasCalls:        false
115   stackProtector:  ''
116   maxCallFrameSize: 4294967295
117   hasOpaqueSPAdjustment: false
118   hasVAStart:      false
119   hasMustTailInVarArgFunc: false
120   localFrameSize:  0
121   savePoint:       ''
122   restorePoint:    ''
123 fixedStack:
124 stack:
125 constants:
126 body:             |
127   bb.1 (%ir-block.0):
128     liveins: $edi, $esi
130     ; CHECK-LABEL: name: test_udiv_i16
131     ; CHECK: liveins: $edi, $esi
132     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
133     ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s32)
134     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
135     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s32)
136     ; CHECK: [[UDIV:%[0-9]+]]:_(s16) = G_UDIV [[TRUNC]], [[TRUNC1]]
137     ; CHECK: $ax = COPY [[UDIV]](s16)
138     ; CHECK: RET 0, implicit $ax
139     %2:_(s32) = COPY $edi
140     %0:_(s16) = G_TRUNC %2(s32)
141     %3:_(s32) = COPY $esi
142     %1:_(s16) = G_TRUNC %3(s32)
143     %4:_(s16) = G_UDIV %0, %1
144     $ax = COPY %4(s16)
145     RET 0, implicit $ax
149 name:            test_udiv_i32
150 alignment:       16
151 exposesReturnsTwice: false
152 legalized:       false
153 regBankSelected: false
154 selected:        false
155 failedISel:      false
156 tracksRegLiveness: true
157 registers:
158   - { id: 0, class: _, preferred-register: '' }
159   - { id: 1, class: _, preferred-register: '' }
160   - { id: 2, class: _, preferred-register: '' }
161 liveins:
162 frameInfo:
163   isFrameAddressTaken: false
164   isReturnAddressTaken: false
165   hasStackMap:     false
166   hasPatchPoint:   false
167   stackSize:       0
168   offsetAdjustment: 0
169   maxAlignment:    0
170   adjustsStack:    false
171   hasCalls:        false
172   stackProtector:  ''
173   maxCallFrameSize: 4294967295
174   hasOpaqueSPAdjustment: false
175   hasVAStart:      false
176   hasMustTailInVarArgFunc: false
177   localFrameSize:  0
178   savePoint:       ''
179   restorePoint:    ''
180 fixedStack:
181 stack:
182 constants:
183 body:             |
184   bb.1 (%ir-block.0):
185     liveins: $edi, $esi
187     ; CHECK-LABEL: name: test_udiv_i32
188     ; CHECK: liveins: $edi, $esi
189     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edi
190     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $esi
191     ; CHECK: [[UDIV:%[0-9]+]]:_(s32) = G_UDIV [[COPY]], [[COPY1]]
192     ; CHECK: $eax = COPY [[UDIV]](s32)
193     ; CHECK: RET 0, implicit $eax
194     %0:_(s32) = COPY $edi
195     %1:_(s32) = COPY $esi
196     %2:_(s32) = G_UDIV %0, %1
197     $eax = COPY %2(s32)
198     RET 0, implicit $eax
202 name:            test_udiv_i64
203 alignment:       16
204 exposesReturnsTwice: false
205 legalized:       false
206 regBankSelected: false
207 selected:        false
208 failedISel:      false
209 tracksRegLiveness: true
210 registers:
211   - { id: 0, class: _, preferred-register: '' }
212   - { id: 1, class: _, preferred-register: '' }
213   - { id: 2, class: _, preferred-register: '' }
214 liveins:
215 frameInfo:
216   isFrameAddressTaken: false
217   isReturnAddressTaken: false
218   hasStackMap:     false
219   hasPatchPoint:   false
220   stackSize:       0
221   offsetAdjustment: 0
222   maxAlignment:    0
223   adjustsStack:    false
224   hasCalls:        false
225   stackProtector:  ''
226   maxCallFrameSize: 4294967295
227   hasOpaqueSPAdjustment: false
228   hasVAStart:      false
229   hasMustTailInVarArgFunc: false
230   localFrameSize:  0
231   savePoint:       ''
232   restorePoint:    ''
233 fixedStack:
234 stack:
235 constants:
236 body:             |
237   bb.1 (%ir-block.0):
238     liveins: $rdi, $rsi
240     ; CHECK-LABEL: name: test_udiv_i64
241     ; CHECK: liveins: $rdi, $rsi
242     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $rdi
243     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $rsi
244     ; CHECK: [[UDIV:%[0-9]+]]:_(s64) = G_UDIV [[COPY]], [[COPY1]]
245     ; CHECK: $rax = COPY [[UDIV]](s64)
246     ; CHECK: RET 0, implicit $rax
247     %0:_(s64) = COPY $rdi
248     %1:_(s64) = COPY $rsi
249     %2:_(s64) = G_UDIV %0, %1
250     $rax = COPY %2(s64)
251     RET 0, implicit $rax