Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/GlobalOpt/integer-bool.ll @ 201:a96fbbdf2d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt < %s -S -globalopt -instcombine | FileCheck %s
anatofuz
parents:
diff changeset
2 ;; check that global opt turns integers that only hold 0 or 1 into bools.
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 @G = internal addrspace(1) global i32 0
anatofuz
parents:
diff changeset
5 ; CHECK: @G
anatofuz
parents:
diff changeset
6 ; CHECK: addrspace(1)
anatofuz
parents:
diff changeset
7 ; CHECK: global i1 false
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 define void @set1() {
anatofuz
parents:
diff changeset
10 store i32 0, i32 addrspace(1)* @G
anatofuz
parents:
diff changeset
11 ; CHECK: store i1 false
anatofuz
parents:
diff changeset
12 ret void
anatofuz
parents:
diff changeset
13 }
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 define void @set2() {
anatofuz
parents:
diff changeset
16 store i32 1, i32 addrspace(1)* @G
anatofuz
parents:
diff changeset
17 ; CHECK: store i1 true
anatofuz
parents:
diff changeset
18 ret void
anatofuz
parents:
diff changeset
19 }
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 define i1 @get() {
anatofuz
parents:
diff changeset
22 ; CHECK-LABEL: @get(
anatofuz
parents:
diff changeset
23 %A = load i32, i32 addrspace(1) * @G
anatofuz
parents:
diff changeset
24 %C = icmp slt i32 %A, 2
anatofuz
parents:
diff changeset
25 ret i1 %C
anatofuz
parents:
diff changeset
26 ; CHECK: ret i1 true
anatofuz
parents:
diff changeset
27 }
anatofuz
parents:
diff changeset
28