[llvm] r368031 - AArch64: bail instead of asserting on unexpected type in G_CONSTANT 0.

[Tim Northover via llvm-commits]

Author: tnorthover
Date: Tue Aug  6 06:34:08 2019
New Revision: 368031

URL: http://llvm.org/viewvc/llvm-project?rev=368031&view=rev
Log:
AArch64: bail instead of asserting on unexpected type in G_CONSTANT 0.

Added:
    llvm/trunk/test/CodeGen/AArch64/GlobalISel/const-0.ll
Modified:
    llvm/trunk/lib/Target/AArch64/AArch64InstructionSelector.cpp

Modified: llvm/trunk/lib/Target/AArch64/AArch64InstructionSelector.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/AArch64/AArch64InstructionSelector.cpp?rev=368031&r1=368030&r2=368031&view=diff
==============================================================================
--- llvm/trunk/lib/Target/AArch64/AArch64InstructionSelector.cpp (original)
+++ llvm/trunk/lib/Target/AArch64/AArch64InstructionSelector.cpp Tue Aug  6 06:34:08 2019
@@ -1296,8 +1296,8 @@ bool AArch64InstructionSelector::earlySe
 
     Register DefReg = I.getOperand(0).getReg();
     LLT Ty = MRI.getType(DefReg);
-    assert((Ty == LLT::scalar(64) || Ty == LLT::scalar(32)) &&
-           "Unexpected legal constant type");
+    if (Ty != LLT::scalar(64) && Ty != LLT::scalar(32))
+      return false;
 
     if (Ty == LLT::scalar(64)) {
       I.getOperand(1).ChangeToRegister(AArch64::XZR, false);

Added: llvm/trunk/test/CodeGen/AArch64/GlobalISel/const-0.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/GlobalISel/const-0.ll?rev=368031&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/GlobalISel/const-0.ll (added)
+++ llvm/trunk/test/CodeGen/AArch64/GlobalISel/const-0.ll Tue Aug  6 06:34:08 2019
@@ -0,0 +1,25 @@
+; RUN: llc -mtriple=aarch64-linux-gnu -global-isel -O0 -o - %s | FileCheck %s
+
+%struct.comp = type { i8*, i32, i8*, [3 x i8], i32 }
+
+define void @regbranch() {
+; CHECK-LABEL: regbranch:
+; CHECK: mov {{w[0-9]+}}, #0
+cond_next240.i:
+  br i1 false, label %cond_true251.i, label %cond_next272.i
+
+cond_true251.i:
+  switch i8 0, label %cond_next272.i [
+      i8 42, label %bb268.i
+      i8 43, label %bb268.i
+      i8 63, label %bb268.i
+  ]
+
+bb268.i:
+  br label %cond_next272.i
+
+cond_next272.i:
+  %len.2.i = phi i32 [ 0, %bb268.i ], [ 0, %cond_next240.i ], [ 0, %cond_true251.i ]
+  %tmp278.i = icmp eq i32 %len.2.i, 1
+  ret void
+}