[llvm] r254077 - [WebAssembly] Make several tests more strict.
Dan Gohman via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 25 09:33:16 PST 2015
Author: djg
Date: Wed Nov 25 11:33:15 2015
New Revision: 254077
URL: http://llvm.org/viewvc/llvm-project?rev=254077&view=rev
Log:
[WebAssembly] Make several tests more strict.
Modified:
llvm/trunk/test/CodeGen/WebAssembly/comparisons_f32.ll
llvm/trunk/test/CodeGen/WebAssembly/comparisons_f64.ll
llvm/trunk/test/CodeGen/WebAssembly/conv.ll
llvm/trunk/test/CodeGen/WebAssembly/dead-vreg.ll
llvm/trunk/test/CodeGen/WebAssembly/memory-addr32.ll
llvm/trunk/test/CodeGen/WebAssembly/memory-addr64.ll
llvm/trunk/test/CodeGen/WebAssembly/signext-zeroext.ll
Modified: llvm/trunk/test/CodeGen/WebAssembly/comparisons_f32.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/comparisons_f32.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/comparisons_f32.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/comparisons_f32.ll Wed Nov 25 11:33:15 2015
@@ -106,8 +106,8 @@ define i32 @ueq_f32(float %x, float %y)
}
; CHECK-LABEL: one_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f32, f32{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: f32.ne $push[[NUM0:[0-9]+]]=, $0, $1{{$}}
; CHECK-NEXT: f32.eq $push[[NUM1:[0-9]+]]=, $0, $0{{$}}
; CHECK-NEXT: f32.eq $push[[NUM2:[0-9]+]]=, $1, $1{{$}}
Modified: llvm/trunk/test/CodeGen/WebAssembly/comparisons_f64.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/comparisons_f64.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/comparisons_f64.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/comparisons_f64.ll Wed Nov 25 11:33:15 2015
@@ -106,8 +106,8 @@ define i32 @ueq_f64(double %x, double %y
}
; CHECK-LABEL: one_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f64, f64{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: f64.ne $push[[NUM0:[0-9]+]]=, $0, $1{{$}}
; CHECK-NEXT: f64.eq $push[[NUM1:[0-9]+]]=, $0, $0{{$}}
; CHECK-NEXT: f64.eq $push[[NUM2:[0-9]+]]=, $1, $1{{$}}
Modified: llvm/trunk/test/CodeGen/WebAssembly/conv.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/conv.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/conv.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/conv.ll Wed Nov 25 11:33:15 2015
@@ -16,8 +16,8 @@ define i32 @i32_wrap_i64(i64 %x) {
}
; CHECK-LABEL: i64_extend_s_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.extend_s/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_extend_s_i32(i32 %x) {
@@ -26,8 +26,8 @@ define i64 @i64_extend_s_i32(i32 %x) {
}
; CHECK-LABEL: i64_extend_u_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.extend_u/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_extend_u_i32(i32 %x) {
@@ -36,8 +36,8 @@ define i64 @i64_extend_u_i32(i32 %x) {
}
; CHECK-LABEL: i32_trunc_s_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: i32.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i32 @i32_trunc_s_f32(float %x) {
@@ -46,8 +46,8 @@ define i32 @i32_trunc_s_f32(float %x) {
}
; CHECK-LABEL: i32_trunc_u_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: i32.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i32 @i32_trunc_u_f32(float %x) {
@@ -56,8 +56,8 @@ define i32 @i32_trunc_u_f32(float %x) {
}
; CHECK-LABEL: i32_trunc_s_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f64{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: i32.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i32 @i32_trunc_s_f64(double %x) {
@@ -66,8 +66,8 @@ define i32 @i32_trunc_s_f64(double %x) {
}
; CHECK-LABEL: i32_trunc_u_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param f64{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: i32.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i32 @i32_trunc_u_f64(double %x) {
@@ -76,8 +76,8 @@ define i32 @i32_trunc_u_f64(double %x) {
}
; CHECK-LABEL: i64_trunc_s_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_trunc_s_f32(float %x) {
@@ -86,8 +86,8 @@ define i64 @i64_trunc_s_f32(float %x) {
}
; CHECK-LABEL: i64_trunc_u_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_trunc_u_f32(float %x) {
@@ -96,8 +96,8 @@ define i64 @i64_trunc_u_f32(float %x) {
}
; CHECK-LABEL: i64_trunc_s_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param f64{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_trunc_s_f64(double %x) {
@@ -106,8 +106,8 @@ define i64 @i64_trunc_s_f64(double %x) {
}
; CHECK-LABEL: i64_trunc_u_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result i64
+; CHECK-NEXT: .param f64{{$}}
+; CHECK-NEXT: .result i64{{$}}
; CHECK-NEXT: i64.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define i64 @i64_trunc_u_f64(double %x) {
@@ -116,8 +116,8 @@ define i64 @i64_trunc_u_f64(double %x) {
}
; CHECK-LABEL: f32_convert_s_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result f32
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result f32{{$}}
; CHECK-NEXT: f32.convert_s/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define float @f32_convert_s_i32(i32 %x) {
@@ -126,8 +126,8 @@ define float @f32_convert_s_i32(i32 %x)
}
; CHECK-LABEL: f32_convert_u_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result f32
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result f32{{$}}
; CHECK-NEXT: f32.convert_u/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define float @f32_convert_u_i32(i32 %x) {
@@ -136,8 +136,8 @@ define float @f32_convert_u_i32(i32 %x)
}
; CHECK-LABEL: f64_convert_s_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result f64
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result f64{{$}}
; CHECK-NEXT: f64.convert_s/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define double @f64_convert_s_i32(i32 %x) {
@@ -146,8 +146,8 @@ define double @f64_convert_s_i32(i32 %x)
}
; CHECK-LABEL: f64_convert_u_i32:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result f64
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result f64{{$}}
; CHECK-NEXT: f64.convert_u/i32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define double @f64_convert_u_i32(i32 %x) {
@@ -156,8 +156,8 @@ define double @f64_convert_u_i32(i32 %x)
}
; CHECK-LABEL: f32_convert_s_i64:
-; CHECK-NEXT: .param i64
-; CHECK-NEXT: .result f32
+; CHECK-NEXT: .param i64{{$}}
+; CHECK-NEXT: .result f32{{$}}
; CHECK-NEXT: f32.convert_s/i64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define float @f32_convert_s_i64(i64 %x) {
@@ -166,8 +166,8 @@ define float @f32_convert_s_i64(i64 %x)
}
; CHECK-LABEL: f32_convert_u_i64:
-; CHECK-NEXT: .param i64
-; CHECK-NEXT: .result f32
+; CHECK-NEXT: .param i64{{$}}
+; CHECK-NEXT: .result f32{{$}}
; CHECK-NEXT: f32.convert_u/i64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define float @f32_convert_u_i64(i64 %x) {
@@ -176,8 +176,8 @@ define float @f32_convert_u_i64(i64 %x)
}
; CHECK-LABEL: f64_convert_s_i64:
-; CHECK-NEXT: .param i64
-; CHECK-NEXT: .result f64
+; CHECK-NEXT: .param i64{{$}}
+; CHECK-NEXT: .result f64{{$}}
; CHECK-NEXT: f64.convert_s/i64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define double @f64_convert_s_i64(i64 %x) {
@@ -186,8 +186,8 @@ define double @f64_convert_s_i64(i64 %x)
}
; CHECK-LABEL: f64_convert_u_i64:
-; CHECK-NEXT: .param i64
-; CHECK-NEXT: .result f64
+; CHECK-NEXT: .param i64{{$}}
+; CHECK-NEXT: .result f64{{$}}
; CHECK-NEXT: f64.convert_u/i64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define double @f64_convert_u_i64(i64 %x) {
@@ -196,8 +196,8 @@ define double @f64_convert_u_i64(i64 %x)
}
; CHECK-LABEL: f64_promote_f32:
-; CHECK-NEXT: .param f32
-; CHECK-NEXT: .result f64
+; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .result f64{{$}}
; CHECK-NEXT: f64.promote/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define double @f64_promote_f32(float %x) {
@@ -206,8 +206,8 @@ define double @f64_promote_f32(float %x)
}
; CHECK-LABEL: f32_demote_f64:
-; CHECK-NEXT: .param f64
-; CHECK-NEXT: .result f32
+; CHECK-NEXT: .param f64{{$}}
+; CHECK-NEXT: .result f32{{$}}
; CHECK-NEXT: f32.demote/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
; CHECK-NEXT: return $pop[[NUM]]{{$}}
define float @f32_demote_f64(double %x) {
Modified: llvm/trunk/test/CodeGen/WebAssembly/dead-vreg.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/dead-vreg.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/dead-vreg.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/dead-vreg.ll Wed Nov 25 11:33:15 2015
@@ -7,7 +7,7 @@ target triple = "wasm32-unknown-unknown"
define void @foo(i32* nocapture %a, i32 %w, i32 %h) {
; CHECK-LABEL: foo:
-; CHECK-NEXT: .param i32, i32, i32
+; CHECK-NEXT: .param i32, i32, i32{{$}}
; CHECK-NEXT: .local i32, i32, i32, i32, i32, i32, i32, i32, i32{{$}}
entry:
%cmp.19 = icmp sgt i32 %h, 0
Modified: llvm/trunk/test/CodeGen/WebAssembly/memory-addr32.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/memory-addr32.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/memory-addr32.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/memory-addr32.ll Wed Nov 25 11:33:15 2015
@@ -18,7 +18,7 @@ define i32 @memory_size() {
}
; CHECK-LABEL: grow_memory:
-; CHECK-NEXT: .param i32
+; CHECK-NEXT: .param i32{{$}}
; CHECK: grow_memory $0{{$}}
; CHECK-NEXT: return{{$}}
define void @grow_memory(i32 %n) {
Modified: llvm/trunk/test/CodeGen/WebAssembly/memory-addr64.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/memory-addr64.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/memory-addr64.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/memory-addr64.ll Wed Nov 25 11:33:15 2015
@@ -18,7 +18,7 @@ define i64 @memory_size() {
}
; CHECK-LABEL: grow_memory:
-; CHECK-NEXT: .param i64
+; CHECK-NEXT: .param i64{{$}}
; CHECK: grow_memory $0{{$}}
; CHECK-NEXT: return{{$}}
define void @grow_memory(i64 %n) {
Modified: llvm/trunk/test/CodeGen/WebAssembly/signext-zeroext.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/WebAssembly/signext-zeroext.ll?rev=254077&r1=254076&r2=254077&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/WebAssembly/signext-zeroext.ll (original)
+++ llvm/trunk/test/CodeGen/WebAssembly/signext-zeroext.ll Wed Nov 25 11:33:15 2015
@@ -28,8 +28,8 @@ define zeroext i8 @s2z_func(i8 signext %
}
; CHECK-LABEL: z2s_call:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: i32.const $push[[NUM0:[0-9]+]]=, 255{{$}}
; CHECK-NEXT: i32.and $push[[NUM1:[0-9]+]]=, $0, $pop[[NUM0]]{{$}}
; CHECK-NEXT: call $push[[NUM2:[0-9]+]]=, z2s_func, $pop[[NUM1]]{{$}}
@@ -42,8 +42,8 @@ define i32 @z2s_call(i32 %t) {
}
; CHECK-LABEL: s2z_call:
-; CHECK-NEXT: .param i32
-; CHECK-NEXT: .result i32
+; CHECK-NEXT: .param i32{{$}}
+; CHECK-NEXT: .result i32{{$}}
; CHECK-NEXT: .local i32{{$}}
; CHECK-NEXT: i32.const $[[NUM0:[0-9]+]]=, 24{{$}}
; CHECK-NEXT: i32.shl $push[[NUM1:[0-9]+]]=, $0, $[[NUM0]]{{$}}
More information about the llvm-commits
mailing list