| .text |
| .section .text.main,"ax",@progbits |
| .hidden main |
| .globl main |
| .type main,@function |
| main: # @main |
| .result i32 |
| # BB#0: # %bug.exit |
| block |
| i32.const $push1=, 512 |
| i32.const $push13=, 0 |
| i32.load16_u $push0=, buf($pop13) |
| i32.sub $push2=, $pop1, $pop0 |
| i32.const $push12=, 0 |
| i32.load16_u $push3=, buf+2($pop12) |
| i32.sub $push4=, $pop2, $pop3 |
| i32.const $push11=, 0 |
| i32.load16_u $push5=, buf+4($pop11) |
| i32.sub $push6=, $pop4, $pop5 |
| i32.const $push7=, 65535 |
| i32.and $push8=, $pop6, $pop7 |
| i32.const $push9=, 491 |
| i32.ne $push10=, $pop8, $pop9 |
| br_if 0, $pop10 # 0: down to label0 |
| # BB#1: # %if.end |
| i32.const $push14=, 0 |
| call exit@FUNCTION, $pop14 |
| unreachable |
| .LBB0_2: # %if.then |
| end_block # label0: |
| call abort@FUNCTION |
| unreachable |
| .endfunc |
| .Lfunc_end0: |
| .size main, .Lfunc_end0-main |
| |
| .section .text.bug,"ax",@progbits |
| .hidden bug |
| .globl bug |
| .type bug,@function |
| bug: # @bug |
| .param i32, i32, i32 |
| .result i32 |
| # BB#0: # %entry |
| block |
| i32.ge_u $push0=, $1, $2 |
| br_if 0, $pop0 # 0: down to label1 |
| # BB#1: # %for.body.preheader |
| .LBB1_2: # %for.body |
| # =>This Inner Loop Header: Depth=1 |
| loop # label2: |
| i32.load16_u $push1=, 0($1) |
| i32.sub $push2=, $0, $pop1 |
| i32.const $push7=, 65535 |
| i32.and $0=, $pop2, $pop7 |
| i32.const $push6=, 2 |
| i32.add $push5=, $1, $pop6 |
| tee_local $push4=, $1=, $pop5 |
| i32.lt_u $push3=, $pop4, $2 |
| br_if 0, $pop3 # 0: up to label2 |
| .LBB1_3: # %for.end |
| end_loop |
| end_block # label1: |
| copy_local $push8=, $0 |
| # fallthrough-return: $pop8 |
| .endfunc |
| .Lfunc_end1: |
| .size bug, .Lfunc_end1-bug |
| |
| .hidden buf # @buf |
| .type buf,@object |
| .section .data.buf,"aw",@progbits |
| .globl buf |
| .p2align 1 |
| buf: |
| .int16 1 # 0x1 |
| .int16 4 # 0x4 |
| .int16 16 # 0x10 |
| .int16 64 # 0x40 |
| .int16 256 # 0x100 |
| .size buf, 10 |
| |
| |
| .functype abort, void |
| .functype exit, void, i32 |
