Drop codegen arg assertions for all ops.

Author: ccoalson-sx

tests/codegen/float/algebraic.rs

@@ -18,7 +18,7 @@ pub fn f16_algebraic_add(a: f16, b: f16) -> f16 {
 // CHECK-LABEL: @f16_algebraic_sub
 #[no_mangle]
 pub fn f16_algebraic_sub(a: f16, b: f16) -> f16 {
-    // CHECK: fsub reassoc nsz arcp contract half %a, %b
+    // CHECK: fsub reassoc nsz arcp contract half
     a.algebraic_sub(b)
 }
 
@@ -32,14 +32,14 @@ pub fn f16_algebraic_mul(a: f16, b: f16) -> f16 {
 // CHECK-LABEL: @f16_algebraic_div
 #[no_mangle]
 pub fn f16_algebraic_div(a: f16, b: f16) -> f16 {
-    // CHECK: fdiv reassoc nsz arcp contract half %a, %b
+    // CHECK: fdiv reassoc nsz arcp contract half
     a.algebraic_div(b)
 }
 
 // CHECK-LABEL: @f16_algebraic_rem
 #[no_mangle]
 pub fn f16_algebraic_rem(a: f16, b: f16) -> f16 {
-    // CHECK: frem reassoc nsz arcp contract half %a, %b
+    // CHECK: frem reassoc nsz arcp contract half
     a.algebraic_rem(b)
 }
 
@@ -53,7 +53,7 @@ pub fn f32_algebraic_add(a: f32, b: f32) -> f32 {
 // CHECK-LABEL: @f32_algebraic_sub
 #[no_mangle]
 pub fn f32_algebraic_sub(a: f32, b: f32) -> f32 {
-    // CHECK: fsub reassoc nsz arcp contract float %a, %b
+    // CHECK: fsub reassoc nsz arcp contract float
     a.algebraic_sub(b)
 }
 
@@ -67,14 +67,14 @@ pub fn f32_algebraic_mul(a: f32, b: f32) -> f32 {
 // CHECK-LABEL: @f32_algebraic_div
 #[no_mangle]
 pub fn f32_algebraic_div(a: f32, b: f32) -> f32 {
-    // CHECK: fdiv reassoc nsz arcp contract float %a, %b
+    // CHECK: fdiv reassoc nsz arcp contract float
     a.algebraic_div(b)
 }
 
 // CHECK-LABEL: @f32_algebraic_rem
 #[no_mangle]
 pub fn f32_algebraic_rem(a: f32, b: f32) -> f32 {
-    // CHECK: frem reassoc nsz arcp contract float %a, %b
+    // CHECK: frem reassoc nsz arcp contract float
     a.algebraic_rem(b)
 }
 
@@ -88,7 +88,7 @@ pub fn f64_algebraic_add(a: f64, b: f64) -> f64 {
 // CHECK-LABEL: @f64_algebraic_sub
 #[no_mangle]
 pub fn f64_algebraic_sub(a: f64, b: f64) -> f64 {
-    // CHECK: fsub reassoc nsz arcp contract double %a, %b
+    // CHECK: fsub reassoc nsz arcp contract double
     a.algebraic_sub(b)
 }
 
@@ -102,14 +102,14 @@ pub fn f64_algebraic_mul(a: f64, b: f64) -> f64 {
 // CHECK-LABEL: @f64_algebraic_div
 #[no_mangle]
 pub fn f64_algebraic_div(a: f64, b: f64) -> f64 {
-    // CHECK: fdiv reassoc nsz arcp contract double %a, %b
+    // CHECK: fdiv reassoc nsz arcp contract double
     a.algebraic_div(b)
 }
 
 // CHECK-LABEL: @f64_algebraic_rem
 #[no_mangle]
 pub fn f64_algebraic_rem(a: f64, b: f64) -> f64 {
-    // CHECK: frem reassoc nsz arcp contract double %a, %b
+    // CHECK: frem reassoc nsz arcp contract double
     a.algebraic_rem(b)
 }
 
@@ -123,7 +123,7 @@ pub fn f128_algebraic_add(a: f128, b: f128) -> f128 {
 // CHECK-LABEL: @f128_algebraic_sub
 #[no_mangle]
 pub fn f128_algebraic_sub(a: f128, b: f128) -> f128 {
-    // CHECK: fsub reassoc nsz arcp contract fp128 %a, %b
+    // CHECK: fsub reassoc nsz arcp contract fp128
     a.algebraic_sub(b)
 }
 
@@ -137,13 +137,13 @@ pub fn f128_algebraic_mul(a: f128, b: f128) -> f128 {
 // CHECK-LABEL: @f128_algebraic_div
 #[no_mangle]
 pub fn f128_algebraic_div(a: f128, b: f128) -> f128 {
-    // CHECK: fdiv reassoc nsz arcp contract fp128 %a, %b
+    // CHECK: fdiv reassoc nsz arcp contract fp128
     a.algebraic_div(b)
 }
 
 // CHECK-LABEL: @f128_algebraic_rem
 #[no_mangle]
 pub fn f128_algebraic_rem(a: f128, b: f128) -> f128 {
-    // CHECK: frem reassoc nsz arcp contract fp128 %a, %b
+    // CHECK: frem reassoc nsz arcp contract fp128
     a.algebraic_rem(b)
 }