Master programming syntax, solve interactive challenges & run live code in Syntaxis Explore Arena →
menu_book Course Curriculum (WebAssembly Complete Course) expand_more
Module Basics
Minimal module Function declaration Function export Function import Function parameters Function results Local variables Global variables Mutable globals Start function
Numeric Instructions
i32.const i64.const f32.const f64.const i32.add i32.sub i32.mul i32.div_s f64.add Numeric conversion
Control Flow
block loop br br_if if then else select return call call_indirect unreachable
Memory
Memory declaration Memory export Data segment i32.load i32.store load8_u store8 memory.size memory.grow Memory offset
Tables & References
Table declaration funcref elem segment ref.null ref.func table.get table.set table.size table.grow Indirect function table
Advanced Numeric
i32.and i32.or i32.xor i32.shl i32.shr_s i32.rotl i32.eqz Comparison instructions Saturating truncation reinterpret instructions
JS Interop Concepts
Import JavaScript function Export function to JavaScript Shared linear memory concept Passing integers Passing strings via memory Reading UTF-8 from memory Writing results to memory Memory buffer refresh Host error boundary InstantiateStreaming pattern
Advanced Features
Multi-value results Bulk memory memory.copy memory.fill table.copy SIMD v128.const SIMD i32x4.add Exception tags concept Threads atomic load Threads atomic store Component model concept
WebAssembly Complete Course / Control Flow

if then else

Learn if then else in WebAssembly through the exact construct, a dedicated example, a boundary case, and a mastery check.

10 min read • Intermediate

if then else is an atomic WebAssembly lesson inside Control Flow. The example uses the specific syntax, command, API, instruction, or language rule named by this lesson.

Study the construct itself, then change one relevant input and predict the result before running it. That keeps this lesson focused on if then else rather than on generic WebAssembly syntax.

Topic-specific example

webassembly-03-05.wat
wat Try It Live 
(module (func (export "sign") (param i32) (result i32) local.get 0 i32.const 0 i32.gt_s if (result i32) i32.const 1 else i32.const -1 end))
Edge case / engineering note

For if then else, check operand/result types and trap conditions. WebAssembly validation is strict even when the surrounding host code is permissive.

Content source & attribution
Original Syntaxis Content · Original Syntaxis Content

Lesson quizzes

if then else Mastery Check →
← PREVIOUS
br_if
NEXT →
select