"⫇":                          "\u2ac7",
	"⫕":                          "\u2ad5",
	"⫓":                          "\u2ad3",
	"≻":                            "\u227b",
	"⪸":                      "\u2ab8",
	"≽":                     "\u227d",
	"⪰":                          "\u2ab0",
	"⪺":                     "\u2aba",
	"⪶":                        "\u2ab6",

		"subsub;":                          '\U00002AD5',
		"subsup;":                          '\U00002AD3',
		"succ;":                            '\U0000227B',
		"succapprox;":                      '\U00002AB8',
		"succcurlyeq;":                     '\U0000227D',
		"succeq;":                          '\U00002AB0',
		"succnapprox;":                     '\U00002ABA',
		"succneqq;":                        '\U00002AB6',

//     => first result is unknown, second and third is passthrough
//   if results    : [*,    arg0, {arg0, arg1}[
//   ID #2: read (unknown)         -> succ {5, 6)
//   ID #3: read (arg0)            -> succ {5}
//   ID #4: read({arg0,arg1})      -> succ {5,6}
//   ID #5: write(arg0)
//   ID #6: write(arg1)

// CHECK-LABEL: func @output_of_if_op
func.func @output_of_if_op(
  // expected-remark@above {{ID: 12}}

//  - auxint will be 0 if not specified.
//  - aux will be nil if not specified.

// blocks are specified using the following format:
// (kind controlvalue succ0 succ1 ...)
// controlvalue must be "nil" or a value expression
// succ* fields must be variables
// For now, the generated successors must be a permutation of the matched successors.

// constant folding
(Trunc16to8  (Const16  [c])) => (Const8   [int8(c)])