243 lines
6.8 KiB
LLVM
243 lines
6.8 KiB
LLVM
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||
|
|
; RUN: opt < %s -ipsccp -S | FileCheck %s
|
||
|
|
|
||
|
|
define internal i32 @test1a(i32 %A, i32 %b) {
|
||
|
|
; CHECK-LABEL: @test1a(
|
||
|
|
; CHECK-NEXT: [[X:%.*]] = add i32 [[A:%.*]], 1
|
||
|
|
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X]], [[B:%.*]]
|
||
|
|
; CHECK-NEXT: br i1 [[C]], label [[BB_TRUE:%.*]], label [[BB_FALSE:%.*]]
|
||
|
|
; CHECK: bb.true:
|
||
|
|
; CHECK-NEXT: [[R:%.*]] = call i32 @test1a(i32 [[X]], i32 [[B]])
|
||
|
|
; CHECK-NEXT: ret i32 [[R]]
|
||
|
|
; CHECK: bb.false:
|
||
|
|
; CHECK-NEXT: ret i32 [[A]]
|
||
|
|
;
|
||
|
|
%X = add i32 %A, 1
|
||
|
|
%c = icmp eq i32 %X, %b
|
||
|
|
br i1 %c, label %bb.true, label %bb.false
|
||
|
|
|
||
|
|
bb.true:
|
||
|
|
%r = call i32 @test1a(i32 %X, i32 %b)
|
||
|
|
ret i32 %r
|
||
|
|
|
||
|
|
bb.false:
|
||
|
|
ret i32 %A
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test1b(i32 %b) {
|
||
|
|
; CHECK-LABEL: @test1b(
|
||
|
|
; CHECK-NEXT: [[X:%.*]] = call i32 @test1a(i32 17, i32 [[B:%.*]])
|
||
|
|
; CHECK-NEXT: ret i32 [[X]]
|
||
|
|
;
|
||
|
|
%X = call i32 @test1a( i32 17, i32 %b)
|
||
|
|
ret i32 %X
|
||
|
|
}
|
||
|
|
|
||
|
|
@Getopt.optind = internal global i32 1, align 4
|
||
|
|
|
||
|
|
define i32 @test2(i32 %a) {
|
||
|
|
; CHECK-LABEL: @test2(
|
||
|
|
; CHECK-NEXT: entry:
|
||
|
|
; CHECK-NEXT: br label [[LOOP:%.*]]
|
||
|
|
; CHECK: loop:
|
||
|
|
; CHECK-NEXT: [[LV:%.*]] = load i32, i32* @Getopt.optind, align 4
|
||
|
|
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[LV]], 1
|
||
|
|
; CHECK-NEXT: store i32 [[ADD]], i32* @Getopt.optind, align 4
|
||
|
|
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[ADD]], [[A:%.*]]
|
||
|
|
; CHECK-NEXT: br i1 [[C]], label [[EXIT:%.*]], label [[LOOP]]
|
||
|
|
; CHECK: exit:
|
||
|
|
; CHECK-NEXT: ret i32 [[ADD]]
|
||
|
|
;
|
||
|
|
entry:
|
||
|
|
br label %loop
|
||
|
|
|
||
|
|
loop:
|
||
|
|
%lv = load i32, i32* @Getopt.optind, align 4
|
||
|
|
%add = add i32 %lv, 1
|
||
|
|
store i32 %add, i32* @Getopt.optind
|
||
|
|
%c = icmp eq i32 %add, %a
|
||
|
|
br i1 %c, label %exit, label %loop
|
||
|
|
|
||
|
|
exit:
|
||
|
|
ret i32 %add
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
define internal i32 @test3a(i32 %a) {
|
||
|
|
; CHECK-LABEL: @test3a(
|
||
|
|
; CHECK-NEXT: entry:
|
||
|
|
; CHECK-NEXT: [[RES:%.*]] = add i32 [[A:%.*]], 1
|
||
|
|
; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[RES]], 1000
|
||
|
|
; CHECK-NEXT: br i1 [[C]], label [[BB_TRUE:%.*]], label [[BB_FALSE:%.*]]
|
||
|
|
; CHECK: bb.true:
|
||
|
|
; CHECK-NEXT: ret i32 [[RES]]
|
||
|
|
; CHECK: bb.false:
|
||
|
|
; CHECK-NEXT: ret i32 0
|
||
|
|
;
|
||
|
|
entry:
|
||
|
|
%res = add i32 %a, 1
|
||
|
|
%c = icmp ult i32 %res, 1000
|
||
|
|
br i1 %c, label %bb.true, label %bb.false
|
||
|
|
|
||
|
|
bb.true:
|
||
|
|
ret i32 %res
|
||
|
|
|
||
|
|
bb.false:
|
||
|
|
ret i32 0
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test3b(i32 %a) {
|
||
|
|
; CHECK-LABEL: @test3b(
|
||
|
|
; CHECK-NEXT: entry:
|
||
|
|
; CHECK-NEXT: [[V1:%.*]] = call i32 @test3a(i32 0)
|
||
|
|
; CHECK-NEXT: br label [[LOOP:%.*]]
|
||
|
|
; CHECK: loop:
|
||
|
|
; CHECK-NEXT: [[V2:%.*]] = call i32 @test3a(i32 [[V1]])
|
||
|
|
; CHECK-NEXT: [[V3:%.*]] = add i32 [[V2]], 1
|
||
|
|
; CHECK-NEXT: [[V4:%.*]] = call i32 @test3a(i32 [[V3]])
|
||
|
|
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[V4]], [[A:%.*]]
|
||
|
|
; CHECK-NEXT: br i1 [[C]], label [[EXIT:%.*]], label [[LOOP]]
|
||
|
|
; CHECK: exit:
|
||
|
|
; CHECK-NEXT: ret i32 [[V4]]
|
||
|
|
;
|
||
|
|
entry:
|
||
|
|
%v1 = call i32 @test3a(i32 0)
|
||
|
|
br label %loop
|
||
|
|
|
||
|
|
loop:
|
||
|
|
%v2 = call i32 @test3a(i32 %v1)
|
||
|
|
%v3 = add i32 %v2, 1
|
||
|
|
%v4 = call i32 @test3a(i32 %v3)
|
||
|
|
%c = icmp eq i32 %v4, %a
|
||
|
|
br i1 %c, label %exit, label %loop
|
||
|
|
|
||
|
|
exit:
|
||
|
|
ret i32 %v4
|
||
|
|
}
|
||
|
|
|
||
|
|
%struct.S = type { i32, i32 }
|
||
|
|
|
||
|
|
; Check for a range extension cycle through a struct argument.
|
||
|
|
define internal i32 @test4a(%struct.S %s) {
|
||
|
|
; CHECK-LABEL: @test4a(
|
||
|
|
; CHECK-NEXT: [[A:%.*]] = extractvalue [[STRUCT_S:%.*]] %s, 0
|
||
|
|
; CHECK-NEXT: [[B:%.*]] = extractvalue [[STRUCT_S]] %s, 1
|
||
|
|
; CHECK-NEXT: [[X:%.*]] = add i32 [[A]], 1
|
||
|
|
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X]], [[B]]
|
||
|
|
; CHECK-NEXT: br i1 [[C]], label [[BB_TRUE:%.*]], label [[BB_FALSE:%.*]]
|
||
|
|
; CHECK: bb.true:
|
||
|
|
; CHECK-NEXT: [[S2:%.*]] = insertvalue [[STRUCT_S]] %s, i32 [[X]], 0
|
||
|
|
; CHECK-NEXT: [[R:%.*]] = call i32 @test4a(%struct.S [[S2]])
|
||
|
|
; CHECK-NEXT: ret i32 [[R]]
|
||
|
|
; CHECK: bb.false:
|
||
|
|
; CHECK-NEXT: ret i32 [[A]]
|
||
|
|
;
|
||
|
|
%a = extractvalue %struct.S %s, 0
|
||
|
|
%b = extractvalue %struct.S %s, 1
|
||
|
|
|
||
|
|
%x = add i32 %a, 1
|
||
|
|
%c = icmp eq i32 %x, %b
|
||
|
|
br i1 %c, label %bb.true, label %bb.false
|
||
|
|
|
||
|
|
bb.true:
|
||
|
|
%s2 = insertvalue %struct.S %s, i32 %x, 0
|
||
|
|
%r = call i32 @test4a(%struct.S %s2)
|
||
|
|
ret i32 %r
|
||
|
|
|
||
|
|
bb.false:
|
||
|
|
ret i32 %a
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @test4b(i32 %b) {
|
||
|
|
; CHECK-LABEL: @test4b(
|
||
|
|
; CHECK-NEXT: [[S2:%.*]] = insertvalue [[STRUCT_S:%.*]] { i32 17, i32 undef }, i32 [[B:%.*]], 1
|
||
|
|
; CHECK-NEXT: [[X:%.*]] = call i32 @test4a(%struct.S [[S2]])
|
||
|
|
; CHECK-NEXT: ret i32 [[X]]
|
||
|
|
;
|
||
|
|
%s1 = insertvalue %struct.S undef, i32 17, 0
|
||
|
|
%s2 = insertvalue %struct.S %s1, i32 %b, 1
|
||
|
|
%X = call i32 @test4a(%struct.S %s2)
|
||
|
|
ret i32 %X
|
||
|
|
}
|
||
|
|
|
||
|
|
; Check for a range extension cycle through a returned value.
|
||
|
|
|
||
|
|
define internal i32 @test5a(i8* %arg, i32 %arg1, i32 %arg2) {
|
||
|
|
; CHECK-LABEL: @test5a(
|
||
|
|
; CHECK-NEXT: bb:
|
||
|
|
; CHECK-NEXT: [[TMP:%.*]] = icmp eq i8* [[ARG:%.*]], null
|
||
|
|
; CHECK-NEXT: br i1 [[TMP]], label [[BB6:%.*]], label [[BB3:%.*]]
|
||
|
|
; CHECK: bb3:
|
||
|
|
; CHECK-NEXT: [[TMP4:%.*]] = tail call i32 @test5a(i8* [[ARG]], i32 0, i32 -1)
|
||
|
|
; CHECK-NEXT: [[TMP5:%.*]] = add nsw i32 [[TMP4]], -1
|
||
|
|
; CHECK-NEXT: ret i32 [[TMP5]]
|
||
|
|
; CHECK: bb6:
|
||
|
|
; CHECK-NEXT: ret i32 0
|
||
|
|
;
|
||
|
|
bb:
|
||
|
|
%tmp = icmp eq i8* %arg, null
|
||
|
|
br i1 %tmp, label %bb6, label %bb3
|
||
|
|
|
||
|
|
bb3: ; preds = %bb
|
||
|
|
%tmp4 = tail call i32 @test5a(i8* %arg, i32 %arg1, i32 %arg2)
|
||
|
|
%tmp5 = add nsw i32 %tmp4, %arg2
|
||
|
|
ret i32 %tmp5
|
||
|
|
|
||
|
|
bb6: ; preds = %bb
|
||
|
|
ret i32 %arg1
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @test5b(i8* %ptr) {
|
||
|
|
; CHECK-LABEL: @test5b(
|
||
|
|
; CHECK-NEXT: bb:
|
||
|
|
; CHECK-NEXT: [[TMP:%.*]] = tail call i32 @test5a(i8* [[PTR:%.*]], i32 0, i32 -1)
|
||
|
|
; CHECK-NEXT: ret void
|
||
|
|
;
|
||
|
|
bb:
|
||
|
|
%tmp = tail call i32 @test5a(i8* %ptr, i32 0, i32 -1)
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
%struct = type { i32, i32 }
|
||
|
|
|
||
|
|
define internal %struct @test6a(i8* %arg, i32 %arg1, i32 %arg2) {
|
||
|
|
; CHECK-LABEL: @test6a(
|
||
|
|
; CHECK-NEXT: bb:
|
||
|
|
; CHECK-NEXT: [[TMP:%.*]] = icmp eq i8* [[ARG:%.*]], null
|
||
|
|
; CHECK-NEXT: br i1 [[TMP]], label [[BB6:%.*]], label [[BB3:%.*]]
|
||
|
|
; CHECK: bb3:
|
||
|
|
; CHECK-NEXT: [[S1:%.*]] = tail call [[STRUCT:%.*]] @test6a(i8* [[ARG]], i32 0, i32 -1)
|
||
|
|
; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[STRUCT]] %s1, 0
|
||
|
|
; CHECK-NEXT: [[TMP5:%.*]] = add nsw i32 [[TMP4]], -1
|
||
|
|
; CHECK-NEXT: [[S2:%.*]] = insertvalue [[STRUCT]] %s1, i32 [[TMP5]], 0
|
||
|
|
; CHECK-NEXT: ret [[STRUCT]] %s2
|
||
|
|
; CHECK: bb6:
|
||
|
|
; CHECK-NEXT: ret [[STRUCT]] { i32 0, i32 undef }
|
||
|
|
;
|
||
|
|
bb:
|
||
|
|
%tmp = icmp eq i8* %arg, null
|
||
|
|
br i1 %tmp, label %bb6, label %bb3
|
||
|
|
|
||
|
|
bb3: ; preds = %bb
|
||
|
|
%s1 = tail call %struct @test6a(i8* %arg, i32 %arg1, i32 %arg2)
|
||
|
|
%tmp4 = extractvalue %struct %s1, 0
|
||
|
|
%tmp5 = add nsw i32 %tmp4, %arg2
|
||
|
|
%s2 = insertvalue %struct %s1, i32 %tmp5, 0
|
||
|
|
ret %struct %s2
|
||
|
|
|
||
|
|
bb6: ; preds = %bb
|
||
|
|
%s3 = insertvalue %struct undef, i32 %arg1, 0
|
||
|
|
ret %struct %s3
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @test6b(i8* %ptr) {
|
||
|
|
; CHECK-LABEL: @test6b(
|
||
|
|
; CHECK-NEXT: bb:
|
||
|
|
; CHECK-NEXT: [[TMP:%.*]] = tail call [[STRUCT:%.*]] @test6a(i8* [[PTR:%.*]], i32 0, i32 -1)
|
||
|
|
; CHECK-NEXT: ret void
|
||
|
|
;
|
||
|
|
bb:
|
||
|
|
%tmp = tail call %struct @test6a(i8* %ptr, i32 0, i32 -1)
|
||
|
|
ret void
|
||
|
|
}
|