/tmp/seal5_llvm_gen/.seal5/build/release_assertions/bin/clang -S -o out.S cecil_test.c --target=riscv32 -march=rv32im -O3 -mllvm -global-isel=1 -Xclang -target-feature -Xclang +xseal5testalucvabs16 -Xclang -target-feature -Xclang +xseal5testalucvabs32 -Xclang -target-feature -Xclang +xseal5testalucvabs8 -Xclang -target-feature -Xclang +xseal5testalucvaddnrsi16 -Xclang -target-feature -Xclang +xseal5testalucvaddnrsi32 -Xclang -target-feature -Xclang +xseal5testalucvaddnrui16 -Xclang -target-feature -Xclang +xseal5testalucvaddnrui32 -Xclang -target-feature -Xclang +xseal5testalucvaddns -Xclang -target-feature -Xclang +xseal5testalucvaddnu -Xclang -target-feature -Xclang +xseal5testalucvaddrnrsi16 -Xclang -target-feature -Xclang +xseal5testalucvaddrnrsi32 -Xclang -target-feature -Xclang +xseal5testalucvaddrnrui16 -Xclang -target-feature -Xclang +xseal5testalucvaddrnrui32 -Xclang -target-feature -Xclang +xseal5testalucvaddrns -Xclang -target-feature -Xclang +xseal5testalucvaddrnu -Xclang -target-feature -Xclang +xseal5testalucvextbs -Xclang -target-feature -Xclang +xseal5testalucvextbz -Xclang -target-feature -Xclang +xseal5testalucvexths -Xclang -target-feature -Xclang +xseal5testalucvexthz -Xclang -target-feature -Xclang +xseal5testalucvmaxi1216 -Xclang -target-feature -Xclang +xseal5testalucvmaxi1232 -Xclang -target-feature -Xclang +xseal5testalucvmaxi516 -Xclang -target-feature -Xclang +xseal5testalucvmaxi532 -Xclang -target-feature -Xclang +xseal5testalucvmaxs16 -Xclang -target-feature -Xclang +xseal5testalucvmaxs32 -Xclang -target-feature -Xclang +xseal5testalucvmaxs8 -Xclang -target-feature -Xclang +xseal5testalucvmaxu16 -Xclang -target-feature -Xclang +xseal5testalucvmaxu32 -Xclang -target-feature -Xclang +xseal5testalucvmaxu8 -Xclang -target-feature -Xclang +xseal5testalucvmini1216 -Xclang -target-feature -Xclang +xseal5testalucvmini1232 -Xclang -target-feature -Xclang +xseal5testalucvmini516 -Xclang -target-feature -Xclang +xseal5testalucvmini532 -Xclang -target-feature -Xclang +xseal5testalucvmins16 -Xclang -target-feature -Xclang +xseal5testalucvmins32 -Xclang -target-feature -Xclang +xseal5testalucvmins8 -Xclang -target-feature -Xclang +xseal5testalucvminu16 -Xclang -target-feature -Xclang +xseal5testalucvminu32 -Xclang -target-feature -Xclang +xseal5testalucvminu8 -Xclang -target-feature -Xclang +xseal5testalucvsletsi16 -Xclang -target-feature -Xclang +xseal5testalucvsletsi32 -Xclang -target-feature -Xclang +xseal5testalucvsletui16 -Xclang -target-feature -Xclang +xseal5testalucvsletui32 -Xclang -target-feature -Xclang +xseal5testalucvsubnrsi16 -Xclang -target-feature -Xclang +xseal5testalucvsubnrsi32 -Xclang -target-feature -Xclang +xseal5testalucvsubnrui16 -Xclang -target-feature -Xclang +xseal5testalucvsubnrui32 -Xclang -target-feature -Xclang +xseal5testalucvsubns -Xclang -target-feature -Xclang +xseal5testalucvsubnu -Xclang -target-feature -Xclang +xseal5testalucvsubrnrsi16 -Xclang -target-feature -Xclang +xseal5testalucvsubrnrsi32 -Xclang -target-feature -Xclang +xseal5testalucvsubrnrui16 -Xclang -target-feature -Xclang +xseal5testalucvsubrnrui32 -Xclang -target-feature -Xclang +xseal5testalucvsubrns -Xclang -target-feature -Xclang +xseal5testalucvsubrnu -Xclang -target-feature -Xclang +xseal5testmaccvmachhns -Xclang -target-feature -Xclang +xseal5testmaccvmachhnu -Xclang -target-feature -Xclang +xseal5testmaccvmachhrns -Xclang -target-feature -Xclang +xseal5testmaccvmachhrnu -Xclang -target-feature -Xclang +xseal5testmaccvmacns -Xclang -target-feature -Xclang +xseal5testmaccvmacnu -Xclang -target-feature -Xclang +xseal5testmaccvmacrns -Xclang -target-feature -Xclang +xseal5testmaccvmacrnu -Xclang -target-feature -Xclang +xseal5testmaccvmacsi16 -Xclang -target-feature -Xclang +xseal5testmaccvmacsi32 -Xclang -target-feature -Xclang +xseal5testmaccvmacui16 -Xclang -target-feature -Xclang +xseal5testmaccvmacui32 -Xclang -target-feature -Xclang +xseal5testmaccvmsusi16 -Xclang -target-feature -Xclang +xseal5testmaccvmsusi32 -Xclang -target-feature -Xclang +xseal5testmaccvmsuui16 -Xclang -target-feature -Xclang +xseal5testmaccvmsuui32 -Xclang -target-feature -Xclang +xseal5testmaccvmulhhns -Xclang -target-feature -Xclang +xseal5testmaccvmulhhnu -Xclang -target-feature -Xclang +xseal5testmaccvmulhhrns -Xclang -target-feature -Xclang +xseal5testmaccvmulhhrnu -Xclang -target-feature -Xclang +xseal5testmaccvmulns -Xclang -target-feature -Xclang +xseal5testmaccvmulnu -Xclang -target-feature -Xclang +xseal5testmaccvmulrns -Xclang -target-feature -Xclang +xseal5testmaccvmulrnu -mllvm -debug -mllvm -print-after-all -mllvm -print-before-all 2> err.txt
