Skip to content

Commit 9db5493

Browse files
committed
[EVM] Add pre-commit test for Select (setcc x, 0, ne) as ISZERO ISZERO
1 parent 2fe3694 commit 9db5493

File tree

1 file changed

+28
-0
lines changed

1 file changed

+28
-0
lines changed
Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2+
; RUN: llc < %s | FileCheck %s
3+
target datalayout = "E-p:256:256-i256:256:256-S256-a:256:256"
4+
target triple = "evm-unknown-unknown"
5+
6+
define i1 @test_eq(i256 %x) {
7+
; CHECK-LABEL: test_eq:
8+
; CHECK: ; %bb.0:
9+
; CHECK-NEXT: JUMPDEST
10+
; CHECK-NEXT: ISZERO
11+
; CHECK-NEXT: SWAP1
12+
; CHECK-NEXT: JUMP
13+
%cmp = icmp eq i256 %x, 0
14+
ret i1 %cmp
15+
}
16+
17+
define i1 @test_ne(i256 %x) {
18+
; CHECK-LABEL: test_ne:
19+
; CHECK: ; %bb.0:
20+
; CHECK-NEXT: JUMPDEST
21+
; CHECK-NEXT: PUSH0
22+
; CHECK-NEXT: EQ
23+
; CHECK-NEXT: ISZERO
24+
; CHECK-NEXT: SWAP1
25+
; CHECK-NEXT: JUMP
26+
%cmp = icmp ne i256 %x, 0
27+
ret i1 %cmp
28+
}

0 commit comments

Comments
 (0)