[PATCH] D70794: [GlobalISel] Fix compiler crash lowering G_LOAD in AArch64.

[Daniel Rodríguez Troitiño via Phabricator via llvm-commits]

drodriguez updated this revision to Diff 231808.
drodriguez added a comment.

Generate the checks in the test with update_mir_test_checks.py. Check with FileCheck that the test actually passes.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D70794/new/

https://reviews.llvm.org/D70794

Files:
  llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
  llvm/test/CodeGen/AArch64/GlobalISel/legalize-load-trunc.mir


Index: llvm/test/CodeGen/AArch64/GlobalISel/legalize-load-trunc.mir
===================================================================
--- /dev/null
+++ llvm/test/CodeGen/AArch64/GlobalISel/legalize-load-trunc.mir
@@ -0,0 +1,45 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -march=aarch64 -run-pass=legalizer %s -o - -verify-machineinstrs | FileCheck %s
+---
+name:            test_load_trunc
+stack:
+  - { id: 0, type: default, offset: 0, size: 2,
+      alignment: 2, stack-id: default, callee-saved-register: '', callee-saved-restored: true,
+      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
+body: |
+  ; CHECK-LABEL: name: test_load_trunc
+  ; CHECK: bb.0.entry:
+  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
+  ; CHECK:   [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0
+  ; CHECK:   [[LOAD:%[0-9]+]]:_(s16) = G_LOAD [[FRAME_INDEX]](p0) :: (load 2)
+  ; CHECK:   [[TRUNC:%[0-9]+]]:_(s10) = G_TRUNC [[LOAD]](s16)
+  ; CHECK:   [[TRUNC1:%[0-9]+]]:_(s1) = G_TRUNC [[TRUNC]](s10)
+  ; CHECK:   G_BRCOND [[TRUNC1]](s1), %bb.1
+  ; CHECK:   G_BR %bb.2
+  ; CHECK: bb.1:
+  ; CHECK:   successors: %bb.3(0x80000000)
+  ; CHECK:   G_BR %bb.3
+  ; CHECK: bb.2:
+  ; CHECK:   successors: %bb.3(0x80000000)
+  ; CHECK: bb.3:
+  ; CHECK:   RET_ReallyLR
+  bb.0.entry:
+    successors: %bb.2(0x40000000), %bb.3(0x40000000)
+
+    %0:_(p0) = G_FRAME_INDEX %stack.0
+    %1:_(s10) = G_LOAD %0(p0) :: (load 2)
+    %2:_(s1) = G_TRUNC %1(s10)
+    G_BRCOND %2(s1), %bb.2
+    G_BR %bb.3
+
+  bb.2:
+    successors: %bb.4(0x80000000)
+
+    G_BR %bb.4
+
+  bb.3:
+    successors: %bb.4(0x80000000)
+
+  bb.4:
+    RET_ReallyLR
+...
Index: llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
===================================================================
--- llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
+++ llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
@@ -2109,7 +2109,7 @@
       default:
         llvm_unreachable("Unexpected opcode");
       case TargetOpcode::G_LOAD:
-        MIRBuilder.buildAnyExt(DstReg, TmpReg);
+        MIRBuilder.buildExtOrTrunc(TargetOpcode::G_ANYEXT, DstReg, TmpReg);
         break;
       case TargetOpcode::G_SEXTLOAD:
         MIRBuilder.buildSExt(DstReg, TmpReg);


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D70794.231808.patch
Type: text/x-patch
Size: 2302 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191203/15f8e9d6/attachment.bin>