search for: safe_div

...the stack layout of the parent function. If the parent function is inlined, we would have to duplicate the filter function along with it. Given that we want this kind of outlining to handle cleanups, it shouldn't be difficult to use the same machinery for filter expressions. The IR sample for safe_div at the end of my RFC would look like this instead: define i32 @safe_div(i32 %n, i32 %d) { entry: %d.addr = alloca i32, align 4 %n.addr = alloca i32, align 4 %r = alloca i32, align 4 store i32 %d, i32* %d.addr, align 4 store i32 %n, i32* %n.addr, align 4 invoke void @try_body(i32* %r, i...

...the stack layout of the parent function. If the parent function is inlined, we would have to duplicate the filter function along with it. Given that we want this kind of outlining to handle cleanups, it shouldn't be difficult to use the same machinery for filter expressions. The IR sample for safe_div at the end of my RFC would look like this instead: define i32 @safe_div(i32 %n, i32 %d) { entry: %d.addr = alloca i32, align 4 %n.addr = alloca i32, align 4 %r = alloca i32, align 4 store i32 %d, i32* %d.addr, align 4 store i32 %n, i32* %n.addr, align 4 invoke void @try_body(i32* %r, i...