# Logical *** ### LT Original [EVM](https://www.evm.codes/#10?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp ult i256 %value1, %value2 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r0, r1 ptr.add.s 36, r1, r2 ld r2, r2 ptr.add.s 4, r1, r1 ld r1, r1 sub! r1, r2, r1 add 0, r0, r1 add.lt 1, r0, r1 st.1 128, r1 ``` ### GT Original [EVM](https://www.evm.codes/#11?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp ugt i256 %value1, %value2 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r0, r1 ptr.add.s 36, r1, r2 ld r2, r2 ptr.add.s 4, r1, r1 ld r1, r1 sub! r1, r2, r1 add 0, r0, r1 add.gt 1, r0, r1 st.1 128, r1 ``` ### SLT Original [EVM](https://www.evm.codes/#12?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp slt i256 %value1, %value2 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r0, r1 ptr.add.s 36, r1, r2 ld r2, r2 ptr.add.s 4, r1, r1 ld r1, r1 add @CPI0_4[0], r0, r3 sub! r1, r2, r4 add r0, r0, r4 add.lt r3, r0, r4 and @CPI0_4[0], r2, r2 and @CPI0_4[0], r1, r1 sub! r1, r2, r5 add.le r0, r0, r3 xor r1, r2, r1 sub.s! @CPI0_4[0], r1, r1 add r4, r0, r1 add.eq r3, r0, r1 sub! r1, r0, r1 add 0, r0, r1 add.ne 1, r0, r1 st.1 128, r1 ``` ### SGT Original [EVM](https://www.evm.codes/#13?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp sgt i256 %value1, %value2 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r0, r1 ptr.add.s 36, r1, r2 ld r2, r2 ptr.add.s 4, r1, r1 ld r1, r1 add @CPI0_4[0], r0, r3 sub! r1, r2, r4 add r0, r0, r4 add.gt r3, r0, r4 and @CPI0_4[0], r2, r2 and @CPI0_4[0], r1, r1 sub! r1, r2, r5 add.ge r0, r0, r3 xor r1, r2, r1 sub.s! @CPI0_4[0], r1, r1 add r4, r0, r1 add.eq r3, r0, r1 sub! r1, r0, r1 add 0, r0, r1 add.ne 1, r0, r1 st.1 128, r1 ``` ### EQ Original [EVM](https://www.evm.codes/#14?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp eq i256 %value1, %value2 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r0, r1 ptr.add.s 36, r1, r2 ld r2, r2 ptr.add.s 4, r1, r1 ld r1, r1 sub! r1, r2, r1 add 0, r0, r1 add.eq 1, r0, r1 st.1 128, r1 ``` ### ISZERO Original [EVM](https://www.evm.codes/#15?fork=shanghai) instruction. #### LLVM IR ```llvm %comparison_result = icmp eq i256 %value, 0 %comparison_result_extended = zext i1 %comparison_result to i256 ``` [The LLVM IR generator code](https://github.com/matter-labs/era-compiler-llvm-context/blob/main/src/eravm/evm/comparison.rs#L15) is common for Yul and EVMLA representations. [LLVM IR instruction documentation](https://releases.llvm.org/15.0.0/docs/LangRef.html#icmp-instruction) #### EraVM Assembly ```llvm ptr.add stack[@ptr_calldata], r1, r1 ld r1, r1 sub! r1, r0, r1 add 0, r0, r1 add.eq 1, r0, r1 st.1 128, r1 ```
--- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://validium.gitbook.io/docs/components/compiler/specification/instructions/evm/logical.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.