is_12b_int
if (!is_12b_int(off)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(-imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(-imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(imm)) {
if (is_12b_int(off)) {
if (is_12b_int(off)) {
if (is_12b_int(off)) {
if (is_12b_int(off)) {