Handle things in FastISel

Author: aheejin

llvm/lib/Target/WebAssembly/WebAssemblyFastISel.cpp

@@ -341,7 +341,7 @@ bool WebAssemblyFastISel::computeAddress(const Value *Obj, Address &Addr) {
     // is not present, because the address calculation does not wrap.
     if (auto *OFBinOp = dyn_cast<OverflowingBinaryOperator>(U))
       if (!OFBinOp->hasNoUnsignedWrap())
-        return false;
+        break;
 
     // Adds of constants are common and easy enough.
     const Value *LHS = U->getOperand(0);
@@ -370,7 +370,7 @@ bool WebAssemblyFastISel::computeAddress(const Value *Obj, Address &Addr) {
     // is not present, because the address calculation does not wrap.
     if (auto *OFBinOp = dyn_cast<OverflowingBinaryOperator>(U))
       if (!OFBinOp->hasNoUnsignedWrap())
-        return false;
+        break;
 
     // Subs of constants are common and easy enough.
     const Value *LHS = U->getOperand(0);

llvm/test/CodeGen/WebAssembly/fast-isel-bailout.ll renamed to llvm/test/CodeGen/WebAssembly/fast-isel-no-offset.ll

@@ -1,4 +1,4 @@
-; RUN: llc < %s -asm-verbose=false -fast-isel -verify-machineinstrs | FileCheck %s
+; RUN: llc < %s -asm-verbose=false -fast-isel -fast-isel-abort=1 -verify-machineinstrs | FileCheck %s
 
 target triple = "wasm32-unknown-unknown"
 
@@ -59,8 +59,8 @@ define void @dont_fold_non_nuw_add_store_2() {
 
 ; CHECK-LABEL: dont_fold_non_nuw_sub_load:
 ; CHECK:       local.get  0
-; CHECK-NEXT:  i32.const  2147483644
-; CHECK-NEXT:  i32.add
+; CHECK-NEXT:  i32.const  -2147483644
+; CHECK-NEXT:  i32.sub
 ; CHECK-NEXT:  i32.load  0
 define i32 @dont_fold_non_nuw_sub_load(ptr %p) {
   %q = ptrtoint ptr %p to i32
@@ -72,8 +72,8 @@ define i32 @dont_fold_non_nuw_sub_load(ptr %p) {
 
 ; CHECK-LABEL: dont_fold_non_nuw_sub_store:
 ; CHECK:       local.get  0
-; CHECK-NEXT:  i32.const  2147483644
-; CHECK-NEXT:  i32.add
+; CHECK-NEXT:  i32.const  -2147483644
+; CHECK-NEXT:  i32.sub
 ; CHECK-NEXT:  i32.const  5
 ; CHECK-NEXT:  i32.store  0
 define void @dont_fold_non_nuw_sub_store(ptr %p) {
@@ -86,8 +86,8 @@ define void @dont_fold_non_nuw_sub_store(ptr %p) {
 
 ; CHECK-LABEL: dont_fold_non_nuw_sub_load_2:
 ; CHECK:       i32.const  mylabel
-; CHECK-NEXT:  i32.const  -4
-; CHECK-NEXT:  i32.add
+; CHECK-NEXT:  i32.const  4
+; CHECK-NEXT:  i32.sub
 ; CHECK-NEXT:  i32.load  0
 define i32 @dont_fold_non_nuw_sub_load_2() {
   %t = load i32, ptr inttoptr (i32 sub (i32 ptrtoint (ptr @mylabel to i32), i32 4) to ptr), align 4
@@ -96,8 +96,8 @@ define i32 @dont_fold_non_nuw_sub_load_2() {
 
 ; CHECK-LABEL: dont_fold_non_nuw_sub_store_2:
 ; CHECK:       i32.const  mylabel
-; CHECK-NEXT:  i32.const  -4
-; CHECK-NEXT:  i32.add
+; CHECK-NEXT:  i32.const  4
+; CHECK-NEXT:  i32.sub
 ; CHECK-NEXT:  i32.const  5
 ; CHECK-NEXT:  i32.store  0
 define void @dont_fold_non_nuw_sub_store_2() {