================
@@ -16,11 +16,15 @@ define i32 @test_asr(i32 %a, i32 %b) {
; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[A]], 0
; CHECK-NEXT: br i1 [[C]], label [[BB2:%.*]], label [[BB3:%.*]]
; CHECK: bb2:
+; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[A]], -1
+; CHECK-NEXT: [[D:%.*]] = lshr i32 [[NOT]], [[B]]
+; CHECK-NEXT: [[NOT2:%.*]] = xor i32 [[D]], -1
----------------
nikic wrote:
Oops, I saw that the output changed and thought that it was fixed, but this
wasn't sufficient. We now have ashr in one branch and lshr in the other.
https://github.com/llvm/llvm-project/pull/73662
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
