X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FCodeGen%2FWebAssembly%2Flegalize.ll;h=7cc1246a86e82aa9cd9a08aa1ebab734a5eb99a7;hb=0abf891ab8b4fca8d59b107796125fe1026e9abb;hp=4bfec212cf769d134db079164d0cdfba8c2ff0ae;hpb=a796bb8e0a72426c87912b85d6af8a164aa179e3;p=oota-llvm.git

diff --git a/test/CodeGen/WebAssembly/legalize.ll b/test/CodeGen/WebAssembly/legalize.ll
index 4bfec212cf7..7cc1246a86e 100644
--- a/test/CodeGen/WebAssembly/legalize.ll
+++ b/test/CodeGen/WebAssembly/legalize.ll
@@ -6,19 +6,48 @@ 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
 }
+
+; CHECK-LABEL: sext_in_reg_i32_i64:
+; CHECK: i64.shl
+; CHECK: i64.shr_s
+define i64 @sext_in_reg_i32_i64(i64 %a) {
+  %b = shl i64 %a, 32
+  %c = ashr i64 %b, 32
+  ret i64 %c
+}
+
+; CHECK-LABEL: fpext_f32_f64:
+; CHECK: f32.load $push0=, 0($0){{$}}
+; CHECK: f64.promote/f32 $push1=, $pop0{{$}}
+; CHECK: return $pop1{{$}}
+define double @fpext_f32_f64(float *%p) {
+  %v = load float, float* %p
+  %e = fpext float %v to double
+  ret double %e
+}
+
+; CHECK-LABEL: fpconv_f64_f32:
+; CHECK: f64.load $push0=, 0($0){{$}}
+; CHECK: f32.demote/f64 $push1=, $pop0{{$}}
+; CHECK: return $pop1{{$}}
+define float @fpconv_f64_f32(double *%p) {
+  %v = load double, double* %p
+  %e = fptrunc double %v to float
+  ret float %e
+}