mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-10 20:33:15 +00:00
8e3851a6eb
Major steps include:
1). introduces a not-addr-taken bit-field in GlobalVariable
2). GlobalOpt pass sets "not-address-taken" if it proves a global varirable
dosen't have its address taken.
3). AA use this info for disambiguation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193251 91177308-0d34-0410-b5e6-96231b3b80d8
29 lines
573 B
LLVM
29 lines
573 B
LLVM
; RUN: opt < %s -S -globalopt -instcombine | FileCheck %s
|
|
;; check that global opt turns integers that only hold 0 or 1 into bools.
|
|
|
|
@G = internal addrspace(1) global i32 0
|
|
; CHECK: @G
|
|
; CHECK: addrspace(1)
|
|
; CHECK: global notaddrtaken i1 false
|
|
|
|
define void @set1() {
|
|
store i32 0, i32 addrspace(1)* @G
|
|
; CHECK: store i1 false
|
|
ret void
|
|
}
|
|
|
|
define void @set2() {
|
|
store i32 1, i32 addrspace(1)* @G
|
|
; CHECK: store i1 true
|
|
ret void
|
|
}
|
|
|
|
define i1 @get() {
|
|
; CHECK-LABEL: @get(
|
|
%A = load i32 addrspace(1) * @G
|
|
%C = icmp slt i32 %A, 2
|
|
ret i1 %C
|
|
; CHECK: ret i1 true
|
|
}
|
|
|