@@ -204,8 +204,8 @@ entry:
204204define double @preserve_load_metadata_after_select_transform2 (ptr %a , ptr %b ) {
205205; CHECK-LABEL: @preserve_load_metadata_after_select_transform2(
206206; CHECK-NEXT: entry:
207- ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !llvm.access.group [[META6]]
208- ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !llvm.access.group [[META6]]
207+ ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
208+ ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
209209; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
210210; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
211211; CHECK-NEXT: ret double [[L_SEL]]
@@ -223,7 +223,7 @@ define double @preserve_load_metadata_after_select_transform_metadata_missing_1(
223223; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_1(
224224; CHECK-NEXT: entry:
225225; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !llvm.access.group [[META6]]
226- ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !llvm.access.group [[META6]]
226+ ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
227227; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
228228; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
229229; CHECK-NEXT: ret double [[L_SEL]]
@@ -258,8 +258,8 @@ entry:
258258define double @preserve_load_metadata_after_select_transform_metadata_missing_3 (ptr %a , ptr %b ) {
259259; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_3(
260260; CHECK-NEXT: entry:
261- ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !llvm.access.group [[META6]]
262- ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !llvm.access.group [[META6]]
261+ ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
262+ ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
263263; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
264264; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
265265; CHECK-NEXT: ret double [[L_SEL]]
@@ -278,8 +278,8 @@ entry:
278278define double @preserve_load_metadata_after_select_transform_metadata_missing_4 (ptr %a , ptr %b ) {
279279; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_4(
280280; CHECK-NEXT: entry:
281- ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !llvm.access.group [[META6]]
282- ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !llvm.access.group [[ACC_GRP10:![0-9]+]]
281+ ; CHECK-NEXT: [[L_A:%.*]] = load double, ptr [[A:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[META6]]
282+ ; CHECK-NEXT: [[L_B:%.*]] = load double, ptr [[B:%.*]], align 8, !tbaa [[TBAA0]], ! llvm.access.group [[ACC_GRP10:![0-9]+]]
283283; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
284284; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
285285; CHECK-NEXT: ret double [[L_SEL]]
0 commit comments