20 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2 3; This test makes sure that we do not assume globals in address spaces other4; than 0 are able to be null.5 6@as0 = external global i327@as1 = external addrspace(1) global i328 9declare void @addrspace0(ptr)10declare void @addrspace1(ptr addrspace(1))11 12; CHECK: call void @addrspace0(ptr nonnull @as0)13; CHECK: call void @addrspace1(ptr addrspace(1) @as1)14 15define void @test() {16 call void @addrspace0(ptr @as0)17 call void @addrspace1(ptr addrspace(1) @as1)18 ret void19}20