|
| 1 | +; RUN: opt %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s |
| 2 | + |
| 3 | +; BasicAA should prove that loads from sufficiently large static offsets |
| 4 | +; don't overlap with matrix loads with a statically known size. |
| 5 | + |
| 6 | +define <8 x double> @non_overlapping_strided_load(ptr %src) { |
| 7 | +; CHECK-LABEL: Function: non_overlapping_strided_load: |
| 8 | +; Just Ref: %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) <-> call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) |
| 9 | +; Just Mod: call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) <-> %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) |
| 10 | +entry: |
| 11 | + %src.offset = getelementptr inbounds double, ptr %src, i32 12 |
| 12 | + %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) |
| 13 | + call void @llvm.matrix.column.major.store(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) |
| 14 | + ret <8 x double> %l |
| 15 | +} |
| 16 | + |
| 17 | +define <8 x double> @overlapping_strided_load(ptr %src) { |
| 18 | +; CHECK-LABEL: Function: overlapping_strided_load: |
| 19 | +; CHECK: Just Ref: %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) <-> call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) |
| 20 | +; CHECK: Just Mod: call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) <-> %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) |
| 21 | +; |
| 22 | +entry: |
| 23 | + %src.offset = getelementptr inbounds double, ptr %src, i32 11 |
| 24 | + %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2) |
| 25 | + call void @llvm.matrix.column.major.store(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2) |
| 26 | + ret <8 x double> %l |
| 27 | +} |
| 28 | + |
| 29 | +declare <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr, i32, i1, i32, i32) |
| 30 | +declare void @llvm.matrix.column.major.store.v8f64.i32(<8 x double>, ptr, i32, i1, i32, i32) |
0 commit comments