Regenerate the tests after commit

Author: Camsyn

llvm/test/Transforms/SCCP/switch.ll

@@ -391,8 +391,7 @@ define i1 @switch_default_dest(i32 %x) {
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
 ; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ 2, [[CASE1]] ], [ 3, [[CASE0:%.*]] ], [ [[X]], [[DEFAULT]] ]
-; CHECK-NEXT:    [[RET:%.*]] = icmp ult i32 [[RES]], 2
-; CHECK-NEXT:    ret i1 [[RET]]
+; CHECK-NEXT:    ret i1 false
 ;
 case0:
   switch i32 %x, label %default [
@@ -424,8 +423,7 @@ define i1 @switch_multicases_dest(i32 %x) {
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
 ; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
-; CHECK-NEXT:    [[RET:%.*]] = icmp ult i32 [[RES]], 2
-; CHECK-NEXT:    ret i1 [[RET]]
+; CHECK-NEXT:    ret i1 true
 ;
 entry:
   switch i32 %x, label %phi [
@@ -454,8 +452,7 @@ define i1 @switch_multicases_dest2(i32 %x) {
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
 ; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[X]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
-; CHECK-NEXT:    [[RET:%.*]] = icmp ult i32 [[RES]], 2
-; CHECK-NEXT:    ret i1 [[RET]]
+; CHECK-NEXT:    ret i1 true
 ;
 entry:
   switch i32 %x, label %default [

llvm/test/Transforms/Util/PredicateInfo/condprop.ll

@@ -134,6 +134,8 @@ define void @test4(i1 %b, i32 %x) {
 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[SW:%.*]], label [[CASE3:%.*]]
 ; CHECK:       sw:
 ; CHECK:         [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
+; CHECK:         [[X_1:%.*]] = bitcast i32 [[X]] to i32
+; CHECK:         [[X_2:%.*]] = bitcast i32 [[X]] to i32
 ; CHECK-NEXT:    switch i32 [[X]], label [[DEFAULT:%.*]] [
 ; CHECK-NEXT:      i32 0, label [[CASE0:%.*]]
 ; CHECK-NEXT:      i32 1, label [[CASE1:%.*]]
@@ -142,13 +144,13 @@ define void @test4(i1 %b, i32 %x) {
 ; CHECK-NEXT:      i32 4, label [[DEFAULT]]
 ; CHECK-NEXT:    ]
 ; CHECK:       default:
-; CHECK-NEXT:    call void @bar(i32 [[X]])
+; CHECK-NEXT:    call void @bar(i32 [[X_0]])
 ; CHECK-NEXT:    ret void
 ; CHECK:       case0:
-; CHECK-NEXT:    call void @bar(i32 [[X]])
+; CHECK-NEXT:    call void @bar(i32 [[X_1]])
 ; CHECK-NEXT:    ret void
 ; CHECK:       case1:
-; CHECK-NEXT:    call void @bar(i32 [[X_0]])
+; CHECK-NEXT:    call void @bar(i32 [[X_2]])
 ; CHECK-NEXT:    ret void
 ; CHECK:       case3:
 ; CHECK-NEXT:    call void @bar(i32 [[X]])

llvm/test/Transforms/Util/PredicateInfo/edge.ll

@@ -245,7 +245,8 @@ return:
 define i32 @switch_default_dest(i32 %x) {
 ; CHECK-LABEL: @switch_default_dest(
 ; CHECK-NEXT:  case0:
-; CHECK-NEXT:    switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
+; CHECK:         [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
+; CHECK-NEXT:    switch i32 [[X]], label [[DEFAULT:%.*]] [
 ; CHECK-NEXT:      i32 0, label [[PHI:%.*]]
 ; CHECK-NEXT:      i32 1, label [[CASE1:%.*]]
 ; CHECK-NEXT:    ]
@@ -254,7 +255,7 @@ define i32 @switch_default_dest(i32 %x) {
 ; CHECK:       default:
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
-; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ 0, [[CASE1]] ], [ 1, [[CASE0:%.*]] ], [ [[X]], [[DEFAULT]] ]
+; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ 0, [[CASE1]] ], [ 1, [[CASE0:%.*]] ], [ [[X_0]], [[DEFAULT]] ]
 ; CHECK-NEXT:    [[FOO:%.*]] = add i32 [[RES]], [[X]]
 ; CHECK-NEXT:    ret i32 [[FOO]]
 ;
@@ -279,14 +280,15 @@ phi:
 define i32 @switch_multicases_dest(i32 %x) {
 ; CHECK-LABEL: @switch_multicases_dest(
 ; CHECK-NEXT:  entry:
-; CHECK-NEXT:    switch i32 [[X:%.*]], label [[PHI:%.*]] [
+; CHECK:         [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
+; CHECK-NEXT:    switch i32 [[X]], label [[PHI:%.*]] [
 ; CHECK-NEXT:      i32 0, label [[CASE:%.*]]
 ; CHECK-NEXT:      i32 1, label [[CASE]]
 ; CHECK-NEXT:    ]
 ; CHECK:       case:
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
-; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X_0]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
 ; CHECK-NEXT:    [[FOO:%.*]] = add i32 [[RES]], [[X]]
 ; CHECK-NEXT:    ret i32 [[FOO]]
 ;
@@ -308,14 +310,15 @@ phi:
 define i32 @switch_multicases_dest2(i32 %x) {
 ; CHECK-LABEL: @switch_multicases_dest2(
 ; CHECK-NEXT:  entry:
-; CHECK-NEXT:    switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
+; CHECK:         [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
+; CHECK-NEXT:    switch i32 [[X]], label [[DEFAULT:%.*]] [
 ; CHECK-NEXT:      i32 0, label [[PHI:%.*]]
 ; CHECK-NEXT:      i32 1, label [[PHI]]
 ; CHECK-NEXT:    ]
 ; CHECK:       default:
 ; CHECK-NEXT:    br label [[PHI]]
 ; CHECK:       phi:
-; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[X]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
+; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ [[X_0]], [[ENTRY:%.*]] ], [ [[X_0]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
 ; CHECK-NEXT:    [[FOO:%.*]] = add i32 [[RES]], [[X]]
 ; CHECK-NEXT:    ret i32 [[FOO]]
 ;