Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/CodeGenPrepare/X86/cttz-ctlz.ll @ 173:0572611fdcc8 llvm10 llvm12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -S -codegenprepare < %s | FileCheck %s --check-prefix=SLOW
anatofuz
parents:
diff changeset
2 ; RUN: opt -S -codegenprepare -mattr=+bmi < %s | FileCheck %s --check-prefix=FAST_TZ
anatofuz
parents:
diff changeset
3 ; RUN: opt -S -codegenprepare -mattr=+lzcnt < %s | FileCheck %s --check-prefix=FAST_LZ
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 target triple = "x86_64-unknown-unknown"
anatofuz
parents:
diff changeset
6 target datalayout = "e-n32:64"
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 ; If the intrinsic is cheap, nothing should change.
anatofuz
parents:
diff changeset
9 ; If the intrinsic is expensive, check if the input is zero to avoid the call.
anatofuz
parents:
diff changeset
10 ; This is undoing speculation that may have been created by SimplifyCFG + InstCombine.
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 define i64 @cttz(i64 %A) {
anatofuz
parents:
diff changeset
13 entry:
anatofuz
parents:
diff changeset
14 %z = call i64 @llvm.cttz.i64(i64 %A, i1 false)
anatofuz
parents:
diff changeset
15 ret i64 %z
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 ; SLOW-LABEL: @cttz(
anatofuz
parents:
diff changeset
18 ; SLOW: entry:
anatofuz
parents:
diff changeset
19 ; SLOW: %cmpz = icmp eq i64 %A, 0
anatofuz
parents:
diff changeset
20 ; SLOW: br i1 %cmpz, label %cond.end, label %cond.false
anatofuz
parents:
diff changeset
21 ; SLOW: cond.false:
anatofuz
parents:
diff changeset
22 ; SLOW: %z = call i64 @llvm.cttz.i64(i64 %A, i1 true)
anatofuz
parents:
diff changeset
23 ; SLOW: br label %cond.end
anatofuz
parents:
diff changeset
24 ; SLOW: cond.end:
anatofuz
parents:
diff changeset
25 ; SLOW: %ctz = phi i64 [ 64, %entry ], [ %z, %cond.false ]
anatofuz
parents:
diff changeset
26 ; SLOW: ret i64 %ctz
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 ; FAST_TZ-LABEL: @cttz(
anatofuz
parents:
diff changeset
29 ; FAST_TZ: %z = call i64 @llvm.cttz.i64(i64 %A, i1 false)
anatofuz
parents:
diff changeset
30 ; FAST_TZ: ret i64 %z
anatofuz
parents:
diff changeset
31 }
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 define i64 @ctlz(i64 %A) {
anatofuz
parents:
diff changeset
34 entry:
anatofuz
parents:
diff changeset
35 %z = call i64 @llvm.ctlz.i64(i64 %A, i1 false)
anatofuz
parents:
diff changeset
36 ret i64 %z
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 ; SLOW-LABEL: @ctlz(
anatofuz
parents:
diff changeset
39 ; SLOW: entry:
anatofuz
parents:
diff changeset
40 ; SLOW: %cmpz = icmp eq i64 %A, 0
anatofuz
parents:
diff changeset
41 ; SLOW: br i1 %cmpz, label %cond.end, label %cond.false
anatofuz
parents:
diff changeset
42 ; SLOW: cond.false:
anatofuz
parents:
diff changeset
43 ; SLOW: %z = call i64 @llvm.ctlz.i64(i64 %A, i1 true)
anatofuz
parents:
diff changeset
44 ; SLOW: br label %cond.end
anatofuz
parents:
diff changeset
45 ; SLOW: cond.end:
anatofuz
parents:
diff changeset
46 ; SLOW: %ctz = phi i64 [ 64, %entry ], [ %z, %cond.false ]
anatofuz
parents:
diff changeset
47 ; SLOW: ret i64 %ctz
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 ; FAST_LZ-LABEL: @ctlz(
anatofuz
parents:
diff changeset
50 ; FAST_LZ: %z = call i64 @llvm.ctlz.i64(i64 %A, i1 false)
anatofuz
parents:
diff changeset
51 ; FAST_LZ: ret i64 %z
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 declare i64 @llvm.cttz.i64(i64, i1)
anatofuz
parents:
diff changeset
55 declare i64 @llvm.ctlz.i64(i64, i1)
anatofuz
parents:
diff changeset
56