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