[Clang] Fix a non-effective assertion (#81083)

shiltian · web-flow · commit c4b0dfcc99da · 2024-02-08T09:44:42.000-05:00
`PTy` here is literally `FTy-&gt;getParamType(i)`, which makes this
assertion not
work as expected.
diff --git a/clang/lib/CodeGen/CGBuiltin.cpp b/clang/lib/CodeGen/CGBuiltin.cpp
@@ -5908,7 +5908,7 @@ RValue CodeGenFunction::EmitBuiltinExpr(const GlobalDecl GD, unsigned BuiltinID,
           }
         }
 
-        assert(PTy->canLosslesslyBitCastTo(FTy->getParamType(i)) &&
+        assert(ArgValue->getType()->canLosslesslyBitCastTo(PTy) &&
                "Must be able to losslessly bit cast to param");
         // Cast vector type (e.g., v256i32) to x86_amx, this only happen
         // in amx intrinsics.

Original file line number	Diff line number	Diff line change
`@@ -5908,7 +5908,7 @@ RValue CodeGenFunction::EmitBuiltinExpr(const GlobalDecl GD, unsigned BuiltinID,`
`5908`	`5908`	`}`
`5909`	`5909`	`}`
`5910`	`5910`
`5911`		`- assert(PTy->canLosslesslyBitCastTo(FTy->getParamType(i)) &&`
	`5911`	`+ assert(ArgValue->getType()->canLosslesslyBitCastTo(PTy) &&`
`5912`	`5912`	`"Must be able to losslessly bit cast to param");`
`5913`	`5913`	`// Cast vector type (e.g., v256i32) to x86_amx, this only happen`
`5914`	`5914`	`// in amx intrinsics.`