[llvm] r361733 - [SimplifyCFG] NFC, one more fixed test from previous push.

Shawn Landden via llvm-commits llvm-commits at lists.llvm.org
Sun May 26 08:29:10 PDT 2019


Author: shawnl
Date: Sun May 26 08:29:10 2019
New Revision: 361733

URL: http://llvm.org/viewvc/llvm-project?rev=361733&view=rev
Log:
[SimplifyCFG] NFC, one more fixed test from previous push.

The old test was checking for a stupid subtract one that is a transform that
makes the code woorse.

The constant-islands-jump-table.ll test wants the code a specific way,
that makes sense, so I will submit code to fix that one.

Sorry that I really didn't know how to run the test suite before this.

Modified:
    llvm/trunk/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.ll

Modified: llvm/trunk/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.ll?rev=361733&r1=361732&r2=361733&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.ll (original)
+++ llvm/trunk/test/Transforms/SimplifyCFG/ARM/switch-to-lookup-table.ll Sun May 26 08:29:10 2019
@@ -182,43 +182,25 @@ declare i32 @f4(i32, i32)
 declare i32 @f5(i32, i32)
 
 define i32 @test4(i32 %a, i32 %b, i32 %c) {
-; ENABLE-LABEL: @test4(
-; ENABLE-NEXT:  entry:
-; ENABLE-NEXT:    [[SWITCH_TABLEIDX:%.*]] = sub i32 [[A:%.*]], 1
-; ENABLE-NEXT:    [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 3
-; ENABLE-NEXT:    br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[COND_FALSE6:%.*]]
-; ENABLE:       cond.false6:
-; ENABLE-NEXT:    [[CMP7:%.*]] = icmp eq i32 [[A]], 4
-; ENABLE-NEXT:    [[COND:%.*]] = select i1 [[CMP7]], i32 (i32, i32)* @f4, i32 (i32, i32)* @f5
-; ENABLE-NEXT:    br label [[COND_END11:%.*]]
-; ENABLE:       switch.lookup:
-; ENABLE-NEXT:    [[SWITCH_GEP:%.*]] = getelementptr inbounds [3 x i32 (i32, i32)*], [3 x i32 (i32, i32)*]* @switch.table.test4, i32 0, i32 [[SWITCH_TABLEIDX]]
-; ENABLE-NEXT:    [[SWITCH_LOAD:%.*]] = load i32 (i32, i32)*, i32 (i32, i32)** [[SWITCH_GEP]]
-; ENABLE-NEXT:    br label [[COND_END11]]
-; ENABLE:       cond.end11:
-; ENABLE-NEXT:    [[COND12:%.*]] = phi i32 (i32, i32)* [ [[COND]], [[COND_FALSE6]] ], [ [[SWITCH_LOAD]], [[SWITCH_LOOKUP]] ]
-; ENABLE-NEXT:    [[CALL:%.*]] = call i32 [[COND12]](i32 [[B:%.*]], i32 [[C:%.*]])
-; ENABLE-NEXT:    ret i32 [[CALL]]
-;
-; DISABLE-LABEL: @test4(
-; DISABLE-NEXT:  entry:
-; DISABLE-NEXT:    switch i32 [[A:%.*]], label [[COND_FALSE6:%.*]] [
-; DISABLE-NEXT:    i32 1, label [[COND_END11:%.*]]
-; DISABLE-NEXT:    i32 2, label [[COND_END11_FOLD_SPLIT:%.*]]
-; DISABLE-NEXT:    i32 3, label [[COND_END11_FOLD_SPLIT1:%.*]]
-; DISABLE-NEXT:    ]
-; DISABLE:       cond.false6:
-; DISABLE-NEXT:    [[CMP7:%.*]] = icmp eq i32 [[A]], 4
-; DISABLE-NEXT:    [[COND:%.*]] = select i1 [[CMP7]], i32 (i32, i32)* @f4, i32 (i32, i32)* @f5
-; DISABLE-NEXT:    br label [[COND_END11]]
-; DISABLE:       cond.end11.fold.split:
-; DISABLE-NEXT:    br label [[COND_END11]]
-; DISABLE:       cond.end11.fold.split1:
-; DISABLE-NEXT:    br label [[COND_END11]]
-; DISABLE:       cond.end11:
-; DISABLE-NEXT:    [[COND12:%.*]] = phi i32 (i32, i32)* [ @f1, [[ENTRY:%.*]] ], [ [[COND]], [[COND_FALSE6]] ], [ @f2, [[COND_END11_FOLD_SPLIT]] ], [ @f3, [[COND_END11_FOLD_SPLIT1]] ]
-; DISABLE-NEXT:    [[CALL:%.*]] = call i32 [[COND12]](i32 [[B:%.*]], i32 [[C:%.*]])
-; DISABLE-NEXT:    ret i32 [[CALL]]
+; CHECK-LABEL: @test4(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    switch i32 [[A:%.*]], label [[COND_FALSE6:%.*]] [
+; CHECK-NEXT:    i32 1, label [[COND_END11:%.*]]
+; CHECK-NEXT:    i32 2, label [[COND_END11_FOLD_SPLIT:%.*]]
+; CHECK-NEXT:    i32 3, label [[COND_END11_FOLD_SPLIT1:%.*]]
+; CHECK-NEXT:    ]
+; CHECK:       cond.false6:
+; CHECK-NEXT:    [[CMP7:%.*]] = icmp eq i32 [[A]], 4
+; CHECK-NEXT:    [[COND:%.*]] = select i1 [[CMP7]], i32 (i32, i32)* @f4, i32 (i32, i32)* @f5
+; CHECK-NEXT:    br label [[COND_END11]]
+; CHECK:       cond.end11.fold.split:
+; CHECK-NEXT:    br label [[COND_END11]]
+; CHECK:       cond.end11.fold.split1:
+; CHECK-NEXT:    br label [[COND_END11]]
+; CHECK:       cond.end11:
+; CHECK-NEXT:    [[COND12:%.*]] = phi i32 (i32, i32)* [ @f1, [[ENTRY:%.*]] ], [ [[COND]], [[COND_FALSE6]] ], [ @f2, [[COND_END11_FOLD_SPLIT]] ], [ @f3, [[COND_END11_FOLD_SPLIT1]] ]
+; CHECK-NEXT:    [[CALL:%.*]] = call i32 [[COND12]](i32 [[B:%.*]], i32 [[C:%.*]])
+; CHECK-NEXT:    ret i32 [[CALL]]
 ;
 entry:
   %cmp = icmp eq i32 %a, 1




More information about the llvm-commits mailing list