; CHECK: %alloca
; CHECK: %dparam
; CHECK: %relocate
-; CHECK: %d4_load
-; CHECK: %d_or_null_non_null_load
; CHECK-NOT: %nparam
; CHECK-NOT: %nd_load
+; CHECK: %d4_load
; CHECK-NOT: %d2_load
; CHECK-NOT: %d_or_null_load
+; CHECK: %d_or_null_non_null_load
entry:
%globalptr = getelementptr inbounds [6 x i8], [6 x i8]* @globalstr, i32 0, i32 0
%load1 = load i8, i8* %globalptr
%load5 = load i32, i32 addrspace(1)* %nparam
; Load from a non-dereferenceable load
- %nd_load = load i32*, i32** @globali32ptr, !dereferenceable !0
+ %nd_load = load i32*, i32** @globali32ptr
%load6 = load i32, i32* %nd_load
; Load from a dereferenceable load