lifting-bits / rellic

Rellic produces goto-free C output from LLVM bitcode
Apache License 2.0
537 stars 43 forks source link

Empty commit to fix CI #292

Closed frabert closed 2 years ago

frabert commented 2 years ago

Plan is to merge this PR, then force-push the tag v0.2.2 to point to this commit to override the irene2-final tag that is breaking CI, then rebase the borked branches

github-actions[bot] commented 2 years ago

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/2890148777

### fizzbuzz.bc ```diff --- /dev/fd/63 2022-08-19 14:52:54.212075238 +0000 +++ /dev/fd/62 2022-08-19 14:52:54.212075238 +0000 @@ -11,14 +11,15 @@ var1 = 0U; while ((int)var1 < 30) { - if ((int)var1 % 3 != 0U || !((int)var1 % 5 == 0U || (int)var1 % 3 != 0U)) { - if ((int)var1 % 3 != 0U) { + if ((int)var1 % 3 != 0U || !((int)var1 % 3 != 0U || (int)var1 % 5 == 0U)) { + if (((int)var1 % 3 != 0U || !((int)var1 % 5 == 0U || (int)var1 % 3 != 0U)) && (int)var1 % 3 != 0U) { if ((int)var1 % 5 != 0U) { printf("%d\n", var1); } else { printf("buzz\n"); } - } else { + } + if (((int)var1 % 3 != 0U || !((int)var1 % 5 == 0U || (int)var1 % 3 != 0U)) && (int)var1 % 3 == 0U) { printf("fizz\n"); } } else { ``` ### typedefs_of_typedefs.bc ```diff ``` ### switch_loop.bc ```diff ``` ### func_cond_zero_arg.bc ```diff ``` ### fcmp.bc ```diff ``` ### conflicting_names.bc ```diff ``` ### struct.bc ```diff ``` ### issue_183_literal_structs.bc ```diff ``` ### zeroinit.bc ```diff ``` ### issue_127_uint128_t_lit.bc ```diff ``` ### struct_swap.bc ```diff ``` ### init_list.bc ```diff ``` ### ret0.bc ```diff ``` ### bool.bc ```diff ``` ### short.bc ```diff ``` ### cast.bc ```diff ``` ### nullptr.bc ```diff ``` ### nested_struct.bc ```diff ``` ### array_swap.bc ```diff ``` ### binops.bc ```diff ``` ### bitmask.bc ```diff ``` ### loop.bc ```diff ``` ### float.bc ```diff ``` ### reg_test_structure_fields.bc ```diff ``` ### vectors.bc ```diff ``` ### funcptr.bc ```diff ``` ### goto_loop.bc ```diff ``` ### branch.bc ```diff ``` ### bitops.bc ```diff ``` ### trunc.bc ```diff ``` ### inttoptr.bc ```diff ``` ### issue_4.bc ```diff ``` ### issue_123_uint128_t.bc ```diff ``` ### fizzbuzz_stateful.bc ```diff ``` ### issue_94_strncmp.bc ```diff ``` ### global_using_function_decl.bc ```diff ``` ### byval_struct.bc ```diff ``` ### nested_while.bc ```diff --- /dev/fd/63 2022-08-19 14:53:04.040971954 +0000 +++ /dev/fd/62 2022-08-19 14:53:04.040971954 +0000 @@ -18,14 +18,14 @@ printf("loop1 x: %d\n", var1); } } - if ((int)var1 <= 10 || (int)var1 >= 20) { + if ((int)var1 >= 20 || (int)var1 <= 10) { while ((int)var1 < 20) { var1 = var1 + 1U; printf("loop2 x: %d\n", var1); } } - if (((int)var1 <= 10 || (int)var1 >= 20) && (int)var1 >= 20) { + if (((int)var1 >= 20 || (int)var1 <= 10) && (int)var1 >= 20) { return var0; } } ``` ### func_cond_two_arg.bc ```diff ``` ### conflicting_global.bc ```diff ``` ### assert.bc ```diff ``` ### zext.bc ```diff ``` ### switch.bc ```diff ``` ### template_parameter_pack.bc ```diff ``` ### byval_tail_nogep.ll ```diff ``` ### byval_tail_gep.ll ```diff ```