llvm/test/Transforms/GVN/storeinvgroup.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -gvn -S -o - < %s | FileCheck %s
   3
   4 define double @code(double* %a1) {
   5 ; CHECK-LABEL: @code(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[META:%.*]] = alloca double*, align 8
   8 ; CHECK-NEXT:    store double 1.234500e+00, double* [[A1:%.*]], align 8
   9 ; CHECK-NEXT:    store double* [[A1]], double** [[META]], align 8, !invariant.group !0
  10 ; CHECK-NEXT:    ret double 1.234500e+00
  11 ;
  12 entry:
  13   %meta = alloca double*
  14   store double 1.23450000e+00, double* %a1, align 8
  15   store double* %a1, double** %meta, align 8, !invariant.group !0
  16   %iload = load double, double* %a1, align 8, !invariant.group !1
  17   ret double %iload
  18 }
  19
  20 !0 = distinct !{}
  21 !1 = distinct !{}