28 lines · plain
1; RUN: opt -aa-pipeline=basic-aa,globals-aa -passes='require<globals-aa>,gvn' < %s -S | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6; @o and @m are initialized to @i, so they should not be classed as7; indirect globals referring only to allocation functions.8@o = internal global ptr @i, align 89@m = internal global ptr @i, align 810@i = internal global i32 0, align 411 12; CHECK-LABEL: @f13define i1 @f() {14entry:15 %0 = load ptr, ptr @o, align 816 store i32 0, ptr %0, align 417 %1 = load volatile ptr, ptr @m, align 818 store i32 1, ptr %1, align 419 ; CHECK: %[[a:.*]] = load ptr20 %2 = load ptr, ptr @o, align 821 ; CHECK: %[[b:.*]] = load i32, ptr %[[a]]22 %3 = load i32, ptr %2, align 423 ; CHECK: %[[c:.*]] = icmp ne i32 %[[b]], 024 %tobool.i = icmp ne i32 %3, 025 ; CHECK: ret i1 %[[c]]26 ret i1 %tobool.i27}28