Invalid patterns for Sign/Zero-Extend instructions

[PhilippvK]

Input:

        CV_EXTHS {
            encoding: 7'b0110000 :: 5'b00000 :: rs1[4:0] :: 3'b011 :: rd[4:0] :: 7'b0101011;
            assembly: "{name(rd)}, {name(rs1)}";
            behavior: {
                if (rd != 0) {
                    X[rd] = (signed)X[rs1][15:0];
                }
            }
        }
        CV_EXTHZ {
            encoding: 7'b0110001 :: 5'b00000 :: rs1[4:0] :: 3'b011 :: rd[4:0] :: 7'b0101011;
            assembly: "{name(rd)}, {name(rs1)}";
            behavior: {
                if (rd != 0) {
                    X[rd] = (unsigned)X[rs1][15:0];
                }
            }
        }
        CV_EXTBS {
            encoding: 7'b0110010 :: 5'b00000 :: rs1[4:0] :: 3'b011 :: rd[4:0] :: 7'b0101011;
            assembly: "{name(rd)}, {name(rs1)}";
            behavior: {
                if (rd != 0) {
                    X[rd] = (signed)X[rs1][7:0];
                }
            }
        }
        CV_EXTBZ {
            encoding: 7'b0110011 :: 5'b00000 :: rs1[4:0] :: 3'b011 :: rd[4:0] :: 7'b0101011;
            assembly: "{name(rd)}, {name(rs1)}";
            behavior: {
                if (rd != 0) {
                    X[rd] = (unsigned)X[rs1][7:0];
                }
            }
        }

Output:

Pattern for CV_EXTHS: GPR:$rs1
Pattern for CV_EXTHZ: GPR:$rs1
Pattern for CV_EXTBS: GPR:$rs1
Pattern for CV_EXTBZ: GPR:$rs1

[PhilippvK]

The IR looks fine, hence it is likely that the issue is related to the recent optimizations in the pattern gen pass.

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
define void @implCV_EXTHS(ptr nocapture readonly %rs1, ptr noalias nocapture writeonly %rd) local_unnamed_addr #0 {
  %.v = load i16, ptr %rs1, align 2
  %1 = sext i16 %.v to i32
  store i32 %1, ptr %rd, align 4
  ret void
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
define void @implCV_EXTHZ(ptr nocapture readonly %rs1, ptr noalias nocapture writeonly %rd) local_unnamed_addr #0 {
  %.v = load i16, ptr %rs1, align 2
  %1 = zext i16 %.v to i32
  store i32 %1, ptr %rd, align 4
  ret void
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
define void @implCV_EXTBS(ptr nocapture readonly %rs1, ptr noalias nocapture writeonly %rd) local_unnamed_addr #0 {
  %.v = load i8, ptr %rs1, align 1
  %1 = sext i8 %.v to i32
  store i32 %1, ptr %rd, align 4
  ret void
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
define void @implCV_EXTBZ(ptr nocapture readonly %rs1, ptr noalias nocapture writeonly %rd) local_unnamed_addr #0 {
  %.v = load i8, ptr %rs1, align 1
  %1 = zext i8 %.v to i32
  store i32 %1, ptr %rd, align 4
  ret void
}
``