define i64 @test1(i32 %V) {
; CHECK-LABEL: @test1(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0:!range !.*]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
; CHECK-NEXT: [[NARROW:%.*]] = add nuw nsw i32 [[CALL1]], [[CALL2]]
; CHECK-NEXT: [[ADD:%.*]] = zext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[ADD]]
define i64 @test2(i32 %V) {
; CHECK-LABEL: @test2(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
; CHECK-NEXT: [[ADD:%.*]] = add nuw nsw i32 [[CALL1]], [[CALL2]]
-; CHECK-NEXT: [[TMP1:%.*]] = zext i32 [[ADD]] to i64
-; CHECK-NEXT: ret i64 [[TMP1]]
+; CHECK-NEXT: [[ZEXT:%.*]] = zext i32 [[ADD]] to i64
+; CHECK-NEXT: ret i64 [[ZEXT]]
;
%call1 = call i32 @callee(), !range !0
%call2 = call i32 @callee(), !range !0
define i64 @test3(i32 %V) {
; CHECK-LABEL: @test3(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
; CHECK-NEXT: [[NARROW:%.*]] = mul nuw nsw i32 [[CALL1]], [[CALL2]]
; CHECK-NEXT: [[ADD:%.*]] = zext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[ADD]]
define i64 @test4(i32 %V) {
; CHECK-LABEL: @test4(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
; CHECK-NEXT: [[ADD:%.*]] = mul nuw nsw i32 [[CALL1]], [[CALL2]]
-; CHECK-NEXT: [[TMP1:%.*]] = zext i32 [[ADD]] to i64
-; CHECK-NEXT: ret i64 [[TMP1]]
+; CHECK-NEXT: [[ZEXT:%.*]] = zext i32 [[ADD]] to i64
+; CHECK-NEXT: ret i64 [[ZEXT]]
;
%call1 = call i32 @callee(), !range !0
%call2 = call i32 @callee(), !range !0
define i64 @test11(i32 %V) {
; CHECK-LABEL: @test11(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !1
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !1
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG1:!range !.*]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG1]]
; CHECK-NEXT: [[NARROW:%.*]] = add nsw i32 [[CALL1]], [[CALL2]]
; CHECK-NEXT: [[ADD:%.*]] = sext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[ADD]]
define i64 @test12(i32 %V) {
; CHECK-LABEL: @test12(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !1
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !1
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG1]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG1]]
; CHECK-NEXT: [[NARROW:%.*]] = mul nsw i32 [[CALL1]], [[CALL2]]
-; CHECK-NEXT: [[TMP1:%.*]] = zext i32 [[NARROW]] to i64
-; CHECK-NEXT: ret i64 [[TMP1]]
+; CHECK-NEXT: [[ADD:%.*]] = zext i32 [[NARROW]] to i64
+; CHECK-NEXT: ret i64 [[ADD]]
;
%call1 = call i32 @callee(), !range !1
%call2 = call i32 @callee(), !range !1
define i64 @test13(i32 %V) {
; CHECK-LABEL: @test13(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !2
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !3
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nsw i32 [[CALL1]], [[CALL2]]
-; CHECK-NEXT: [[SUB:%.*]] = sext i32 [[SUBCONV]] to i64
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG2:!range !.*]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG3:!range !.*]]
+; CHECK-NEXT: [[NARROW:%.*]] = sub nsw i32 [[CALL1]], [[CALL2]]
+; CHECK-NEXT: [[SUB:%.*]] = sext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[SUB]]
;
%call1 = call i32 @callee(), !range !2
define i64 @test14(i32 %V) {
; CHECK-LABEL: @test14(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !2
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nuw nsw i32 [[CALL1]], [[CALL2]]
-; CHECK-NEXT: [[SUB:%.*]] = zext i32 [[SUBCONV]] to i64
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG2]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[NARROW:%.*]] = sub nuw nsw i32 [[CALL1]], [[CALL2]]
+; CHECK-NEXT: [[SUB:%.*]] = zext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[SUB]]
;
%call1 = call i32 @callee(), !range !2
define i64 @test15(i32 %V) {
; CHECK-LABEL: @test15(
; CHECK-NEXT: [[ASHR:%.*]] = ashr i32 [[V:%.*]], 1
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nsw i32 8, [[ASHR]]
-; CHECK-NEXT: [[SUB:%.*]] = sext i32 [[SUBCONV]] to i64
+; CHECK-NEXT: [[NARROW:%.*]] = sub nsw i32 8, [[ASHR]]
+; CHECK-NEXT: [[SUB:%.*]] = sext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[SUB]]
;
%ashr = ashr i32 %V, 1
define <2 x i64> @test15vec(<2 x i32> %V) {
; CHECK-LABEL: @test15vec(
; CHECK-NEXT: [[ASHR:%.*]] = ashr <2 x i32> [[V:%.*]], <i32 1, i32 1>
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nsw <2 x i32> <i32 8, i32 8>, [[ASHR]]
-; CHECK-NEXT: [[SUB:%.*]] = sext <2 x i32> [[SUBCONV]] to <2 x i64>
+; CHECK-NEXT: [[NARROW:%.*]] = sub nsw <2 x i32> <i32 8, i32 8>, [[ASHR]]
+; CHECK-NEXT: [[SUB:%.*]] = sext <2 x i32> [[NARROW]] to <2 x i64>
; CHECK-NEXT: ret <2 x i64> [[SUB]]
;
%ashr = ashr <2 x i32> %V, <i32 1, i32 1>
define i64 @test16(i32 %V) {
; CHECK-LABEL: @test16(
; CHECK-NEXT: [[LSHR:%.*]] = lshr i32 [[V:%.*]], 1
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nuw i32 -2, [[LSHR]]
-; CHECK-NEXT: [[SUB:%.*]] = zext i32 [[SUBCONV]] to i64
+; CHECK-NEXT: [[NARROW:%.*]] = sub nuw i32 -2, [[LSHR]]
+; CHECK-NEXT: [[SUB:%.*]] = zext i32 [[NARROW]] to i64
; CHECK-NEXT: ret i64 [[SUB]]
;
%lshr = lshr i32 %V, 1
define <2 x i64> @test16vec(<2 x i32> %V) {
; CHECK-LABEL: @test16vec(
; CHECK-NEXT: [[LSHR:%.*]] = lshr <2 x i32> [[V:%.*]], <i32 1, i32 1>
-; CHECK-NEXT: [[SUBCONV:%.*]] = sub nuw <2 x i32> <i32 -2, i32 -2>, [[LSHR]]
-; CHECK-NEXT: [[SUB:%.*]] = zext <2 x i32> [[SUBCONV]] to <2 x i64>
+; CHECK-NEXT: [[NARROW:%.*]] = sub nuw <2 x i32> <i32 -2, i32 -2>, [[LSHR]]
+; CHECK-NEXT: [[SUB:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>
; CHECK-NEXT: ret <2 x i64> [[SUB]]
;
%lshr = lshr <2 x i32> %V, <i32 1, i32 1>
; won't wrap.
define i64 @test17(i32 %V) {
; CHECK-LABEL: @test17(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), !range !0
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[CALL2:%.*]] = call i32 @callee(), [[RNG0]]
; CHECK-NEXT: [[SEXT1:%.*]] = zext i32 [[CALL1]] to i64
; CHECK-NEXT: [[SEXT2:%.*]] = zext i32 [[CALL2]] to i64
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i64 [[SEXT1]], [[SEXT2]]
; cause overflow.
define i64 @test18(i32 %V) {
; CHECK-LABEL: @test18(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !1
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG1]]
; CHECK-NEXT: [[SEXT1:%.*]] = sext i32 [[CALL1]] to i64
; CHECK-NEXT: [[SUB:%.*]] = sub nsw i64 2147481648, [[SEXT1]]
; CHECK-NEXT: ret i64 [[SUB]]
; cause overflow.
define i64 @test19(i32 %V) {
; CHECK-LABEL: @test19(
-; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), !range !0
-; CHECK-NEXT: [[TMP1:%.*]] = zext i32 [[CALL1]] to i64
-; CHECK-NEXT: [[SUB:%.*]] = sub nuw nsw i64 -2147481648, [[TMP1]]
+; CHECK-NEXT: [[CALL1:%.*]] = call i32 @callee(), [[RNG0]]
+; CHECK-NEXT: [[SEXT1:%.*]] = zext i32 [[CALL1]] to i64
+; CHECK-NEXT: [[SUB:%.*]] = sub nuw nsw i64 -2147481648, [[SEXT1]]
; CHECK-NEXT: ret i64 [[SUB]]
;
%call1 = call i32 @callee(), !range !0