From: Dan Gohman Date: Thu, 10 Dec 2015 14:52:34 +0000 (+0000) Subject: [WebAssembly] Tighten up several CHECK tests. X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=commitdiff_plain;h=0abf891ab8b4fca8d59b107796125fe1026e9abb [WebAssembly] Tighten up several CHECK tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@255255 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/CodeGen/WebAssembly/copysign-casts.ll b/test/CodeGen/WebAssembly/copysign-casts.ll index 0224febb4c0..760e4913301 100644 --- a/test/CodeGen/WebAssembly/copysign-casts.ll +++ b/test/CodeGen/WebAssembly/copysign-casts.ll @@ -10,17 +10,17 @@ declare double @copysign(double, double) nounwind readnone declare float @copysignf(float, float) nounwind readnone ; CHECK-LABEL: fold_promote: -; CHECK: f64.promote/f32 $push0=, $1 -; CHECK: f64.copysign $push1=, $0, $pop0 +; CHECK: f64.promote/f32 $push0=, $1{{$}} +; CHECK: f64.copysign $push1=, $0, $pop0{{$}} define double @fold_promote(double %a, float %b) { %c = fpext float %b to double %t = call double @copysign(double %a, double %c) ret double %t } -; CHECK-LABEL: fold_demote: -; CHECK: f32.demote/f64 $push0=, $1 -; CHECK: f32.copysign $push1=, $0, $pop0 +; CHECK-LABEL: fold_demote:{{$}} +; CHECK: f32.demote/f64 $push0=, $1{{$}} +; CHECK: f32.copysign $push1=, $0, $pop0{{$}} define float @fold_demote(float %a, double %b) { %c = fptrunc double %b to float %t = call float @copysignf(float %a, float %c) diff --git a/test/CodeGen/WebAssembly/inline-asm.ll b/test/CodeGen/WebAssembly/inline-asm.ll index 646ea779dc8..ba580028629 100644 --- a/test/CodeGen/WebAssembly/inline-asm.ll +++ b/test/CodeGen/WebAssembly/inline-asm.ll @@ -66,7 +66,7 @@ define void @X_i16(i16 * %t) { ; CHECK-LABEL: X_ptr: ; CHECK: foo $1{{$}} -; CHECK: i32.store $discard=, 0($0), $1 +; CHECK: i32.store $discard=, 0($0), $1{{$}} define void @X_ptr(i16 ** %t) { call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(i16** %t) ret void diff --git a/test/CodeGen/WebAssembly/legalize.ll b/test/CodeGen/WebAssembly/legalize.ll index 4dbf96d4d8a..7cc1246a86e 100644 --- a/test/CodeGen/WebAssembly/legalize.ll +++ b/test/CodeGen/WebAssembly/legalize.ll @@ -6,18 +6,18 @@ target datalayout = "e-p:32:32-i64:64-n32:64-S128" target triple = "wasm32-unknown-unknown" ; CHECK-LABEL: shl_i3: -; CHECK: i32.const $push0=, 7 -; CHECK: i32.and $push1=, $1, $pop0 -; CHECK: i32.shl $push2=, $0, $pop1 +; CHECK: i32.const $push0=, 7{{$}} +; CHECK: i32.and $push1=, $1, $pop0{{$}} +; CHECK: i32.shl $push2=, $0, $pop1{{$}} define i3 @shl_i3(i3 %a, i3 %b, i3* %p) { %t = shl i3 %a, %b ret i3 %t } ; CHECK-LABEL: shl_i53: -; CHECK: i64.const $push0=, 9007199254740991 -; CHECK: i64.and $push1=, $1, $pop0 -; CHECK: i64.shl $push2=, $0, $pop1 +; CHECK: i64.const $push0=, 9007199254740991{{$}} +; CHECK: i64.and $push1=, $1, $pop0{{$}} +; CHECK: i64.shl $push2=, $0, $pop1{{$}} define i53 @shl_i53(i53 %a, i53 %b, i53* %p) { %t = shl i53 %a, %b ret i53 %t @@ -34,7 +34,7 @@ define i64 @sext_in_reg_i32_i64(i64 %a) { ; CHECK-LABEL: fpext_f32_f64: ; CHECK: f32.load $push0=, 0($0){{$}} -; CHECK: f64.promote/f32 $push1=, $pop0 +; CHECK: f64.promote/f32 $push1=, $pop0{{$}} ; CHECK: return $pop1{{$}} define double @fpext_f32_f64(float *%p) { %v = load float, float* %p @@ -44,7 +44,7 @@ define double @fpext_f32_f64(float *%p) { ; CHECK-LABEL: fpconv_f64_f32: ; CHECK: f64.load $push0=, 0($0){{$}} -; CHECK: f32.demote/f64 $push1=, $pop0 +; CHECK: f32.demote/f64 $push1=, $pop0{{$}} ; CHECK: return $pop1{{$}} define float @fpconv_f64_f32(double *%p) { %v = load double, double* %p diff --git a/test/CodeGen/WebAssembly/store-results.ll b/test/CodeGen/WebAssembly/store-results.ll index 5bb7eafa4b1..84f24e6e549 100644 --- a/test/CodeGen/WebAssembly/store-results.ll +++ b/test/CodeGen/WebAssembly/store-results.ll @@ -8,8 +8,8 @@ target triple = "wasm32-unknown-unknown" ; CHECK-LABEL: single_block: ; CHECK-NOT: .local -; CHECK: i32.const $push{{[0-9]+}}=, 0 -; CHECK: i32.store $push[[STORE:[0-9]+]]=, 0($0), $pop{{[0-9]+}} +; CHECK: i32.const $push{{[0-9]+}}=, 0{{$}} +; CHECK: i32.store $push[[STORE:[0-9]+]]=, 0($0), $pop{{[0-9]+}}{{$}} ; CHECK: return $pop[[STORE]]{{$}} define i32 @single_block(i32* %p) { entry: @@ -26,7 +26,7 @@ entry: @pos = global %class.Vec3 zeroinitializer, align 4 ; CHECK-LABEL: foo: -; CHECK: i32.store $discard=, 0($pop0), $0 +; CHECK: i32.store $discard=, 0($pop0), $0{{$}} define void @foo() { for.body.i: br label %for.body5.i @@ -44,7 +44,7 @@ for.cond.cleanup4.i: } ; CHECK-LABEL: bar: -; CHECK: i32.store $discard=, 0($0), $pop0 +; CHECK: i32.store $discard=, 0($0), $pop0{{$}} define void @bar() { for.body.i: br label %for.body5.i