Auto merge of rust-lang#127740 - DianQK:assume-false, r=<try>

Emit `assume(false)` as `store i1 true, ptr poison, align 1`

Store to poison is the canonical form for non-terminator unreachable.

r? ghost

Author: bors

compiler/rustc_codegen_llvm/src/intrinsic.rs

@@ -566,7 +566,19 @@ impl<'ll, 'tcx> IntrinsicCallMethods<'tcx> for Builder<'_, 'll, 'tcx> {
     }
 
     fn assume(&mut self, val: Self::Value) {
-        self.call_intrinsic("llvm.assume", &[val]);
+        match self.const_to_opt_uint(val) {
+            Some(0) => {
+                self.store(
+                    self.const_bool(true),
+                    self.const_poison(self.type_ptr()),
+                    self.tcx().data_layout.i1_align.abi,
+                );
+            }
+            Some(_) => {}
+            None => {
+                self.call_intrinsic("llvm.assume", &[val]);
+            }
+        }
     }
 
     fn expect(&mut self, cond: Self::Value, expected: bool) -> Self::Value {