[test] Rewrite various tests to not use constprop

[aeubanks]

CHECK fixes

[nikic]

LG

llvm/test/Transforms/Inline/externally_available.ll

-; RUN: opt < %s -inline -constprop -S | FileCheck %s
+; RUN: opt < %s -inline -S | FileCheck %s
 
 define available_externally i32 @test_function() {
 ; CHECK-NOT: @test_function
 entry:
   ret i32 4
 }
 
 
 define i32 @result() {
 ; CHECK-LABEL: define i32 @result()
 entry:
   %A = call i32 @test_function()
 ; CHECK-NOT: call
 ; CHECK-NOT: @test_function
 
   %B = add i32 %A, 1
   ret i32 %B
-; CHECK: ret i32 5
+; CHECK: ret i32
 }
 
 ; CHECK-NOT: @test_function

llvm/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll

 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -reassociate -constprop -instcombine -dce -S | FileCheck %s
+; RUN: opt < %s -reassociate -instcombine -dce -S | FileCheck %s
 
 ; With sub reassociation, constant folding can eliminate all of the constants.
 define i32 @test1(i32 %A, i32 %B) {
 ; CHECK-LABEL: @test1(
 ; CHECK-NEXT:    [[Z:%.*]] = sub i32 [[A:%.*]], [[B:%.*]]
 ; CHECK-NEXT:    ret i32 [[Z]]
 ;
   %W = add i32 5, %B

llvm/test/Transforms/Reassociate/fast-SubReassociate.ll

 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -reassociate -constprop -instcombine -S | FileCheck %s
+; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
 
 define float @test1(float %A, float %B) {
 ; CHECK-LABEL: @test1(
 ; CHECK-NEXT:    [[W:%.*]] = fadd float [[B:%.*]], 5.000000e+00
 ; CHECK-NEXT:    [[X:%.*]] = fadd float [[A:%.*]], -7.000000e+00
 ; CHECK-NEXT:    [[Y:%.*]] = fsub float [[X]], [[W]]
 ; CHECK-NEXT:    [[Z:%.*]] = fadd float [[Y]], 1.200000e+01
 ; CHECK-NEXT:    ret float [[Z]]

llvm/test/Transforms/Reassociate/otherops.ll

 ; Reassociation should apply to Add, Mul, And, Or, & Xor
 ;
-; RUN: opt < %s -reassociate -constprop -instcombine -die -S | FileCheck %s
+; RUN: opt < %s -reassociate -instcombine -die -S | FileCheck %s
 
 define i32 @test_mul(i32 %arg) {
 ; CHECK-LABEL: test_mul
 ; CHECK-NEXT: %tmp2 = mul i32 %arg, 144
 ; CHECK-NEXT: ret i32 %tmp2
 
   %tmp1 = mul i32 12, %arg
   %tmp2 = mul i32 %tmp1, 12