llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken1.ll

   1 ; RUN: opt -aa-pipeline=globals-aa,basic-aa -passes='require<globals-aa>,gvn' -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 @deallocCalled = internal global i8 0, align 1
   7
   8 ; CHECK-LABEL: @main()
   9 define dso_local i32 @main() {
  10 entry:
  11   %tmp0 = call ptr @llvm.stacksave() #1
  12   %tmp6 = load i8, ptr @deallocCalled, align 1
  13   %tobool = icmp ne i8 %tmp6, 0
  14   br i1 %tobool, label %if.else, label %if.end
  15
  16 if.else:                                          ; preds = %entry
  17   call void @__assert_fail() #0
  18   unreachable
  19
  20 ; CHECK-LABEL: if.end:
  21 ; CHECK-NEXT: call void @llvm.stackrestore
  22 ; CHECK-NOT: load i8, ptr @deallocCalled
  23 if.end:                                           ; preds = %entry
  24   call void @llvm.stackrestore(ptr %tmp0)
  25   %tmp7 = load i8, ptr @deallocCalled, align 1
  26   %tobool3 = icmp ne i8 %tmp7, 0
  27   br i1 %tobool3, label %if.end6, label %if.else5
  28
  29 if.else5:                                         ; preds = %if.end
  30   call void @__assert_fail() #0
  31   unreachable
  32
  33 if.end6:                                          ; preds = %if.end
  34   store i8 0, ptr @deallocCalled, align 1
  35   ret i32 0
  36 }
  37
  38 declare ptr @llvm.stacksave() #1
  39 declare void @llvm.stackrestore(ptr) #1
  40 declare dso_local void @__assert_fail() #0
  41
  42 attributes #0 = { noreturn nosync nounwind }
  43 attributes #1 = { nosync nounwind }
  44