cond-move-05.mir
2.66 KB
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
# RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 -start-before=greedy %s -o - \
# RUN: | FileCheck %s
#
# Test that regalloc hints work for LOCRMux when a 128bit register is
# involved.
--- |
; ModuleID = 'tc.ll'
source_filename = "bugpoint-output-126c57d.bc"
target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
target triple = "s390x--linux-gnu"
@g_74 = external global i32, align 4
; Function Attrs: nounwind
define void @main() local_unnamed_addr #0 {
entry:
%0 = load i32, i32* @g_74, align 4
%conv478.i.i = sext i32 %0 to i64
%cond.i15.i.i = lshr i32 1, 0
%conv2.i16.i.i = zext i32 %cond.i15.i.i to i64
%rem.i12.i.i = urem i64 %conv2.i16.i.i, %conv478.i.i
%conv480.i.i = trunc i64 %rem.i12.i.i to i32
%1 = icmp ult i32 %conv480.i.i, -663124367
%rem.i.i.i = select i1 %1, i32 %conv480.i.i, i32 undef
%tobool482.i.i = icmp eq i32 %rem.i.i.i, 0
br i1 %tobool482.i.i, label %for.inc591.1.i.i, label %cleanup584.i.i
cleanup584.i.i: ; preds = %entry
unreachable
for.inc591.1.i.i: ; preds = %entry
unreachable
}
attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z13" "target-features"="+transactional-execution,+vector" "unsafe-fp-math"="false" "use-soft-float"="false" }
!llvm.ident = !{!0}
!0 = !{!"clang version 6.0.0"}
...
# CHECK: locr
# CHECK-NOT: risblg
---
name: main
alignment: 4
tracksRegLiveness: true
registers:
- { id: 0, class: gr64bit }
- { id: 1, class: gr64bit }
- { id: 2, class: gr128bit }
- { id: 3, class: gr128bit }
- { id: 4, class: gr64bit }
- { id: 5, class: grx32bit }
- { id: 6, class: grx32bit }
- { id: 7, class: grx32bit }
- { id: 8, class: gr128bit }
- { id: 9, class: gr128bit }
- { id: 10, class: gr64bit }
body: |
bb.0.entry:
%0:gr64bit = LGFRL @g_74 :: (dereferenceable load 4 from @g_74)
undef %3.subreg_l64:gr128bit = LGHI 1
%3.subreg_h64:gr128bit = LLILL 0
%3:gr128bit = DLGR %3, %0
CLFIMux %3.subreg_hl32, 3631842929, implicit-def $cc
%6:grx32bit = LOCRMux undef %6, %3.subreg_hl32, 14, 4, implicit killed $cc
CHIMux %6, 0, implicit-def $cc
BRC 14, 8, %bb.2.for.inc591.1.i.i, implicit killed $cc
J %bb.1.cleanup584.i.i
bb.1.cleanup584.i.i:
successors:
bb.2.for.inc591.1.i.i:
...