Mercurial > hg > CbC > CbC_llvm

annotate test/CodeGen/X86/btq.ll @ 121:803732b1fca8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 5.0
author kono
date Fri, 27 Oct 2017 17:07:41 +0900
parents 95c75e76d11b
children 3a76565eade5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
121
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 declare void @bar()
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 define void @test1(i64 %foo) nounwind {
121
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
7 ; CHECK-LABEL: test1:
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
8 ; CHECK: # BB#0:
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
9 ; CHECK-NEXT: btq $32, %rdi
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
10 ; CHECK-NEXT: jb .LBB0_2
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
11 ; CHECK-NEXT: # BB#1: # %if.end
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
12 ; CHECK-NEXT: retq
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
13 ; CHECK-NEXT: .LBB0_2: # %if.then
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
14 ; CHECK-NEXT: jmp bar # TAILCALL
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 %and = and i64 %foo, 4294967296
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 %tobool = icmp eq i64 %and, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 br i1 %tobool, label %if.end, label %if.then
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 if.then:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 tail call void @bar() nounwind
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 br label %if.end
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 if.end:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 ret void
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 define void @test2(i64 %foo) nounwind {
121
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
28 ; CHECK-LABEL: test2:
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
29 ; CHECK: # BB#0:
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
30 ; CHECK-NEXT: testl $-2147483648, %edi # imm = 0x80000000
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
31 ; CHECK-NEXT: jne .LBB1_2
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
32 ; CHECK-NEXT: # BB#1: # %if.end
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
33 ; CHECK-NEXT: retq
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
34 ; CHECK-NEXT: .LBB1_2: # %if.then
803732b1fca8 LLVM 5.0
kono
parents: 0
diff changeset
35 ; CHECK-NEXT: jmp bar # TAILCALL
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 %and = and i64 %foo, 2147483648
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 %tobool = icmp eq i64 %and, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 br i1 %tobool, label %if.end, label %if.then
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 if.then:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 tail call void @bar() nounwind
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 br label %if.end
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 if.end:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 ret void
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 }