llvm/test/Transforms/GVN/pr46054-md-nonlocaldefcache-cleanup.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=gvn -S %s | FileCheck %s
   3
   4 ; Test for PR46054. Make sure we correctly invalidate MemoryDependenceAnalysis,
   5 ; after removing a nonlocaldef.
   6
   7 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   8
   9 define void @test_double(ptr %data) {
  10 ; CHECK-LABEL: @test_double(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    [[LUC:%.*]] = tail call noalias nonnull ptr @data()
  13 ; CHECK-NEXT:    store i64 1, ptr [[LUC]], align 8, !invariant.group !0
  14 ; CHECK-NEXT:    call void @fn(i64 1)
  15 ; CHECK-NEXT:    br i1 true, label [[A:%.*]], label [[ENTRY_B_CRIT_EDGE:%.*]]
  16 ; CHECK:       entry.B_crit_edge:
  17 ; CHECK-NEXT:    br label [[B:%.*]]
  18 ; CHECK:       A:
  19 ; CHECK-NEXT:    br label [[B]]
  20 ; CHECK:       B:
  21 ; CHECK-NEXT:    call void @fn(i64 1)
  22 ; CHECK-NEXT:    ret void
  23 ;
  24 entry:
  25   %luc = tail call noalias nonnull ptr @data()
  26   store i64 1, ptr %luc, !invariant.group !0
  27   %QQ = load i64, ptr %luc, !invariant.group !0
  28   call void @fn(i64 %QQ)
  29   br i1 true, label %A, label %B
  30
  31 A:                                                ; preds = %loop
  32   br label %B
  33
  34 B:                                                ; preds = %A, %loop
  35   %QQ.1 = load i64, ptr %luc, !invariant.group !0
  36   call void @fn(i64 %QQ.1)
  37   ret void
  38 }
  39
  40 declare void @fn(i64)
  41
  42 declare noalias ptr @data()
  43
  44
  45 define void @test_double_ptr(ptr %data) {
  46 ; CHECK-LABEL: @test_double_ptr(
  47 ; CHECK-NEXT:  entry:
  48 ; CHECK-NEXT:    [[LUC:%.*]] = tail call noalias nonnull ptr @data.ptr()
  49 ; CHECK-NEXT:    store ptr null, ptr [[LUC]], align 8, !invariant.group !0
  50 ; CHECK-NEXT:    call void @fn.ptr(ptr null)
  51 ; CHECK-NEXT:    br i1 true, label [[A:%.*]], label [[ENTRY_B_CRIT_EDGE:%.*]]
  52 ; CHECK:       entry.B_crit_edge:
  53 ; CHECK-NEXT:    br label [[B:%.*]]
  54 ; CHECK:       A:
  55 ; CHECK-NEXT:    br label [[B]]
  56 ; CHECK:       B:
  57 ; CHECK-NEXT:    call void @fn.ptr(ptr null)
  58 ; CHECK-NEXT:    ret void
  59 ;
  60 entry:
  61   %luc = tail call noalias nonnull ptr @data.ptr()
  62   store ptr null, ptr %luc, !invariant.group !0
  63   %QQ = load ptr, ptr %luc, !invariant.group !0
  64   call void @fn.ptr(ptr %QQ)
  65   br i1 true, label %A, label %B
  66
  67 A:                                                ; preds = %loop
  68   br label %B
  69
  70 B:                                                ; preds = %A, %loop
  71   %QQ.1 = load ptr, ptr %luc, !invariant.group !0
  72   call void @fn.ptr(ptr %QQ.1)
  73   ret void
  74 }
  75
  76
  77 declare void @fn.ptr(ptr)
  78
  79 declare noalias ptr @data.ptr()
  80
  81 !0 = distinct !{}