================
@@ -40,11 +40,11 @@ bool test_add_overflow_xint31_xint31_xint31(_BitInt(31) x,
_BitInt(31) y, _BitIn
}
// CIR: cir.func {{.*}}
@_Z38test_add_overflow_xint31_xint31_xint31DB31_S_PS_
-// CIR: %[[#LHS:]] = cir.load{{.*}} %{{.+}} : !cir.ptr<!cir.int<s,
31>>, !cir.int<s, 31>
-// CIR-NEXT: %[[#RHS:]] = cir.load{{.*}} %{{.+}} : !cir.ptr<!cir.int<s,
31>>, !cir.int<s, 31>
-// CIR-NEXT: %[[#RES_PTR:]] = cir.load{{.*}} %{{.+}} :
!cir.ptr<!cir.ptr<!cir.int<s, 31>>>, !cir.ptr<!cir.int<s, 31>>
-// CIR-NEXT: %[[RES:.+]], %{{.+}} = cir.add.overflow %[[#LHS]], %[[#RHS]] :
!cir.int<s, 31> -> !cir.int<s, 31>
-// CIR-NEXT: cir.store{{.*}} %[[RES]], %[[#RES_PTR]] : !cir.int<s, 31>,
!cir.ptr<!cir.int<s, 31>>
+// CIR: %[[#LHS:]] = cir.load{{.*}} %{{.+}} : !cir.ptr<!cir.int<s, 31,
bitint>>, !cir.int<s, 31, bitint>
----------------
adams381 wrote:
MLIR's alias mechanism only generates aliases for types that appear frequently
enough. Non-standard widths like 31 and 33 are uncommon, so the printer emits
them inline. Standard widths (8, 16, 32, 64, 128) get aliases like !s32i.
https://github.com/llvm/llvm-project/pull/188113
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
