diff --git a/cores/dinofly/checks.pfv b/cores/dinofly/checks.pfv index a388b94..aab26da 100644 --- a/cores/dinofly/checks.pfv +++ b/cores/dinofly/checks.pfv @@ -1,13 +1,89 @@ check unique --depth=15 --skip=10 -check cia --depth=15 check gpr --depth=15 +#check cia --depth=15 check causal --depth=15 -check insn:addi --depth=15 -check insn:addis --depth=15 -check insn:ori --depth=15 -check insn:oris --depth=15 -check insn:xori --depth=15 -check insn:xoris --depth=15 +check insn:add --depth=15 +check insn:add_ --depth=15 +check insn:addc --depth=15 +check insn:addc_ --depth=15 +check insn:adde --depth=15 +check insn:adde_ --depth=15 +check insn:addex --depth=15 +check insn:addi --depth=15 +check insn:addic --depth=15 +check insn:addic_ --depth=15 +check insn:addis --depth=15 +check insn:addme --depth=15 +check insn:addme_ --depth=15 +check insn:addze --depth=15 +check insn:addze_ --depth=15 +check insn:neg --depth=15 +check insn:neg_ --depth=15 +check insn:subf --depth=15 +check insn:subf_ --depth=15 +check insn:subfc --depth=15 +check insn:subfc_ --depth=15 +check insn:subfe --depth=15 +check insn:subfe_ --depth=15 +check insn:subfic --depth=15 +check insn:subfme --depth=15 +check insn:subfme_ --depth=15 +check insn:subfze --depth=15 +check insn:subfze_ --depth=15 + +check insn:and --depth=15 +check insn:and_ --depth=15 +check insn:andc --depth=15 +check insn:andc_ --depth=15 +check insn:andi_ --depth=15 +check insn:andis_ --depth=15 +check insn:eqv --depth=15 +check insn:eqv_ --depth=15 +check insn:nand --depth=15 +check insn:nand_ --depth=15 +check insn:nor --depth=15 +check insn:nor_ --depth=15 +check insn:or --depth=15 +check insn:or_ --depth=15 +check insn:orc --depth=15 +check insn:orc_ --depth=15 +check insn:ori --depth=15 +check insn:oris --depth=15 +check insn:xor --depth=15 +check insn:xor_ --depth=15 +check insn:xori --depth=15 +check insn:xoris --depth=15 + +check insn:crand --depth=15 +check insn:crandc --depth=15 +check insn:creqv --depth=15 +check insn:crnand --depth=15 +check insn:crnor --depth=15 +check insn:cror --depth=15 +check insn:crorc --depth=15 +check insn:crxor --depth=15 + +check insn:mcrf --depth=15 + +check insn:cmpi --depth=15 +check insn:cmpli --depth=15 +check insn:cmp --depth=15 +check insn:cmpl --depth=15 + +check insn:rlwimi --depth=15 +check insn:rlwimi_ --depth=15 +check insn:rlwinm --depth=15 +check insn:rlwinm_ --depth=15 +check insn:rlwnm --depth=15 +check insn:rlwnm_ --depth=15 +check insn:slw --depth=15 +check insn:slw_ --depth=15 +check insn:sraw --depth=15 +check insn:sraw_ --depth=15 +check insn:srawi --depth=15 +check insn:srawi_ --depth=15 +check insn:srw --depth=15 +check insn:srw_ --depth=15 build --build-dir=./build