| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -gvn -S -o - < %s | FileCheck %s |
| |
| define double @code(double* %a1) { |
| ; CHECK-LABEL: @code( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[META:%.*]] = alloca double*, align 8 |
| ; CHECK-NEXT: store double 1.234500e+00, double* [[A1:%.*]], align 8 |
| ; CHECK-NEXT: store double* [[A1]], double** [[META]], align 8, !invariant.group !0 |
| ; CHECK-NEXT: ret double 1.234500e+00 |
| ; |
| entry: |
| %meta = alloca double* |
| store double 1.23450000e+00, double* %a1, align 8 |
| store double* %a1, double** %meta, align 8, !invariant.group !0 |
| %iload = load double, double* %a1, align 8, !invariant.group !1 |
| ret double %iload |
| } |
| |
| !0 = distinct !{} |
| !1 = distinct !{} |