diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-02-05 20:04:12 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-02-05 20:04:12 +0000 |
| commit | a3d0c5adafdeccc5f024ff5033ce732e747b52ef (patch) | |
| tree | f5e97314e5201aa4c63c16e7edd58a74c161138d /llvm/test/Verifier | |
| parent | 97bc08ae02bf4b490abbe27ecb0ee6250892e1e2 (diff) | |
| download | bcm5719-llvm-a3d0c5adafdeccc5f024ff5033ce732e747b52ef.tar.gz bcm5719-llvm-a3d0c5adafdeccc5f024ff5033ce732e747b52ef.zip | |
GlobalISel: Verify G_GEP
llvm-svn: 353209
Diffstat (limited to 'llvm/test/Verifier')
| -rw-r--r-- | llvm/test/Verifier/test_g_gep.mir | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/llvm/test/Verifier/test_g_gep.mir b/llvm/test/Verifier/test_g_gep.mir new file mode 100644 index 00000000000..5e34625d1e7 --- /dev/null +++ b/llvm/test/Verifier/test_g_gep.mir @@ -0,0 +1,32 @@ +#RUN: not llc -o - -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s +# REQUIRES: global-isel, aarch64-registered-target + +--- +name: test_gep +legalized: true +regBankSelected: false +selected: false +tracksRegLiveness: true +liveins: +body: | + bb.0: + + %0:_(p0) = G_IMPLICIT_DEF + %1:_(s64) = G_IMPLICIT_DEF + + ; CHECK: Bad machine code: Type mismatch in generic instruction + %2:_(s64) = G_GEP %0, %1 + + ; CHECK: Bad machine code: Type mismatch in generic instruction + %3:_(p0) = G_GEP %1, %1 + + ; CHECK: Bad machine code: gep offset operand must not be a pointer + %4:_(p0) = G_GEP %0, %0 + + ; CHECK: Bad machine code: Type mismatch in generic instruction + %5:_(p1) = G_GEP %0, %1 + + ; CHECK: Bad machine code: gep first operand must be a pointer + %6:_(s64) = G_GEP %1, %1 + +... |
