|  | ; RUN: opt -passes=globalopt -S < %s | FileCheck %s | 
|  |  | 
|  | @a = internal global i32 0, align 4 | 
|  | @b = internal global i32 0, align 4 | 
|  | @c = internal global i32 0, align 4 | 
|  | @d = internal constant [4 x i8] c"foo\00", align 1 | 
|  | @e = linkonce_odr global i32 0 | 
|  | @f = internal addrspace(3) global float undef, align 4 | 
|  |  | 
|  | ; CHECK: @a = internal global i32 0, align 4 | 
|  | ; CHECK: @b = internal global i32 0, align 4 | 
|  | ; CHECK: @c = internal unnamed_addr global i32 0, align 4 | 
|  | ; CHECK: @d = internal unnamed_addr constant [4 x i8] c"foo\00", align 1 | 
|  | ; CHECK: @e = linkonce_odr local_unnamed_addr global i32 0 | 
|  | ; CHECK: @f = internal unnamed_addr addrspace(3) global float undef, align 4 | 
|  |  | 
|  | ; CHECK: define internal fastcc void @used_internal() unnamed_addr { | 
|  | define internal void @used_internal() { | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define i32 @get_e() { | 
|  | call void @used_internal() | 
|  | %t = load i32, ptr @e | 
|  | ret i32 %t | 
|  | } | 
|  |  | 
|  | define void @set_e(i32 %x) { | 
|  | store i32 %x, ptr @e | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define i1 @bah(i64 %i) nounwind readonly optsize ssp { | 
|  | entry: | 
|  | %arrayidx4 = getelementptr inbounds [4 x i8], ptr @d, i64 0, i64 %i | 
|  | %tmp5 = load i8, ptr %arrayidx4, align 1 | 
|  | %tmp6 = load i8, ptr @d, align 1 | 
|  | %cmp = icmp eq i8 %tmp5, %tmp6 | 
|  | ret i1 %cmp | 
|  | } | 
|  |  | 
|  | define void @baz(i32 %x) { | 
|  | entry: | 
|  | store i32 %x, ptr @a, align 4 | 
|  | store i32 %x, ptr @b, align 4 | 
|  | store i32 %x, ptr @c, align 4 | 
|  | ret void | 
|  | } | 
|  |  | 
|  | define i32 @foo(ptr %x) nounwind readnone optsize ssp { | 
|  | entry: | 
|  | %cmp = icmp eq ptr %x, @a | 
|  | %conv = zext i1 %cmp to i32 | 
|  | ret i32 %conv | 
|  | } | 
|  |  | 
|  | define i32 @bar() { | 
|  | entry: | 
|  | switch i64 ptrtoint (ptr @b to i64), label %sw.epilog [ | 
|  | i64 1, label %return | 
|  | i64 0, label %return | 
|  | ] | 
|  |  | 
|  | sw.epilog: | 
|  | ret i32 0 | 
|  |  | 
|  | return: | 
|  | ret i32 1 | 
|  | } | 
|  |  | 
|  | define i32 @zed() { | 
|  | entry: | 
|  | %tmp1 = load i32, ptr @c, align 4 | 
|  | ret i32 %tmp1 | 
|  | } | 
|  |  | 
|  | define float @use_addrspace_cast_for_load() { | 
|  | %p = addrspacecast ptr addrspace(3) @f to ptr | 
|  | %v = load float, ptr %p | 
|  | ret float %v | 
|  | } | 
|  |  | 
|  | define void @use_addrspace_cast_for_store(float %x) { | 
|  | %p = addrspacecast ptr addrspace(3) @f to ptr | 
|  | store float %x, ptr %p | 
|  | ret void | 
|  | } |