{"Prog", Type, 0},
		{"Prog.ProgHeader", Field, 0},
		{"Prog.ReaderAt", Field, 0},
		{"Prog32", Type, 0},
		{"Prog32.Align", Field, 0},
		{"Prog32.Filesz", Field, 0},
		{"Prog32.Flags", Field, 0},
		{"Prog32.Memsz", Field, 0},
		{"Prog32.Off", Field, 0},
		{"Prog32.Paddr", Field, 0},
		{"Prog32.Type", Field, 0},
		{"Prog32.Vaddr", Field, 0},
		{"Prog64", Type, 0},
		{"Prog64.Align", Field, 0},

	// cond: isPowerOfTwo32(c-1) && c >= 17
	// result: (LEAL1 (SHLLconst <v.Type> [int8(log32(c-1))] x) x)
	for {
		c := auxIntToInt32(v.AuxInt)
		x := v_0
		if !(isPowerOfTwo32(c-1) && c >= 17) {
			break
		}
		v.reset(OpAMD64LEAL1)
		v0 := b.NewValue0(v.Pos, OpAMD64SHLLconst, v.Type)
		v0.AuxInt = int8ToAuxInt(int8(log32(c - 1)))
		v0.AddArg(x)
		v.AddArg2(v0, x)
		return true
	}

	// result: (Rsh32Ux64 n (Const64 <typ.UInt64> [log32(c)]))
	for {
		n := v_0
		if v_1.Op != OpConst32 {
			break
		}
		c := auxIntToInt32(v_1.AuxInt)
		if !(isNonNegative(n) && isPowerOfTwo32(c)) {
			break
		}
		v.reset(OpRsh32Ux64)
		v0 := b.NewValue0(v.Pos, OpConst64, typ.UInt64)
		v0.AuxInt = int64ToAuxInt(log32(c))
		v.AddArg2(n, v0)
		return true
	}