Mercurial > hg > Members > tobaru > cbc > CbC_llvm

annotate test/CodeGen/SystemZ/cmpxchg-01.ll @ 128:c347d3398279 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author mir3636
date Wed, 06 Dec 2017 14:37:17 +0900
parents 803732b1fca8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 ; Test 8-bit compare and swap.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-MAIN
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ; Check compare and swap with a variable.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 ; - CHECK is for the main loop.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 ; - CHECK-SHIFT makes sure that the negated shift count used by the second
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ; RLL is set up correctly. The negation is independent of the NILL and L
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 ; tested in CHECK. CHECK-SHIFT also checks that %r3 is not modified before
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 ; being used in the RISBG (in contrast to things like atomic addition,
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 ; which shift %r3 left so that %b is at the high end of the word).
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 define i8 @f1(i8 %dummy, i8 *%src, i8 %cmp, i8 %swap) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 ; CHECK-MAIN-LABEL: f1:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 77
diff changeset
15 ; CHECK-MAIN: risbg [[RISBG:%r[1-9]+]], %r3, 0, 189, 0{{$}}
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
16 ; CHECK-MAIN-DAG: sll %r3, 3
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
17 ; CHECK-MAIN-DAG: l [[OLD:%r[0-9]+]], 0([[RISBG]])
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 ; CHECK-MAIN: [[LOOP:\.[^ ]*]]:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 77
diff changeset
19 ; CHECK-MAIN: rll %r2, [[OLD]], 8(%r3)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 ; CHECK-MAIN: risbg %r4, %r2, 32, 55, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 ; CHECK-MAIN: crjlh %r2, %r4, [[EXIT:\.[^ ]*]]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 ; CHECK-MAIN: risbg %r5, %r2, 32, 55, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 ; CHECK-MAIN: rll [[NEW:%r[0-9]+]], %r5, -8({{%r[1-9]+}})
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 77
diff changeset
24 ; CHECK-MAIN: cs [[OLD]], [[NEW]], 0([[RISBG]])
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 ; CHECK-MAIN: jl [[LOOP]]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 ; CHECK-MAIN: [[EXIT]]:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 ; CHECK-MAIN-NOT: %r2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 ; CHECK-MAIN: br %r14
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 ; CHECK-SHIFT-LABEL: f1:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 77
diff changeset
31 ; CHECK-SHIFT: sll [[SHIFT:%r[1-9]+]], 3
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 ; CHECK-SHIFT: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 ; CHECK-SHIFT: rll
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 ; CHECK-SHIFT: rll {{%r[0-9]+}}, %r5, -8([[NEGSHIFT]])
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
35 %pair = cmpxchg i8 *%src, i8 %cmp, i8 %swap seq_cst seq_cst
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
36 %res = extractvalue { i8, i1 } %pair, 0
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 ret i8 %res
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 ; Check compare and swap with constants. We should force the constants into
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 ; registers and use the sequence above.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 define i8 @f2(i8 *%src) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 ; CHECK-LABEL: f2:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 ; CHECK: lhi [[CMP:%r[0-9]+]], 42
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 ; CHECK: risbg [[CMP]], {{%r[0-9]+}}, 32, 55, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 ; CHECK: risbg
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 ; CHECK: br %r14
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 ; CHECK-SHIFT-LABEL: f2:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 ; CHECK-SHIFT: lhi [[SWAP:%r[0-9]+]], 88
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 ; CHECK-SHIFT: risbg
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 ; CHECK-SHIFT: risbg [[SWAP]], {{%r[0-9]+}}, 32, 55, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 ; CHECK-SHIFT: br %r14
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
54 %pair = cmpxchg i8 *%src, i8 42, i8 88 seq_cst seq_cst
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
55 %res = extractvalue { i8, i1 } %pair, 0
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 ret i8 %res
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 }
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
58
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
59 ; Check generating the comparison result.
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
60 define i32 @f3(i8 %dummy, i8 *%src, i8 %cmp, i8 %swap) {
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
61 ; CHECK-MAIN-LABEL: f3:
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
62 ; CHECK-MAIN: risbg [[RISBG:%r[1-9]+]], %r3, 0, 189, 0{{$}}
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
63 ; CHECK-MAIN-DAG: sll %r3, 3
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
64 ; CHECK-MAIN-DAG: l [[OLD:%r[0-9]+]], 0([[RISBG]])
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
65 ; CHECK-MAIN: [[LOOP:\.[^ ]*]]:
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
66 ; CHECK-MAIN: rll [[TMP:%r[0-9]+]], [[OLD]], 8(%r3)
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
67 ; CHECK-MAIN: risbg %r4, [[TMP]], 32, 55, 0
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
68 ; CHECK-MAIN: cr [[TMP]], %r4
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
69 ; CHECK-MAIN: jlh [[EXIT:\.[^ ]*]]
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
70 ; CHECK-MAIN: risbg %r5, [[TMP]], 32, 55, 0
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
71 ; CHECK-MAIN: rll [[NEW:%r[0-9]+]], %r5, -8({{%r[1-9]+}})
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
72 ; CHECK-MAIN: cs [[OLD]], [[NEW]], 0([[RISBG]])
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
73 ; CHECK-MAIN: jl [[LOOP]]
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
74 ; CHECK-MAIN: [[EXIT]]:
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
75 ; CHECK-MAIN-NEXT: ipm %r2
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
76 ; CHECK-MAIN-NEXT: afi %r2, -268435456
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
77 ; CHECK-MAIN-NEXT: srl %r2, 31
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
78 ; CHECK-MAIN-NOT: %r2
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
79 ; CHECK-MAIN: br %r14
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
80 ;
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
81 ; CHECK-SHIFT-LABEL: f3:
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
82 ; CHECK-SHIFT: sll [[SHIFT:%r[1-9]+]], 3
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
83 ; CHECK-SHIFT: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
84 ; CHECK-SHIFT: rll
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
85 ; CHECK-SHIFT: rll {{%r[0-9]+}}, %r5, -8([[NEGSHIFT]])
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
86 %pair = cmpxchg i8 *%src, i8 %cmp, i8 %swap seq_cst seq_cst
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
87 %val = extractvalue { i8, i1 } %pair, 1
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
88 %res = zext i1 %val to i32
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
89 ret i32 %res
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
90 }
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
91