diff options
| -rw-r--r-- | llvm/lib/Transforms/Scalar/SCCP.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/SCCP/undef-resolve.ll | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/llvm/lib/Transforms/Scalar/SCCP.cpp b/llvm/lib/Transforms/Scalar/SCCP.cpp index 32f486744f5..2c1364d77cf 100644 --- a/llvm/lib/Transforms/Scalar/SCCP.cpp +++ b/llvm/lib/Transforms/Scalar/SCCP.cpp @@ -1396,8 +1396,8 @@ bool SCCPSolver::ResolvedUndefsIn(Function &F) { break; } - // undef >>a X -> all ones - markForcedConstant(&I, Constant::getAllOnesValue(ITy)); + // undef >>a X -> 0 + markForcedConstant(&I, Constant::getNullValue(ITy)); return true; case Instruction::LShr: case Instruction::Shl: diff --git a/llvm/test/Transforms/SCCP/undef-resolve.ll b/llvm/test/Transforms/SCCP/undef-resolve.ll index fcfe3f573ea..dd7f1f3dd88 100644 --- a/llvm/test/Transforms/SCCP/undef-resolve.ll +++ b/llvm/test/Transforms/SCCP/undef-resolve.ll @@ -135,7 +135,7 @@ define i32 @test6() { %t = ashr i32 undef, 31 ret i32 %t ; CHECK-LABEL: @test6( -; CHECK: ret i32 -1 +; CHECK: ret i32 0 } ; Make sure lshr produces a possible value @@ -178,5 +178,5 @@ entry: %shr4 = ashr i32 undef, zext (i1 icmp eq (i32* bitcast (i32 (i1)* @test11 to i32*), i32* @GV) to i32) ret i32 %shr4 ; CHECK-LABEL: @test11( -; CHECK: ret i32 -1 +; CHECK: ret i32 0 } |
