@@ -204,8 +204,8 @@ entry:
204
204
define double @preserve_load_metadata_after_select_transform2 (ptr %a , ptr %b ) {
205
205
; CHECK-LABEL: @preserve_load_metadata_after_select_transform2(
206
206
; 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]]
209
209
; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
210
210
; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
211
211
; CHECK-NEXT: ret double [[L_SEL]]
@@ -223,7 +223,7 @@ define double @preserve_load_metadata_after_select_transform_metadata_missing_1(
223
223
; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_1(
224
224
; CHECK-NEXT: entry:
225
225
; 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]]
227
227
; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
228
228
; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
229
229
; CHECK-NEXT: ret double [[L_SEL]]
@@ -258,8 +258,8 @@ entry:
258
258
define double @preserve_load_metadata_after_select_transform_metadata_missing_3 (ptr %a , ptr %b ) {
259
259
; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_3(
260
260
; 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]]
263
263
; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
264
264
; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
265
265
; CHECK-NEXT: ret double [[L_SEL]]
@@ -278,8 +278,8 @@ entry:
278
278
define double @preserve_load_metadata_after_select_transform_metadata_missing_4 (ptr %a , ptr %b ) {
279
279
; CHECK-LABEL: @preserve_load_metadata_after_select_transform_metadata_missing_4(
280
280
; 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]+]]
283
283
; CHECK-NEXT: [[CMP_I:%.*]] = fcmp fast olt double [[L_A]], [[L_B]]
284
284
; CHECK-NEXT: [[L_SEL:%.*]] = select i1 [[CMP_I]], double [[L_B]], double [[L_A]]
285
285
; CHECK-NEXT: ret double [[L_SEL]]
0 commit comments