mlir ir

import%20marimo%0A%0A__generated_with%20%3D%20%220.23.15%22%0Aapp%20%3D%20marimo.App(width%3D%22medium%22)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Aasync%20def%20_()%3A%0A%20%20%20%20%23%20Get%20the%20current%20notebook%20URL%2C%20drop%20the%20'blob'%20URL%20components%20that%20seem%20to%20be%20added%2C%0A%20%20%20%20%23%20and%20add%20the%20buildnumber%20that%20a%20makethedocs%20PR%20build%20seems%20to%20add.%20This%20allows%20to%20load%0A%20%20%20%20%23%20the%20wheel%20both%20locally%20and%20when%20deployed%20to%20makethedocs.%0A%20%20%20%20async%20def%20import_xdsl()%3A%0A%20%20%20%20%20%20%20%20import%20re%0A%20%20%20%20%20%20%20%20from%20urllib.parse%20import%20urlparse%0A%0A%20%20%20%20%20%20%20%20import%20micropip%0A%20%20%20%20%20%20%20%20from%20marimo%20import%20notebook_location%0A%0A%20%20%20%20%20%20%20%20url%20%3D%20str(notebook_location()).replace(%22blob%3A%22%2C%20%22%22)%0A%20%20%20%20%20%20%20%20print(f%22DEBUG%3A%20notebook%20url%20(full)%3A%20%7Burl%7D%22)%0A%0A%20%20%20%20%20%20%20%20url_parsed%20%3D%20urlparse(url)%0A%20%20%20%20%20%20%20%20scheme%20%3D%20url_parsed.scheme%0A%20%20%20%20%20%20%20%20netloc%20%3D%20url_parsed.netloc%0A%0A%20%20%20%20%20%20%20%20print(f%22DEBUG%3A%20notebook%20url%20(parsed)%3A%20%7Burl_parsed%7D%22)%0A%0A%20%20%20%20%20%20%20%20url%20%3D%20re.sub(%0A%20%20%20%20%20%20%20%20%20%20%20%20%22(%5B%5E%2F%5D)%2F(%5Ba-f0-9-%5D%2B-%5Ba-f0-9-%5D%2B-%5Ba-f0-9-%5D%2B-%5Ba-f0-9-%5D%2B)%22%2C%20%22%5C%5C1%2F%22%2C%20url%2C%20count%3D1%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20buildnumber%20%3D%20re.sub(%22.*--(%5B0-9%2B%5D%2B).*%22%2C%20%22%5C%5C1%22%2C%20url%2C%20count%3D1)%0A%0A%20%20%20%20%20%20%20%20new_url%20%3D%20scheme%20%2B%20%22%3A%2F%2F%22%20%2B%20netloc%0A%0A%20%20%20%20%20%20%20%20if%20buildnumber%20!%3D%20url%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20new_url%20%3D%20new_url%20%2B%20%22%2F%22%20%2B%20buildnumber%20%2B%20%22%2F%22%0A%0A%20%20%20%20%20%20%20%20print(f%22DEBUG%3A%20notebook%20url%20(trimmed)%3A%20%7Bnew_url%7D%22)%0A%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22xdsl%20%40%20%22%20%2B%20new_url%20%2B%20%22%2Fxdsl-0.0.0-py3-none-any.whl%22)%0A%0A%20%20%20%20await%20import_xdsl()%0A%20%20%20%20from%20xdsl.utils%20import%20marimo%20as%20xmo%0A%0A%20%20%20%20return%20(xmo%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20from%20xdsl.context%20import%20Context%0A%20%20%20%20from%20xdsl.dialects%20import%20builtin%2C%20arith%2C%20func%2C%20scf%0A%20%20%20%20from%20xdsl.printer%20import%20Printer%0A%20%20%20%20from%20typing%20import%20Any%0A%0A%20%20%20%20return%20Any%2C%20Context%2C%20Printer%2C%20arith%2C%20builtin%2C%20func%2C%20scf%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20MLIR%20IR%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Textual%20Format%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20triangle_text)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20MLIR%20and%20xDSL%20use%20a%20textual%20encoding%20of%20the%20IR%20for%20debugging%2C%20testing%2C%20and%20storing%20intermediate%20representations%20of%20programs.%0A%20%20%20%20It%20can%20be%20very%20useful%20to%20take%20a%20program%20at%20some%20stage%20of%20compilation%2C%20and%20inspect%20it.%0A%20%20%20%20The%20textual%20format%20makes%20this%20easy%20to%20do.%0A%20%20%20%20Let's%20look%20at%20a%20representation%20of%20a%20function%20that%20sums%20the%20first%20%60n%60%20integers%3A%0A%0A%20%20%20%20%7Bmo.ui.code_editor(triangle_text%2C%20language%3D%22javascript%22%2C%20disabled%3DTrue)%7D%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20This%20notebook%20explains%20all%20the%20components%20of%20the%20above%20snippet%20of%20code.%20The%20sections%20below%20are%20structured%20by%20_dialect_%2C%20which%20represents%20a%20namespace%20for%20related%20abstractions%20and%20constructs.%20More%20specifically%2C%20we%20look%20into%20the%0A%20%20%20%20func%2C%20arith%20and%20scf%20dialects%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20The%20%60func%60%20Dialect%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20swap_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40swap(%25a%3A%20i32%2C%20%25b%3A%20i32)%20-%3E%20(i32%2C%20i32)%20%7B%0A%20%20%20%20%20%20func.return%20%25b%2C%20%25a%20%3A%20i32%2C%20i32%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(swap_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20swap_text%2C%20xmo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20The%20%5Bfunc%20dialect%5D(https%3A%2F%2Fmlir.llvm.org%2Fdocs%2FDialects%2FFunc%2F)%20contains%20building%20blocks%20to%20model%20function%20definitions%20and%20calls.%0A%0A%20%20%20%20%7Bxmo.module_html(swap_text)%7D%0A%0A%20%20%20%20The%20above%20function%20takes%20two%2032-bit%20integers%2C%20and%20returns%20them%20in%20the%20opposite%20order.%0A%20%20%20%20In%20this%20snippet%2C%20there%20are%20two%20operations%2C%20%60func.func%60%20for%20function%20definition%20and%20%60func.return%60%20to%20specify%20the%20returned%20values.%20All%20operations%20in%20MLIR%20are%20prefixed%20with%20their%20dialect%20name.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20Exercise%201%3A%20Your%20First%20Function%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20first_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40first(%25arg0%3A%20i32%2C%20%25arg1%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%20%20%2F%2F%20Change%20this%20to%20return%20the%20second%20argument%20instead%0A%20%20%20%20%20%20%20%20func.return%20%25arg0%20%3A%20i32%0A%20%20%20%20%7D%5C%0A%20%20%20%20%22%22%22%0A%20%20%20%20return%20(first_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(first_text%2C%20mo)%3A%0A%20%20%20%20first_text_area%20%3D%20mo.ui.code_editor(first_text%2C%20language%3D%22javascript%22)%0A%20%20%20%20return%20(first_text_area%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(exercise_text%2C%20first_text_area%2C%20mo)%3A%0A%20%20%20%20_first_info_text%20%3D%20exercise_text(%0A%20%20%20%20%20%20%20%20first_text_area.value%2C%0A%20%20%20%20%20%20%20%20%22first%22%2C%0A%20%20%20%20%20%20%20%20((1%2C%202)%2C%20(3%2C%204))%2C%0A%20%20%20%20%20%20%20%20(%22first(1%2C%202)%20%3D%20%22%2C%20%22first(3%2C%204)%20%3D%20%22)%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack((first_text_area%2C%20mo.md(_first_info_text)))%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20xmo)%3A%0A%20%20%20%20second_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40first(%25arg0%3A%20i32%2C%20%25arg1%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%20%20func.return%20%25arg1%20%3A%20i32%0A%20%20%20%20%7D%5C%0A%20%20%20%20%22%22%22%0A%0A%20%20%20%20mo.accordion(%7B%22Solution%22%3A%20xmo.module_html(second_text)%7D)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20The%20%60arith%60%20Dialect%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20add_one_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40add_one(%25n%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%25one%20%3D%20arith.constant%201%20%3A%20i32%0A%20%20%20%20%20%20%25n_plus_one%20%3D%20arith.addi%20%25n%2C%20%25one%20%3A%20i32%0A%20%20%20%20%20%20func.return%20%25n_plus_one%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(add_one_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(add_one_text%2C%20mo%2C%20xmo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20The%20%5Barith%20dialect%5D(https%3A%2F%2Fmlir.llvm.org%2Fdocs%2FDialects%2FArithOps%2F)%20contains%20arithmetic%20operations%20on%20integers%2C%20floating-point%20values%2C%20and%20other%20numeric%20constructs.%20To%20start%20with%2C%20here%20is%20a%20function%20that%20adds%20one%20to%20its%20only%20argument%3A%0A%0A%20%20%20%20%7Bxmo.module_html(add_one_text)%7D%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20The%20%60i%60%20in%20%60arith.addi%60%20above%20stands%20for%20integer.%20Some%20of%20the%20operations%2C%20like%20for%20addition%20(%60addi%60%2F%60addf%60)%2C%20subtraction%20(%60subi%60%2F%60subf%60)%2C%20multiplication%20(%60muli%60%2F%60mulf%60)%2C%20and%20others%20have%20both%20integer%20and%20floating%20point%20variants.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20less_than_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40less_than(%25a%3A%20i32%2C%20%25b%3A%20i32)%20-%3E%20i1%20%7B%0A%20%20%20%20%20%20%25slt%20%3D%20arith.cmpi%20slt%2C%20%25lhs%2C%20%25rhs%20%3A%20i32%0A%20%20%20%20%20%20func.return%20%25slt%20%3A%20i1%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(less_than_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(less_than_text%2C%20mo%2C%20xmo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20The%20%60arith%60%20dialect%20also%20contains%20operations%20for%20comparisons.%20The%20function%20below%20returns%20the%20value%20%60true%60%20if%20a%20is%20less%20than%20b%20when%20the%2032-bit%20values%20passed%20in%20are%20interpreted%20as%20signed%20integers.%20Note%20that%20the%20signedness%20is%20communicated%20by%20the%20operation%20itself%2C%20not%20the%20types%20of%20the%20operands%3A%0A%0A%20%20%20%20%7Bxmo.module_html(less_than_text)%7D%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20MLIR%20IR%20is%20in%20%5BSSA%20form%5D(https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FStatic_single-assignment_form)%2C%20meaning%20that%20each%20value%20can%20only%20be%20assigned%20to%20_once_.%20This%20property%20helps%20reason%20about%20the%20possible%20runtime%20data%20these%20values%20can%20hold%2C%20such%20as%20whether%20they%20are%20constant%2C%20like%20the%20SSA%20value%20%60%25one%60%20in%20the%20snippet%20above.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20Exercise%202%3A%20Multiply%20and%20Add%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20fma_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40multiply_and_add(%25a%3A%20i32%2C%20%25b%3A%20i32%2C%20%25c%3A%20i32)%20-%3E%20(i32)%20%7B%0A%20%20%20%20%20%20%2F%2F%20Change%20this%20to%20return%20a%20*%20b%20%2B%20c%20instead%0A%20%20%20%20%20%20func.return%20%25a%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(fma_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(fma_text%2C%20mo)%3A%0A%20%20%20%20fma_text_area%20%3D%20mo.ui.code_editor(fma_text%2C%20language%3D%22javascript%22)%0A%20%20%20%20return%20(fma_text_area%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(exercise_text%2C%20fma_text_area%2C%20mo)%3A%0A%20%20%20%20_fma_info_text%20%3D%20exercise_text(%0A%20%20%20%20%20%20%20%20fma_text_area.value%2C%0A%20%20%20%20%20%20%20%20%22multiply_and_add%22%2C%0A%20%20%20%20%20%20%20%20((1%2C%202%2C%203)%2C%20(4%2C%205%2C%206))%2C%0A%20%20%20%20%20%20%20%20(%22first(1%2C%202%2C%203)%20%3D%20%22%2C%20%22first(4%2C%205%2C%206)%20%3D%20%22)%2C%0A%20%20%20%20)%0A%20%20%20%20mo.vstack((fma_text_area%2C%20mo.md(_fma_info_text)))%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20xmo)%3A%0A%20%20%20%20fma_impl%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40multiply_and_add(%25a%3A%20i32%2C%20%25b%3A%20i32%2C%20%25c%3A%20i32)%20-%3E%20(i32)%20%7B%0A%20%20%20%20%20%20%25ab%20%3D%20arith.muli%20%25a%2C%20%25b%20%3A%20i32%0A%20%20%20%20%20%20%25res%20%3D%20arith.addi%20%25ab%2C%20%25c%20%3A%20i32%0A%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%0A%20%20%20%20mo.accordion(%7B%22Solution%22%3A%20xmo.module_html(fma_impl)%7D)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20The%20%60scf%60%20Dialect%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20The%20%5B%60scf%60%20dialect%5D(https%3A%2F%2Fmlir.llvm.org%2Fdocs%2FDialects%2FSCFDialect%2F)%20contains%20operations%20for%20structured%20control%20flow.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20%60scf.if%60%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20select_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40select(%25cond%3A%20i32%2C%20%25a%3A%20i32%2C%20%25b%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%25res%20%3D%20scf.if%20%25cond%20-%3E%20(i32)%20%7B%0A%20%20%20%20%20%20%20%20scf.yield%20%25a%20%3A%20i32%0A%20%20%20%20%20%20%7D%20else%20%7B%0A%20%20%20%20%20%20%20%20scf.yield%20%25b%20%3A%20i32%0A%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(select_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20select_text%2C%20xmo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20Here%20is%20a%20function%20that%20returns%20the%20second%20argument%20if%20the%20first%20argument%20is%20%60true%60%2C%20and%20the%20third%20argument%20otherwise%3A%0A%0A%20%20%20%20%7Bxmo.module_html(select_text)%7D%0A%0A%20%20%20%20Note%20that%20we%20did%20not%20put%20early%20returns%20in%20the%20branches%20of%20the%20%60scf.if%60%20operation.%0A%20%20%20%20This%20is%20due%20to%20MLIR's%20SSA%20blocks%20adhering%20to%20a%20specific%20contract%3A%20operations%20within%20a%20block%20are%20executed%20sequentially%20from%20top%20to%20bottom%2C%20and%20each%20operation%20is%20guaranteed%20to%20complete%20and%20yield%20control%20back%20to%20the%20outer%20block.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20Exercise%203%3A%20Abs%20Function%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(abs_function_text%2C%20mo)%3A%0A%20%20%20%20abs_input_text%20%3D%20mo.ui.text(%22-5%22)%0A%20%20%20%20abs_text_area%20%3D%20mo.ui.code_editor(abs_function_text%2C%20language%3D%22javascript%22)%0A%20%20%20%20return%20abs_input_text%2C%20abs_text_area%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20abs_function_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40abs(%25a%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%20%20%25false%20%3D%20arith.constant%200%20%3A%20i1%0A%20%20%20%20%20%20%20%20%25res%20%3D%20scf.if%20%25false%20-%3E%20(i32)%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20scf.yield%20%25a%20%3A%20i32%0A%20%20%20%20%20%20%20%20%7D%20else%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20scf.yield%20%25a%20%3A%20i32%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%20%20%20%20return%20(abs_function_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Parser%2C%20abs_input_text%2C%20abs_text_area%2C%20ctx%2C%20run_func)%3A%0A%20%20%20%20abs_error_text%20%3D%20%22%22%0A%20%20%20%20abs_results_text%20%3D%20%22%22%0A%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20abs_input%20%3D%20int(abs_input_text.value)%0A%20%20%20%20%20%20%20%20abs_inputs%20%3D%20(abs_input%2C)%0A%20%20%20%20%20%20%20%20abs_module%20%3D%20Parser(ctx%2C%20abs_text_area.value).parse_module()%0A%20%20%20%20%20%20%20%20abs_results%20%3D%20run_func(abs_module%2C%20%22abs%22%2C%20abs_inputs)%0A%20%20%20%20%20%20%20%20abs_results_text%20%3D%20f%22abs(%7Babs_input%7D)%20%3D%20%7Babs_results%7D%22%0A%20%20%20%20except%20Exception%20as%20e%3A%0A%20%20%20%20%20%20%20%20abs_error_text%20%3D%20str(e)%0A%0A%20%20%20%20if%20abs_error_text%3A%0A%20%20%20%20%20%20%20%20abs_info_text%20%3D%20f%22%22%22%0A%20%20%20%20%20%20%20%20Error%3A%0A%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%7Babs_error_text%7D%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20abs_info_text%20%3D%20f%22%22%22%5C%0A%20%20%20%20%20%20%20%20Change%20the%20definition%20of%20%60abs%60%20to%20compute%20the%20absolute%20value%20of%20the%20input.%0A%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%7Babs_results_text%7D%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20return%20(abs_info_text%2C)%0A%0A%0A%40app.cell%0Adef%20_(abs_info_text%2C%20abs_input_text%2C%20abs_text_area%2C%20mo)%3A%0A%20%20%20%20mo.vstack(%0A%20%20%20%20%20%20%20%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(f%22%22%22Input%3A%20%7Babs_input_text%7D%20%7Bmo.ui.button(label%3D%22run%22)%7D%22%22%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20abs_text_area%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(abs_info_text)%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20xmo)%3A%0A%20%20%20%20abs_impl%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40abs(%25a%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%20%20%25zero%20%3D%20arith.constant%200%20%3A%20i32%0A%20%20%20%20%20%20%20%20%25slt%20%3D%20arith.cmpi%20slt%2C%20%25a%2C%20%25zero%20%3A%20i32%0A%20%20%20%20%20%20%20%20%25res%20%3D%20scf.if%20%25slt%20-%3E%20(i32)%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%25r%20%3D%20arith.subi%20%25zero%2C%20%25a%20%3A%20i32%0A%20%20%20%20%20%20%20%20%20%20%20%20scf.yield%20%25r%20%3A%20i32%0A%20%20%20%20%20%20%20%20%7D%20else%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20scf.yield%20%25a%20%3A%20i32%0A%20%20%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%0A%20%20%20%20mo.accordion(%7B%22Solution%22%3A%20xmo.module_html(abs_impl)%7D)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20%60scf.for%60%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20triangle_text%2C%20xmo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20The%20%60scf%60%20dialect%20also%20contains%20abstractions%20to%20represent%20for%20loops.%20For%20example%2C%0A%20%20%20%20to%20caclulate%20the%20%5Btriangular%20number%5D(https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FTriangular_number)%201%20%2B%202%20%2B%203%20%2B%20...%20%2B%20n%3A%0A%0A%20%20%20%20%7Bxmo.module_html(triangle_text)%7D%0A%0A%20%20%20%20Due%20to%20the%20SSA%20contract%2C%20we%20cannot%20accumulate%20by%20updating%20a%20value.%0A%20%20%20%20Instead%2C%20the%20loop%20body%20takes%20some%20number%20of%20immutable%20values%20and%20yields%20the%20same%20number%20of%20values%20to%20use%20for%20the%20next%20loop.%0A%20%20%20%20When%20all%20iterations%20are%20complete%2C%20these%20values%20are%20returned%20by%20the%20operation.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20Exercise%204%3A%20Factorial%20Function%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20triangle_text)%3A%0A%20%20%20%20second_input_text%20%3D%20mo.ui.text(%225%22)%0A%20%20%20%20second_text_area%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20triangle_text.replace(%22triangle%22%2C%20%22factorial%22)%2C%20language%3D%22javascript%22%0A%20%20%20%20)%0A%20%20%20%20return%20second_input_text%2C%20second_text_area%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Parser%2C%20ctx%2C%20run_func%2C%20second_input_text%2C%20second_text_area)%3A%0A%20%20%20%20second_error_text%20%3D%20%22%22%0A%20%20%20%20second_results_text%20%3D%20%22%22%0A%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20second_input%20%3D%20int(second_input_text.value)%0A%20%20%20%20%20%20%20%20second_inputs%20%3D%20(second_input%2C)%0A%20%20%20%20%20%20%20%20second_module%20%3D%20Parser(ctx%2C%20second_text_area.value).parse_module()%0A%20%20%20%20%20%20%20%20second_results%20%3D%20run_func(second_module%2C%20%22factorial%22%2C%20second_inputs)%0A%20%20%20%20%20%20%20%20second_results_text%20%3D%20f%22factorial(%7Bsecond_input%7D)%20%3D%20%7Bsecond_results%7D%22%0A%20%20%20%20except%20Exception%20as%20e%3A%0A%20%20%20%20%20%20%20%20second_error_text%20%3D%20str(e)%0A%0A%20%20%20%20if%20second_error_text%3A%0A%20%20%20%20%20%20%20%20second_info_text%20%3D%20f%22%22%22%0A%20%20%20%20%20%20%20%20Error%3A%0A%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%7Bsecond_error_text%7D%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20second_info_text%20%3D%20f%22%22%22%5C%0A%20%20%20%20%20%20%20%20Change%20the%20definition%20of%20%60factorial%60%20to%20compute%20the%20factorial%20of%20the%20input%2C%20instead%20of%20the%20triangle.%0A%20%20%20%20%20%20%20%20Assume%20that%20the%20input%20is%20non-negative.%0A%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%7Bsecond_results_text%7D%0A%20%20%20%20%20%20%20%20%60%60%60%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20return%20(second_info_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20second_info_text%2C%20second_input_text%2C%20second_text_area)%3A%0A%20%20%20%20mo.vstack(%0A%20%20%20%20%20%20%20%20(%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(f%22%22%22Input%3A%20%7Bsecond_input_text%7D%20%7Bmo.ui.button(label%3D%22run%22)%7D%22%22%22)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20second_text_area%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.md(second_info_text)%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20xmo)%3A%0A%20%20%20%20fact_impl%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40factorial(%25n%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%25zero%20%3D%20arith.constant%200%20%3A%20i32%0A%20%20%20%20%20%20%25one%20%3D%20arith.constant%201%20%3A%20i32%0A%20%20%20%20%20%20%25n_plus_one%20%3D%20arith.addi%20%25n%2C%20%25one%20%3A%20i32%0A%20%20%20%20%20%20%25res%20%3D%20scf.for%20%25i%20%3D%20%25one%20to%20%25n_plus_one%20step%20%25one%20iter_args(%25acc_in%20%3D%20%25one)%20-%3E%20(i32)%20%3A%20i32%20%7B%0A%20%20%20%20%20%20%20%20%25acc_out%20%3D%20arith.muli%20%25acc_in%2C%20%25i%20%3A%20i32%0A%20%20%20%20%20%20%20%20scf.yield%20%25acc_out%20%3A%20i32%0A%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%22%22%22%0A%0A%20%20%20%20mo.accordion(%7B%22Solution%22%3A%20xmo.module_html(fact_impl)%7D)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20The%20%60triangle%60%20revisited%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20triangle_text)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20This%20notebook%20contains%20a%20very%20light%20overview%20of%20the%20most%20commonly%20used%20dialects%20and%20operations%20in%20MLIR%20and%20xDSL%2C%20as%20well%20as%20the%20key%20concepts%20of%20SSA%20and%20structured%20control%20flow%20(scf).%0A%0A%20%20%20%20%7Bmo.ui.code_editor(triangle_text%2C%20language%3D%22javascript%22%2C%20disabled%3DTrue)%7D%0A%0A%20%20%20%20The%20sections%20below%20are%20a%20deeper%20dive%20into%20some%20of%20the%20structures%20that%20were%20implicit%20in%20the%20IR%20snippets%20we%20looked%20at%20so%20far%2C%20reusing%20the%20%60triangle%60%20function%20from%20earlier.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20The%20%60builtin%60%20Dialect%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20The%20%5B%60builtin%60%20dialect%5D(https%3A%2F%2Fmlir.llvm.org%2Fdocs%2FDialects%2FBuiltin%2F)%20contains%20the%20most%20commonly-used%20operation%20in%20MLIR%20and%20xDSL%3A%20the%20%60builtin.module%60%20operation.%0A%0A%20%20%20%20A%20module%20is%20a%20unit%20of%20code%20which%20holds%20a%20single%20region.%0A%20%20%20%20The%20smallest%20possible%20piece%20of%20code%20in%20MLIR%20IR%20is%20an%20empty%20module%3A%0A%0A%20%20%20%20%60%60%60%0A%20%20%20%20builtin.module%20%7B%0A%20%20%20%20%7D%0A%20%20%20%20%60%60%60%0A%0A%20%20%20%20When%20the%20first%20operation%20in%20a%20file%20is%20not%20a%20%60builtin.module%60%2C%20it%20is%20implicitly%20assumed%20and%20can%20be%20omitted%2C%20as%20is%20the%20case%20for%20all%20the%20snippets%20above.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Attributes%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(builtin%2C%20mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20rf%22%22%22%0A%20%20%20%20Attributes%20hold%20compile-time%20data%2C%20such%20as%20constants%2C%20types%2C%20and%20other%20information.%0A%0A%20%20%20%20The%20IR%20for%20the%20%60triangle%60%20snippet%20contains%20four%20attributes%3A%20%60%40triangle%60%2C%20%600%60%2C%20%601%60%20and%20%60i32%60.%0A%20%20%20%20The%20%60i32%60%20attribute%20is%20the%20type%20of%20integer%20values%20that%20fit%20in%20a%20register%20on%20the%20target%20platform.%0A%20%20%20%20As%20the%20IR%20presented%20here%20is%20independent%20of%20the%20machine%20on%20which%20it%20will%20be%20executed%20on%2C%20we%20do%20not%20yet%20specify%20the%20bitwidth%20of%20the%20integer.%0A%20%20%20%20In%20MLIR%2C%20the%20common%20way%20to%20represent%20integers%20of%2016%2C%2032%2C%2064%2C%20or%20other%20bitwidths%20is%2C%20respectively%2C%20with%20the%20types%20of%20%60i16%60%2C%20%60i32%60%2C%20%60i64%60%2C%20etc.%0A%20%20%20%20The%20%60%40triangle%60%20attribute%20is%20a%20symbol%20name%2C%20denoting%20the%20name%20of%20the%20function.%0A%0A%20%20%20%20There%20are%20many%20other%20attributes%2C%20and%20a%20lot%20of%20them%20are%20part%20of%20the%20%60builtin%60%20dialect.%0A%20%20%20%20We%20will%20look%20into%20defining%20those%20in%20a%20later%20notebook%2C%20and%20will%20only%20be%20using%20attributes%20from%20the%20%60builtin%60%20dialect%20here.%0A%0A%20%20%20%20One%20important%20attribute%20is%20the%20dictionary%20attribute%2C%20which%20looks%20like%20this%3A%0A%0A%20%20%20%20%60%60%60%0A%20%20%20%20%7Bbuiltin.DictionaryAttr(%7B%0A%20%20%20%20%20%20%20%20%22some_string%22%3A%20builtin.StringAttr(%22my_string%22)%2C%0A%20%20%20%20%20%20%20%20%22some_int%22%3A%20builtin.IntegerAttr(42%2C%20builtin.i32)%2C%0A%20%20%20%20%20%20%20%20%22some_float%22%3A%20builtin.FloatAttr(3.1415%2C%20builtin.f32)%2C%0A%20%20%20%20%20%20%20%20%22a_unit_attr%22%3A%20builtin.UnitAttr()%0A%20%20%20%20%7D)%7D%0A%20%20%20%20%60%60%60%0A%0A%20%20%20%20The%20last%20entry%20denotes%20a%20key-value%20pair%20(i.e.%2C%20%60a_unit_attr%3A%20unit%60)%20where%20the%20omitted%20value%20is%20the%20%60unit%60%20attribute.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Generic%20Format%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20All%20the%20snippets%20presented%20so%20far%20are%20in%20IRs%20that%20follow%20the%20_custom%20format_%2C%20a%20format%20that%20allows%20operations%20to%20specify%20a%20pretty%20and%20concise%20representation.%0A%20%20%20%20On%20the%20other%20hand%2C%20the%20_generic%20format_%20is%20a%20more%20uniform%20and%20verbose%20representation%20that%20unambiguously%20shows%20the%20structure%20of%20an%20operation.%0A%20%20%20%20Here%20is%20the%20above%20%60triangle%60%20function%20in%20generic%20format%3A%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Parser%2C%20Printer%2C%20StringIO%2C%20ctx%2C%20mo%2C%20triangle_text)%3A%0A%20%20%20%20_triangle_module%20%3D%20Parser(ctx%2C%20triangle_text).parse_module()%0A%20%20%20%20_file%20%3D%20StringIO()%0A%20%20%20%20Printer(print_generic_format%3DTrue%2C%20stream%3D_file).print_op(_triangle_module)%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20f%22%22%22%0A%20%20%20%20%60%60%60%0A%20%20%20%20%7B_file.getvalue()%7D%0A%20%20%20%20%60%60%60%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20In%20the%20next%20notebooks%2C%20we%20will%20take%20a%20deeper%20dive%20into%20the%20APIs%20used%20to%20process%20and%20construct%20MLIR%20IR.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Printer%2C%20StringIO%2C%20builtin)%3A%0A%20%20%20%20def%20print_generic(module%3A%20builtin.ModuleOp)%20-%3E%20str%3A%0A%20%20%20%20%20%20%20%20io%20%3D%20StringIO()%0A%20%20%20%20%20%20%20%20Printer(io%2C%20print_generic_format%3DTrue).print(module)%0A%20%20%20%20%20%20%20%20return%20io.getvalue()%0A%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Context%2C%20arith%2C%20builtin%2C%20func%2C%20scf)%3A%0A%20%20%20%20ctx%20%3D%20Context()%0A%20%20%20%20ctx.load_dialect(builtin.Builtin)%0A%20%20%20%20ctx.load_dialect(func.Func)%0A%20%20%20%20ctx.load_dialect(scf.Scf)%0A%20%20%20%20ctx.load_dialect(arith.Arith)%0A%20%20%20%20return%20(ctx%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20triangle_text%20%3D%20%22%22%22%5C%0A%20%20%20%20func.func%20%40triangle(%25n%3A%20i32)%20-%3E%20i32%20%7B%0A%20%20%20%20%20%20%25zero%20%3D%20arith.constant%200%20%3A%20i32%0A%20%20%20%20%20%20%25one%20%3D%20arith.constant%201%20%3A%20i32%0A%20%20%20%20%20%20%25n_plus_one%20%3D%20arith.addi%20%25n%2C%20%25one%20%3A%20i32%0A%20%20%20%20%20%20%25res%20%3D%20scf.for%20%25i%20%3D%20%25one%20to%20%25n_plus_one%20step%20%25one%20iter_args(%25acc_in%20%3D%20%25zero)%20-%3E%20(i32)%20%3A%20i32%20%7B%0A%20%20%20%20%20%20%20%20%25acc_out%20%3D%20arith.addi%20%25acc_in%2C%20%25i%20%3A%20i32%0A%20%20%20%20%20%20%20%20scf.yield%20%25acc_out%20%3A%20i32%0A%20%20%20%20%20%20%7D%0A%20%20%20%20%20%20func.return%20%25res%20%3A%20i32%0A%20%20%20%20%7D%5C%0A%20%20%20%20%22%22%22%0A%20%20%20%20return%20(triangle_text%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(ctx%2C%20triangle_text)%3A%0A%20%20%20%20%23%20parse%20triangle%20module%20to%20make%20sure%20it's%20valid%20IR%0A%0A%20%20%20%20from%20io%20import%20StringIO%0A%0A%20%20%20%20from%20xdsl.parser%20import%20Parser%2C%20Input%0A%0A%20%20%20%20triangle_module%20%3D%20Parser(ctx%2C%20triangle_text%2C%20%22%22).parse_module()%0A%20%20%20%20%23%20triangle_module%0A%20%20%20%20return%20Parser%2C%20StringIO%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Any%2C%20builtin)%3A%0A%20%20%20%20def%20run_func(module%3A%20builtin.ModuleOp%2C%20name%3A%20str%2C%20args%3A%20tuple%5BAny%2C%20...%5D)%3A%0A%20%20%20%20%20%20%20%20from%20xdsl.interpreter%20import%20Interpreter%0A%20%20%20%20%20%20%20%20from%20xdsl.interpreters%20import%20scf%2C%20arith%2C%20func%0A%0A%20%20%20%20%20%20%20%20interpreter%20%3D%20Interpreter(module)%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(scf.ScfFunctions)%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(arith.ArithFunctions)%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(func.FuncFunctions)%0A%0A%20%20%20%20%20%20%20%20res%20%3D%20interpreter.call_op(name%2C%20args)%0A%0A%20%20%20%20%20%20%20%20if%20len(res)%20%3D%3D%201%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20res%20%3D%20res%5B0%5D%0A%0A%20%20%20%20%20%20%20%20return%20res%0A%0A%20%20%20%20return%20(run_func%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(Any%2C%20Parser%2C%20ctx%2C%20run_func)%3A%0A%20%20%20%20def%20exercise_text(%0A%20%20%20%20%20%20%20%20module_text%3A%20str%2C%0A%20%20%20%20%20%20%20%20function_name%3A%20str%2C%0A%20%20%20%20%20%20%20%20inputs%3A%20tuple%5BAny%2C%20...%5D%2C%0A%20%20%20%20%20%20%20%20formats%3A%20tuple%5Bstr%2C%20...%5D%2C%0A%20%20%20%20)%20-%3E%20str%3A%0A%20%20%20%20%20%20%20%20error_text%20%3D%20%22%22%0A%20%20%20%20%20%20%20%20results_text%20%3D%20%22%22%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20module%20%3D%20Parser(ctx%2C%20module_text).parse_module()%0A%20%20%20%20%20%20%20%20%20%20%20%20results_text%20%3D%20%22%5Cn%22.join(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20format%20%2B%20str(run_func(module%2C%20function_name%2C%20input))%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20for%20format%2C%20input%20in%20zip(formats%2C%20inputs%2C%20strict%3DTrue)%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20except%20Exception%20as%20e%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20error_text%20%3D%20str(e)%0A%20%20%20%20%20%20%20%20if%20error_text%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20info_text%20%3D%20f%22%22%22%0A%20%20%20%20Error%3A%0A%0A%20%20%20%20%60%60%60%0A%20%20%20%20%7Berror_text%7D%0A%20%20%20%20%60%60%60%0A%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20else%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20info_text%20%3D%20f%22%22%22%0A%20%20%20%20Here%20are%20the%20outputs%20when%20running%20the%20function%3A%0A%0A%20%20%20%20%60%60%60%0A%20%20%20%20%7Bresults_text%7D%0A%20%20%20%20%60%60%60%0A%20%20%20%20%22%22%22%0A%20%20%20%20%20%20%20%20return%20info_text%0A%0A%20%20%20%20return%20(exercise_text%2C)%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A