llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken2.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 define internal ptr @_i_Associated__dealloc() {
   9 entry:
  10   store i8 1, ptr @deallocCalled, align 1
  11   ret ptr null
  12 }
  13
  14 ; CHECK-LABEL: @main()
  15 define dso_local i32 @main() {
  16 entry:
  17   %tmp0 = call ptr @llvm.stacksave() #1
  18   %tmp6 = load i8, ptr @deallocCalled, align 1
  19   %tobool = icmp ne i8 %tmp6, 0
  20   br i1 %tobool, label %if.else, label %if.end
  21
  22 if.else:                                          ; preds = %entry
  23   call void @__assert_fail() #0
  24   unreachable
  25
  26 ; CHECK-LABEL: if.end:
  27 ; CHECK-NEXT: call void @llvm.stackrestore
  28 ; CHECK-NOT: load i8, ptr @deallocCalled
  29 if.end:                                           ; preds = %entry
  30   call void @llvm.stackrestore(ptr %tmp0)
  31   %tmp7 = load i8, ptr @deallocCalled, align 1
  32   %tobool3 = icmp ne i8 %tmp7, 0
  33   br i1 %tobool3, label %if.end6, label %if.else5
  34
  35 if.else5:                                         ; preds = %if.end
  36   call void @__assert_fail() #0
  37   unreachable
  38
  39 if.end6:                                          ; preds = %if.end
  40   store i8 0, ptr @deallocCalled, align 1
  41   ret i32 0
  42 }
  43
  44 declare ptr @llvm.stacksave() #1
  45 declare void @llvm.stackrestore(ptr) #1
  46 declare dso_local void @__assert_fail() #0
  47
  48 attributes #0 = { noreturn nosync nounwind }
  49 attributes #1 = { nosync nounwind }
  50