@@ -285,8 +285,8 @@ define double @preserve_load_metadata_after_select_transform_metadata_missing_4(
285285; CHECK-NEXT: ret double [[L_SEL]]
286286;
287287entry:
288- %l.a = load double , ptr %a , align 8 , !tbaa !0 , !llvm.access.group !7
289- %l.b = load double , ptr %b , align 8 , !tbaa !0 , !llvm.access.group !12
288+ %l.a = load double , ptr %a , align 8 , !tbaa !0 , !llvm.access.group !7 , !alias.scope !3 , !noalias !3
289+ %l.b = load double , ptr %b , align 8 , !tbaa !0 , !llvm.access.group !12 , !alias.scope !14 , !noalias !14
290290 %cmp.i = fcmp fast olt double %l.a , %l.b
291291 %ptr.sel = select i1 %cmp.i , ptr %b , ptr %a
292292 %l.sel = load double , ptr %ptr.sel , align 8 , !tbaa !0 , !llvm.access.group !13
@@ -307,6 +307,10 @@ entry:
307307!11 = !{i32 5 , i32 6 }
308308!12 = distinct !{}
309309!13 = distinct !{}
310+ !14 = !{!15 }
311+ !15 = distinct !{!15 , !16 }
312+ !16 = distinct !{!16 }
313+
310314;.
311315; CHECK: [[TBAA0]] = !{[[LOOP1]], [[LOOP1]], i64 0}
312316; CHECK: [[LOOP1]] = !{!"scalar type", [[META2:![0-9]+]]}
0 commit comments