def
AliveHandwritten.DivRemOfSelect.alive_DivRemOfSelect_src
(w : ℕ)
:
Com InstCombine.LLVM
((InstcombineTransformDialect.MOp.instantiateCom ⟨[w], ⋯⟩).mapTy <$> ((Ctxt.snoc [] (InstCombine.MTy.bitvec 1)).snoc (InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩))).snoc
(InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩)))
EffectKind.pure
((InstcombineTransformDialect.MOp.instantiateCom ⟨[w], ⋯⟩).mapTy
(InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩)))
Name: SimplifyDivRemOfSelect precondition: true %sel = select %c, %Y, 0 %r = udiv %X, %sel => %r = udiv %X, %Y
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
AliveHandwritten.DivRemOfSelect.alive_DivRemOfSelect_tgt
(w : ℕ)
:
Com InstCombine.LLVM
((InstcombineTransformDialect.MOp.instantiateCom ⟨[w], ⋯⟩).mapTy <$> ((Ctxt.snoc [] (InstCombine.MTy.bitvec 1)).snoc (InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩))).snoc
(InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩)))
EffectKind.pure
((InstcombineTransformDialect.MOp.instantiateCom ⟨[w], ⋯⟩).mapTy
(InstCombine.MTy.bitvec (MLIR.AST.Width.mvar ⟨0, ⋯⟩)))
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- AliveHandwritten.MulDivRem.MulDivRem805_lhs w = Com.var (ComWrappers.const w 1) (Com.var (ComWrappers.sdiv w 0 1 ⋯ ⋯) (Com.ret ⟨0, ⋯⟩))
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- AliveHandwritten.MulDivRem.MulDivRem290_lhs w = Com.var (ComWrappers.const w 1) (Com.var (ComWrappers.shl w 0 1 ⋯ ⋯) (Com.var (ComWrappers.mul w 0 3 ⋯ ⋯) (Com.ret ⟨0, ⋯⟩)))
Instances For
Equations
- AliveHandwritten.MulDivRem.MulDivRem290_rhs w = Com.var (ComWrappers.shl w 1 0 ⋯ ⋯) (Com.ret ⟨0, ⋯⟩)
Instances For
Equations
- AliveHandwritten.AndOrXor.AndOrXor2515_lhs w = Com.var (ComWrappers.xor w 0 3 ⋯ ⋯) (Com.var (ComWrappers.lshr w 0 3 ⋯ ⋯) (Com.var (ComWrappers.xor w 0 3 ⋯ ⋯) (Com.ret ⟨0, ⋯⟩)))
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.