1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=simplifycfg %s | FileCheck %s 3 4define void @call_null_as0() { 5; CHECK-LABEL: @call_null_as0( 6; CHECK-NEXT: unreachable 7; 8 call addrspace(0) void null() 9 ret void 10} 11 12define void @call_null_as0_null_pointer_defined() null_pointer_is_valid { 13; CHECK-LABEL: @call_null_as0_null_pointer_defined( 14; CHECK-NEXT: call void null() 15; CHECK-NEXT: ret void 16; 17 call addrspace(0) void null() 18 ret void 19} 20 21define void @call_null_as1() { 22; CHECK-LABEL: @call_null_as1( 23; CHECK-NEXT: call addrspace(1) void null() 24; CHECK-NEXT: ret void 25; 26 call addrspace(1) void null() 27 ret void 28} 29 30define void @call_poison_as0() { 31; CHECK-LABEL: @call_poison_as0( 32; CHECK-NEXT: unreachable 33; 34 call addrspace(0) void poison() 35 ret void 36} 37 38define void @call_poison_as0_poison_pointer_defined() null_pointer_is_valid { 39; CHECK-LABEL: @call_poison_as0_poison_pointer_defined( 40; CHECK-NEXT: unreachable 41; 42 call addrspace(0) void poison() 43 ret void 44} 45 46define void @call_poison_as1() { 47; CHECK-LABEL: @call_poison_as1( 48; CHECK-NEXT: unreachable 49; 50 call addrspace(1) void poison() 51 ret void 52} 53