• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -O0 -run-pass=legalizer %s -o - | FileCheck %s
3
4--- |
5  target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
6  target triple = "aarch64--"
7  define void @test_ext() {
8  entry:
9    ret void
10  }
11...
12
13---
14name:            test_ext
15registers:
16  - { id: 0, class: _ }
17  - { id: 1, class: _ }
18  - { id: 2, class: _ }
19  - { id: 3, class: _ }
20  - { id: 4, class: _ }
21  - { id: 5, class: _ }
22  - { id: 6, class: _ }
23  - { id: 7, class: _ }
24  - { id: 8, class: _ }
25  - { id: 9, class: _ }
26  - { id: 10, class: _ }
27  - { id: 11, class: _ }
28  - { id: 12, class: _ }
29  - { id: 13, class: _ }
30  - { id: 14, class: _ }
31  - { id: 15, class: _ }
32  - { id: 16, class: _ }
33  - { id: 17, class: _ }
34  - { id: 18, class: _ }
35body: |
36  bb.0.entry:
37    liveins: $x0, $x1, $x2, $x3
38    ; CHECK-LABEL: name: test_ext
39    ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
40    ; CHECK: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
41    ; CHECK: $w0 = COPY [[TRUNC]](s32)
42    ; CHECK: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
43    ; CHECK: $w0 = COPY [[TRUNC1]](s32)
44    ; CHECK: [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
45    ; CHECK: $w0 = COPY [[TRUNC2]](s32)
46    ; CHECK: [[TRUNC3:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
47    ; CHECK: $w0 = COPY [[TRUNC3]](s32)
48    ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
49    ; CHECK: $x0 = COPY [[COPY1]](s64)
50    ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 255
51    ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
52    ; CHECK: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C]]
53    ; CHECK: $x0 = COPY [[AND]](s64)
54    ; CHECK: [[COPY3:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
55    ; CHECK: $x0 = COPY [[COPY3]](s64)
56    ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 32
57    ; CHECK: [[COPY4:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
58    ; CHECK: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[COPY4]], [[C1]]
59    ; CHECK: [[ASHR:%[0-9]+]]:_(s64) = G_ASHR [[SHL]], [[C1]]
60    ; CHECK: $x0 = COPY [[ASHR]](s64)
61    ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 31
62    ; CHECK: [[TRUNC4:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
63    ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[TRUNC4]], [[C2]]
64    ; CHECK: [[ASHR1:%[0-9]+]]:_(s32) = G_ASHR [[SHL1]], [[C2]]
65    ; CHECK: $w0 = COPY [[ASHR1]](s32)
66    ; CHECK: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
67    ; CHECK: [[TRUNC5:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
68    ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC5]], [[C3]]
69    ; CHECK: $w0 = COPY [[AND1]](s32)
70    ; CHECK: [[TRUNC6:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
71    ; CHECK: $w0 = COPY [[TRUNC6]](s32)
72    ; CHECK: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
73    ; CHECK: [[TRUNC7:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
74    ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[TRUNC7]], [[C4]]
75    ; CHECK: $w0 = COPY [[AND2]](s32)
76    ; CHECK: [[TRUNC8:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
77    ; CHECK: $w0 = COPY [[TRUNC8]](s32)
78    ; CHECK: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
79    ; CHECK: [[TRUNC9:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
80    ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[TRUNC9]], [[C5]]
81    ; CHECK: [[ASHR2:%[0-9]+]]:_(s32) = G_ASHR [[SHL2]], [[C5]]
82    ; CHECK: $w0 = COPY [[ASHR2]](s32)
83    ; CHECK: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
84    ; CHECK: [[TRUNC10:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
85    ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[TRUNC3]]4(s32)
86    ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[TRUNC3]]1, [[TRUNC3]]2
87    ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[TRUNC3]]3(s32)
88    ; CHECK: $w0 = COPY [[COPY6]](s32)
89    ; CHECK: [[TRUNC11:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
90    ; CHECK: $w0 = COPY [[TRUNC11]](s32)
91    ; CHECK: [[TRUNC12:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
92    ; CHECK: $w0 = COPY [[TRUNC12]](s32)
93    ; CHECK: [[FPEXT:%[0-9]+]]:_(s64) = G_FPEXT [[TRUNC12]](s32)
94    ; CHECK: $x0 = COPY [[FPEXT]](s64)
95    %0(s64) = COPY $x0
96
97    %1(s1) = G_TRUNC %0
98    %19:_(s32) = G_ANYEXT %1
99    $w0 = COPY %19
100    %2(s8) = G_TRUNC %0
101    %20:_(s32) = G_ANYEXT %2
102    $w0 = COPY %20
103    %3(s16) = G_TRUNC %0
104    %21:_(s32) = G_ANYEXT %3
105    $w0 = COPY %21
106    %4(s32) = G_TRUNC %0
107    $w0 = COPY %4
108
109    %5(s64) = G_ANYEXT %1
110    $x0 = COPY %5
111    %6(s64) = G_ZEXT %2
112    $x0 = COPY %6
113    %7(s64) = G_ANYEXT %3
114    $x0 = COPY %7
115    %8(s64) = G_SEXT %4
116    $x0 = COPY %8
117
118    %9(s32) = G_SEXT %1
119    $w0 = COPY %9
120    %10(s32) = G_ZEXT %2
121    $w0 = COPY %10
122    %11(s32) = G_ANYEXT %3
123    $w0 = COPY %11
124
125    %12(s32) = G_ZEXT %1
126    $w0 = COPY %12
127    %13(s32) = G_ANYEXT %2
128    $w0 = COPY %13
129    %14(s32) = G_SEXT %3
130    $w0 = COPY %14
131
132    %15(s8) = G_ZEXT %1
133    %22:_(s32) = G_ANYEXT %15
134    $w0 = COPY %22
135    %16(s16) = G_ANYEXT %2
136    %23:_(s32) = G_ANYEXT %16
137    $w0 = COPY %23
138
139    %17(s32) = G_TRUNC  %0
140    $w0 = COPY %17
141    %18(s64) = G_FPEXT %17
142    $x0 = COPY %18
143...
144