28 lines · plain
1; RUN: opt < %s -passes=globalopt -S | FileCheck %s2 3@a = internal global ptr null, align 84; CHECK: @a5 6; PR139687define void @qux_no_null_opt() nounwind #0 {8; CHECK-LABEL: @qux_no_null_opt(9; CHECK: getelementptr ptr, ptr @a, i32 110; CHECK: store ptr inttoptr (i64 1 to ptr), ptr @a11 %g = getelementptr ptr, ptr @a, i32 112 %cmp = icmp ne ptr null, @a13 %cmp2 = icmp eq ptr null, @a14 %cmp3 = icmp eq ptr null, %g15 store ptr inttoptr (i64 1 to ptr), ptr @a, align 816 %l = load ptr, ptr @a, align 817 ret void18}19 20define ptr @bar() {21 %X = load ptr, ptr @a, align 822 ret ptr %X23; CHECK-LABEL: @bar(24; CHECK: load25}26 27attributes #0 = { null_pointer_is_valid }28