1; RUN: llc -mtriple=x86_64-apple-macosx -O3 -enable-implicit-null-checks -o - < %s 2>&1 | FileCheck %s 2 3declare void @throw0() 4declare void @throw1() 5 6define i1 @f(ptr %p0, ptr %p1) { 7 entry: 8 %c0 = icmp eq ptr %p0, null 9 br i1 %c0, label %throw0, label %continue0, !make.implicit !0 10 11 continue0: 12 %v0 = load i8, ptr %p0 13 %c1 = icmp eq ptr %p1, null 14 br i1 %c1, label %throw1, label %continue1, !make.implicit !0 15 16 continue1: 17 %v1 = load i8, ptr %p1 18 %v = icmp eq i8 %v0, %v1 19 ret i1 %v 20 21 throw0: 22 call void @throw0() 23 unreachable 24 25 throw1: 26 call void @throw1() 27 unreachable 28} 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 readonly 34 35; Check for a crash. The crash is not specific to statepoints, but 36; gc.statpeoint is an easy way to generate a fill instruction in 37; %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, null 41 %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 !0 44 45 continue0: 46 %c1 = icmp eq ptr %p1, null 47 br i1 %c1, label %throw1, label %continue1, !make.implicit !0 48 49 continue1: 50 %v0 = load i8, ptr addrspace(1) %p0.relocated 51 %v1 = load i8, ptr %p1 52 %v = icmp eq i8 %v0, %v1 53 ret i1 %v 54 55 throw0: 56 call void @throw0() 57 unreachable 58 59 throw1: 60 call void @throw1() 61 unreachable 62} 63 64; Check that we have two implicit null checks in @f 65 66; CHECK: __LLVM_FaultMaps: 67; CHECK-NEXT: .byte 1 68; CHECK-NEXT: .byte 0 69; CHECK-NEXT: .short 0 70; CHECK-NEXT: .long 1 71 72; FunctionInfo[0] = 73 74; FunctionAddress = 75; CHECK-NEXT: .quad _f 76 77; NumFaultingPCs = 78; CHECK-NEXT: .long 2 79 80; Reserved = 81; CHECK-NEXT: .long 0 82 83!0 = !{} 84