84 lines · plain
1; RUN: llc -mtriple=x86_64-apple-macosx -O3 -enable-implicit-null-checks -o - < %s 2>&1 | FileCheck %s2 3declare void @throw0()4declare void @throw1()5 6define i1 @f(ptr %p0, ptr %p1) {7 entry:8 %c0 = icmp eq ptr %p0, null9 br i1 %c0, label %throw0, label %continue0, !make.implicit !010 11 continue0:12 %v0 = load i8, ptr %p013 %c1 = icmp eq ptr %p1, null14 br i1 %c1, label %throw1, label %continue1, !make.implicit !015 16 continue1:17 %v1 = load i8, ptr %p118 %v = icmp eq i8 %v0, %v119 ret i1 %v20 21 throw0:22 call void @throw0()23 unreachable24 25 throw1:26 call void @throw1()27 unreachable28}29 30declare void @foo()31 32declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)33declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32) nounwind readonly34 35; Check for a crash. The crash is not specific to statepoints, but36; gc.statpeoint is an easy way to generate a fill instruction in37; %continue0 (which causes the llc crash).38define i1 @g(ptr addrspace(1) %p0, ptr %p1) gc "statepoint-example" {39 entry:40 %c0 = icmp eq ptr addrspace(1) %p0, null41 %tok = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @foo, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %p0)]42 %p0.relocated = call coldcc ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 0, i32 0) ; (%p0, %p0)43 br i1 %c0, label %throw0, label %continue0, !make.implicit !044 45 continue0:46 %c1 = icmp eq ptr %p1, null47 br i1 %c1, label %throw1, label %continue1, !make.implicit !048 49 continue1:50 %v0 = load i8, ptr addrspace(1) %p0.relocated51 %v1 = load i8, ptr %p152 %v = icmp eq i8 %v0, %v153 ret i1 %v54 55 throw0:56 call void @throw0()57 unreachable58 59 throw1:60 call void @throw1()61 unreachable62}63 64; Check that we have two implicit null checks in @f65 66; CHECK: __LLVM_FaultMaps:67; CHECK-NEXT: .byte 168; CHECK-NEXT: .byte 069; CHECK-NEXT: .short 070; CHECK-NEXT: .long 171 72; FunctionInfo[0] =73 74; FunctionAddress =75; CHECK-NEXT: .quad _f76 77; NumFaultingPCs =78; CHECK-NEXT: .long 279 80; Reserved =81; CHECK-NEXT: .long 082 83!0 = !{}84