test/Transforms/InstCombine/nonnull-attribute.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; This test makes sure that we do not assume globals in address spaces other
   4 ; than 0 are able to be null.
   5
   6 @as0 = external global i32
   7 @as1 = external addrspace(1) global i32
   8
   9 declare void @addrspace0(i32*)
  10 declare void @addrspace1(i32 addrspace(1)*)
  11
  12 ; CHECK: call void @addrspace0(i32* nonnull @as0)
  13 ; CHECK: call void @addrspace1(i32 addrspace(1)* @as1)
  14
  15 define void @test() {
  16   call void @addrspace0(i32* @as0)
  17   call void @addrspace1(i32 addrspace(1)* @as1)
  18   ret void
  19 }