From aa160c22f73df256b157516f381a86eb23cd568c Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Fri, 5 Aug 2016 14:55:02 +0000 Subject: [PATCH] [SimplifyCFG] Make range reduction code deterministic. This generated IR based on the order of evaluation, which is different between GCC and Clang. With that in mind you get bootstrap miscompares if you compare a Clang built with GCC-built Clang vs. Clang built with Clang-built Clang. Diagnosing that made my head hurt. This also reverts commit r277337, which "fixed" the test case. llvm-svn: 277820 --- llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 5 ++-- llvm/test/Transforms/SimplifyCFG/rangereduce.ll | 40 ++++++++++++------------- 2 files changed, 23 insertions(+), 22 deletions(-) diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp index 32060fa..f3bea40 100644 --- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -5128,8 +5128,9 @@ static bool ReduceSwitchRange(SwitchInst *SI, IRBuilder<> &Builder, Builder.SetInsertPoint(SI); auto *ShiftC = ConstantInt::get(Ty, Shift); auto *Sub = Builder.CreateSub(SI->getCondition(), ConstantInt::get(Ty, Base)); - auto *Rot = Builder.CreateOr(Builder.CreateLShr(Sub, ShiftC), - Builder.CreateShl(Sub, Ty->getBitWidth() - Shift)); + auto *LShr = Builder.CreateLShr(Sub, ShiftC); + auto *Shl = Builder.CreateShl(Sub, Ty->getBitWidth() - Shift); + auto *Rot = Builder.CreateOr(LShr, Shl); SI->replaceUsesOfWith(SI->getCondition(), Rot); for (SwitchInst::CaseIt C = SI->case_begin(), E = SI->case_end(); C != E; diff --git a/llvm/test/Transforms/SimplifyCFG/rangereduce.ll b/llvm/test/Transforms/SimplifyCFG/rangereduce.ll index 4b5e6db..1b6434a 100644 --- a/llvm/test/Transforms/SimplifyCFG/rangereduce.ll +++ b/llvm/test/Transforms/SimplifyCFG/rangereduce.ll @@ -3,11 +3,11 @@ target datalayout = "e-n32" ; CHECK-LABEL: @test1 -; CHECK: %[[SUB:.*]] = sub i32 %a, 97 -; CHECK-DAG: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2 -; CHECK-DAG: %[[SHL:.*]] = shl i32 %[[SUB]], 30 -; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]] -; CHECK: switch i32 %[[OR]], label %def [ +; CHECK: %1 = sub i32 %a, 97 +; CHECK-DAG: %2 = lshr i32 %1, 2 +; CHECK-DAG: %3 = shl i32 %1, 30 +; CHECK: %4 = or i32 %2, %3 +; CHECK: switch i32 %4, label %def [ ; CHECK: i32 0, label %one ; CHECK: i32 1, label %two ; CHECK: i32 2, label %three @@ -120,11 +120,11 @@ three: } ; CHECK-LABEL: @test6 -; CHECK: %[[SUB:.*]] = sub i32 %a, -109 -; CHECK-DAG: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2 -; CHECK-DAG: %[[SHL:.*]] = shl i32 %[[SUB]], 30 -; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]] -; CHECK: switch i32 %[[OR]], label %def [ +; CHECK: %1 = sub i32 %a, -109 +; CHECK-DAG: %2 = lshr i32 %1, 2 +; CHECK-DAG: %3 = shl i32 %1, 30 +; CHECK: %4 = or i32 %2, %3 +; CHECK: switch i32 %4, label %def [ define i32 @test6(i32 %a) optsize { switch i32 %a, label %def [ i32 -97, label %one @@ -145,11 +145,11 @@ three: } ; CHECK-LABEL: @test7 -; CHECK: %[[SUB:.*]] = sub i8 %a, -36 -; CHECK-DAG: %[[LSHR:.*]] = lshr i8 %[[SUB]], 2 -; CHECK-DAG: %[[SHL:.*]] = shl i8 %[[SUB]], 6 -; CHECK: %[[OR:.*]] = or i8 %[[LSHR]], %[[SHL]] -; CHECK: switch.tableidx = {{.*}} %[[OR]] +; CHECK: %1 = sub i8 %a, -36 +; CHECK-DAG: %2 = lshr i8 %1, 2 +; CHECK-DAG: %3 = shl i8 %1, 6 +; CHECK: %4 = or i8 %2, %3 +; CHECK: switch.tableidx = {{.*}} %4 define i8 @test7(i8 %a) optsize { switch i8 %a, label %def [ i8 220, label %one @@ -170,11 +170,11 @@ three: } ; CHECK-LABEL: @test8 -; CHECK: %[[SUB:.*]] = sub i32 %a, 97 -; CHECK-DAG: %[[LSHR:.*]] = lshr i32 %1, 2 -; CHECK-DAG: %[[SHL:.*]] = shl i32 %1, 30 -; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]] -; CHECK: switch i32 %[[OR]], label %def [ +; CHECK: %1 = sub i32 %a, 97 +; CHECK-DAG: %2 = lshr i32 %1, 2 +; CHECK-DAG: %3 = shl i32 %1, 30 +; CHECK: %4 = or i32 %2, %3 +; CHECK: switch i32 %4, label %def [ define i32 @test8(i32 %a) optsize { switch i32 %a, label %def [ i32 97, label %one -- 2.7.4