bpf/progs/verifier_sdiv.c

778 __xlated("0: r2 = 0x8000000000000000")
779 __xlated("2: r3 = -1")
780 __xlated("3: r4 = r2")
781 __xlated("4: r11 = r3")
782 __xlated("5: r11 += 1")
783 __xlated("6: if r11 > 0x1 goto pc+4")
784 __xlated("7: if r11 == 0x0 goto pc+1")
785 __xlated("8: r2 = 0")
786 __xlated("9: r2 = -r2")
787 __xlated("10: goto pc+1")
788 __xlated("11: r2 s/= r3")
789 __xlated("12: r0 = 0")
790 __xlated("13: if r2 != r4 goto pc+1")
791 __xlated("14: r0 = 1")
792 __xlated("15: exit")
813 __xlated("0: r2 = 5")
814 __xlated("1: r3 = -1")
815 __xlated("2: r11 = r3")
816 __xlated("3: r11 += 1")
817 __xlated("4: if r11 > 0x1 goto pc+4")
818 __xlated("5: if r11 == 0x0 goto pc+1")
819 __xlated("6: r2 = 0")
820 __xlated("7: r2 = -r2")
821 __xlated("8: goto pc+1")
822 __xlated("9: r2 s/= r3")
823 __xlated("10: r0 = r2")
824 __xlated("11: exit")
842 __xlated("0: r2 = 0x8000000000000000")
843 __xlated("2: r4 = r2")
844 __xlated("3: r2 = -r2")
845 __xlated("4: r0 = 0")
846 __xlated("5: if r2 != r4 goto pc+1")
847 __xlated("6: r0 = 1")
848 __xlated("7: exit")
868 __xlated("0: r2 = 5")
869 __xlated("1: r4 = r2")
870 __xlated("2: r2 = -r2")
871 __xlated("3: r0 = r2")
872 __xlated("4: exit")
890 __xlated("0: w2 = -2147483648")
891 __xlated("1: w3 = -1")
892 __xlated("2: w4 = w2")
893 __xlated("3: r11 = r3")
894 __xlated("4: w11 += 1")
895 __xlated("5: if w11 > 0x1 goto pc+4")
896 __xlated("6: if w11 == 0x0 goto pc+1")
897 __xlated("7: w2 = 0")
898 __xlated("8: w2 = -w2")
899 __xlated("9: goto pc+1")
900 __xlated("10: w2 s/= w3")
901 __xlated("11: r0 = 0")
902 __xlated("12: if w2 != w4 goto pc+1")
903 __xlated("13: r0 = 1")
904 __xlated("14: exit")
925 __xlated("0: w2 = -5")
926 __xlated("1: w3 = -1")
927 __xlated("2: w4 = w2")
928 __xlated("3: r11 = r3")
929 __xlated("4: w11 += 1")
930 __xlated("5: if w11 > 0x1 goto pc+4")
931 __xlated("6: if w11 == 0x0 goto pc+1")
932 __xlated("7: w2 = 0")
933 __xlated("8: w2 = -w2")
934 __xlated("9: goto pc+1")
935 __xlated("10: w2 s/= w3")
936 __xlated("11: w0 = w2")
937 __xlated("12: exit")
956 __xlated("0: w2 = -2147483648")
957 __xlated("1: w4 = w2")
958 __xlated("2: w2 = -w2")
959 __xlated("3: r0 = 0")
960 __xlated("4: if w2 != w4 goto pc+1")
961 __xlated("5: r0 = 1")
962 __xlated("6: exit")
982 __xlated("0: w2 = 5")
983 __xlated("1: w4 = w2")
984 __xlated("2: w2 = -w2")
985 __xlated("3: w0 = w2")
986 __xlated("4: exit")
1004 __xlated("0: r2 = 0x8000000000000000")
1005 __xlated("2: r3 = -1")
1006 __xlated("3: r4 = r2")
1007 __xlated("4: r11 = r3")
1008 __xlated("5: r11 += 1")
1009 __xlated("6: if r11 > 0x1 goto pc+3")
1010 __xlated("7: if r11 == 0x1 goto pc+3")
1011 __xlated("8: w2 = 0")
1012 __xlated("9: goto pc+1")
1013 __xlated("10: r2 s%= r3")
1014 __xlated("11: r0 = r2")
1015 __xlated("12: exit")
1034 __xlated("0: r2 = 5")
1035 __xlated("1: r3 = -1")
1036 __xlated("2: r4 = r2")
1037 __xlated("3: r11 = r3")
1038 __xlated("4: r11 += 1")
1039 __xlated("5: if r11 > 0x1 goto pc+3")
1040 __xlated("6: if r11 == 0x1 goto pc+3")
1041 __xlated("7: w2 = 0")
1042 __xlated("8: goto pc+1")
1043 __xlated("9: r2 s%= r3")
1044 __xlated("10: r0 = r2")
1045 __xlated("11: exit")
1064 __xlated("0: r2 = 0x8000000000000000")
1065 __xlated("2: r4 = r2")
1066 __xlated("3: w2 = 0")
1067 __xlated("4: r0 = r2")
1068 __xlated("5: exit")
1086 __xlated("0: r2 = 5")
1087 __xlated("1: r4 = r2")
1088 __xlated("2: w2 = 0")
1089 __xlated("3: r0 = r2")
1090 __xlated("4: exit")
1108 __xlated("0: w2 = -2147483648")
1109 __xlated("1: w3 = -1")
1110 __xlated("2: w4 = w2")
1111 __xlated("3: r11 = r3")
1112 __xlated("4: w11 += 1")
1113 __xlated("5: if w11 > 0x1 goto pc+3")
1114 __xlated("6: if w11 == 0x1 goto pc+4")
1115 __xlated("7: w2 = 0")
1116 __xlated("8: goto pc+1")
1117 __xlated("9: w2 s%= w3")
1118 __xlated("10: goto pc+1")
1119 __xlated("11: w2 = w2")
1120 __xlated("12: r0 = r2")
1121 __xlated("13: exit")
1140 __xlated("0: w2 = -5")
1141 __xlated("1: w3 = -1")
1142 __xlated("2: w4 = w2")
1143 __xlated("3: r11 = r3")
1144 __xlated("4: w11 += 1")
1145 __xlated("5: if w11 > 0x1 goto pc+3")
1146 __xlated("6: if w11 == 0x1 goto pc+4")
1147 __xlated("7: w2 = 0")
1148 __xlated("8: goto pc+1")
1149 __xlated("9: w2 s%= w3")
1150 __xlated("10: goto pc+1")
1151 __xlated("11: w2 = w2")
1152 __xlated("12: r0 = r2")
1153 __xlated("13: exit")
1172 __xlated("0: w2 = -2147483648")
1173 __xlated("1: w4 = w2")
1174 __xlated("2: w2 = 0")
1175 __xlated("3: r0 = r2")
1176 __xlated("4: exit")
1194 __xlated("0: w2 = 5")
1195 __xlated("1: w4 = w2")
1196 __xlated("2: w2 = 0")
1197 __xlated("3: w0 = w2")
1198 __xlated("4: exit")