From cee313d288a4faf0355d76fb6e0e927e211d08a5 Mon Sep 17 00:00:00 2001 From: Eric Christopher Date: Wed, 17 Apr 2019 04:52:47 +0000 Subject: Revert "Temporarily Revert "Add basic loop fusion pass."" The reversion apparently deleted the test/Transforms directory. Will be re-reverting again. llvm-svn: 358552 --- llvm/test/Transforms/InstCombine/nonnull-attribute.ll | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 llvm/test/Transforms/InstCombine/nonnull-attribute.ll (limited to 'llvm/test/Transforms/InstCombine/nonnull-attribute.ll') diff --git a/llvm/test/Transforms/InstCombine/nonnull-attribute.ll b/llvm/test/Transforms/InstCombine/nonnull-attribute.ll new file mode 100644 index 00000000000..74fb0911492 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/nonnull-attribute.ll @@ -0,0 +1,19 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s + +; This test makes sure that we do not assume globals in address spaces other +; than 0 are able to be null. + +@as0 = external global i32 +@as1 = external addrspace(1) global i32 + +declare void @addrspace0(i32*) +declare void @addrspace1(i32 addrspace(1)*) + +; CHECK: call void @addrspace0(i32* nonnull @as0) +; CHECK: call void @addrspace1(i32 addrspace(1)* @as1) + +define void @test() { + call void @addrspace0(i32* @as0) + call void @addrspace1(i32 addrspace(1)* @as1) + ret void +} -- cgit v1.2.3