40 lines · plain
1; Verify that forward declarations from call instructions work even with non-zero AS2; RUN: llvm-as %s -o - | llvm-dis - | FileCheck %s3 4define void @call_named() {5entry:6 %0 = tail call addrspace(40) i32 @named(i16* null)7 ; CHECK: %0 = tail call addrspace(40) i32 @named(ptr null)8 ret void9}10 11define void @call_numbered() {12entry:13 %0 = tail call addrspace(40) i32 @0(i16* null)14 ; CHECK: %0 = tail call addrspace(40) i32 @0(ptr null)15 ret void16}17 18 19define i32 @invoked() personality i8* null {20entry:21 %0 = invoke addrspace(40) i32 @foo() to label %l1 unwind label %lpad22 ; CHECK: invoke addrspace(40) i32 @foo()23l1:24 br label %return25lpad:26 %1 = landingpad { i8*, i32 }27 catch i8* null28 catch i8* null29 ret i32 030return:31 ret i32 032}33 34declare i32 @foo() addrspace(40)35; CHECK: declare i32 @foo() addrspace(40)36declare i32 @named(i16* captures(none)) addrspace(40)37; CHECK: declare i32 @named(ptr captures(none)) addrspace(40)38declare i32 @0(i16*) addrspace(40)39; CHECK: declare i32 @0(ptr) addrspace(40)40