diff options
Diffstat (limited to 'test/Assembler/ConstantExprNoFold.ll')
| -rw-r--r-- | test/Assembler/ConstantExprNoFold.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Assembler/ConstantExprNoFold.ll b/test/Assembler/ConstantExprNoFold.ll index b41959f494fd..83236d5793b3 100644 --- a/test/Assembler/ConstantExprNoFold.ll +++ b/test/Assembler/ConstantExprNoFold.ll @@ -2,6 +2,7 @@ ; situations ; RUN: llvm-as < %s | llvm-dis | FileCheck %s +; RUN: verify-uselistorder %s ; Even give it a datalayout, to tempt folding as much as possible. target datalayout = "p:32:32" @@ -24,3 +25,26 @@ target datalayout = "p:32:32" ; CHECK: @E = global i64 addrspace(1)* addrspacecast (i64* @A to i64 addrspace(1)*) @E = global i64 addrspace(1)* addrspacecast(i64* @A to i64 addrspace(1)*) + +; Don't add an inbounds on @weak.gep, since @weak may be null. +; CHECK: @weak.gep = global i32* getelementptr (i32* @weak, i32 1) +@weak.gep = global i32* getelementptr (i32* @weak, i32 1) +@weak = extern_weak global i32 + +; An object with weak linkage cannot have it's identity determined at compile time. +; CHECK: @F = global i1 icmp eq (i32* @weakany, i32* @glob) +@F = global i1 icmp eq (i32* @weakany, i32* @glob) +@weakany = weak global i32 0 + +; Empty globals might end up anywhere, even on top of another global. +; CHECK: @empty.cmp = global i1 icmp eq ([0 x i8]* @empty.1, [0 x i8]* @empty.2) +@empty.1 = external global [0 x i8], align 1 +@empty.2 = external global [0 x i8], align 1 +@empty.cmp = global i1 icmp eq ([0 x i8]* @empty.1, [0 x i8]* @empty.2) + +; Don't add an inbounds on @glob.a3, since it's not inbounds. +; CHECK: @glob.a3 = alias getelementptr (i32* @glob.a2, i32 1) +@glob = global i32 0 +@glob.a3 = alias getelementptr (i32* @glob.a2, i32 1) +@glob.a2 = alias getelementptr (i32* @glob.a1, i32 1) +@glob.a1 = alias i32* @glob |