63 otherkeywords={=,!=,:=,<,>,\%;*,/}, |
63 otherkeywords={=,!=,:=,<,>,\%;*,/}, |
64 }[keywords,comments,strings] |
64 }[keywords,comments,strings] |
65 |
65 |
66 |
66 |
67 \lstdefinelanguage{JVMIS2}{ |
67 \lstdefinelanguage{JVMIS2}{ |
68 morekeywords={ldc,iload,istore,ifeq,if_icmpge}, |
68 morekeywords={ldc,iload,istore,ifeq,if_icmpge,if_icmpgt,iadd,goto}, |
69 }[keywords] |
69 }[keywords] |
70 |
70 |
71 \lstdefinelanguage{LLVMIR}{ |
71 \lstdefinelanguage{LLVMIR}{ |
72 otherkeywords={let,in,add,mul}, |
72 otherkeywords={let,in,add,mul}, |
73 }[strings] |
73 }[strings] |