[DAG] isGuaranteedNotToBeUndefOrPoison - handle FrameIndex/TargetFram…

…eIndex Fixes #58904
llvm · Nov 22, 2022 · 629f17c · 629f17c
1 parent 073aebc
commit 629f17c
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
@@ -4560,6 +4560,8 @@ bool SelectionDAG::isGuaranteedNotToBeUndefOrPoison(SDValue Op,
 
   switch (Opcode) {
   case ISD::VALUETYPE:
+  case ISD::FrameIndex:
+  case ISD::TargetFrameIndex:
     return true;
 
   case ISD::UNDEF:

diff --git a/llvm/test/CodeGen/WebAssembly/pr58904.ll b/llvm/test/CodeGen/WebAssembly/pr58904.ll
@@ -0,0 +1,20 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=wasm32-- | FileCheck %s
+
+define i64 @PR58904() {
+; CHECK-LABEL: PR58904:
+; CHECK:         .functype PR58904 () -> (i64)
+; CHECK-NEXT:  # %bb.0: # %BB
+; CHECK-NEXT:    global.get __stack_pointer
+; CHECK-NEXT:    i32.const 16
+; CHECK-NEXT:    i32.sub
+; CHECK-NEXT:    i32.const 8
+; CHECK-NEXT:    i32.add
+; CHECK-NEXT:    i64.extend_i32_u
+; CHECK-NEXT:    # fallthrough-return
+BB:
+  %A = alloca i64
+  %C2 = ptrtoint i64* %A to i64
+  %B2 = urem i64 %C2, -1
+  ret i64 %B2
+}