diff options
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly/conv.ll')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/conv.ll | 168 |
1 files changed, 105 insertions, 63 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/conv.ll b/llvm/test/CodeGen/WebAssembly/conv.ll index 946d88bc7e3..d2d567677ab 100644 --- a/llvm/test/CodeGen/WebAssembly/conv.ll +++ b/llvm/test/CodeGen/WebAssembly/conv.ll @@ -9,9 +9,11 @@ target triple = "wasm32-unknown-unknown" ; CHECK-NEXT: .param i64{{$}} ; CHECK-NEXT: .result i32{{$}} ; CHECK-NEXT: .local i64, i32{{$}} -; CHECK-NEXT: i32.wrap/i64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i32.wrap/i64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i32 @i32_wrap_i64(i64 %x) { %a = trunc i64 %x to i32 ret i32 %a @@ -21,9 +23,11 @@ define i32 @i32_wrap_i64(i64 %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local i32, i64{{$}} -; CHECK-NEXT: i64.extend_s/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.extend_s/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_extend_s_i32(i32 %x) { %a = sext i32 %x to i64 ret i64 %a @@ -33,9 +37,11 @@ define i64 @i64_extend_s_i32(i32 %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local i32, i64{{$}} -; CHECK-NEXT: i64.extend_u/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.extend_u/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_extend_u_i32(i32 %x) { %a = zext i32 %x to i64 ret i64 %a @@ -45,9 +51,11 @@ define i64 @i64_extend_u_i32(i32 %x) { ; CHECK-NEXT: .param f32 ; CHECK-NEXT: .result i32 ; CHECK-NEXT: .local f32, i32{{$}} -; CHECK-NEXT: i32.trunc_s/f32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i32.trunc_s/f32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i32 @i32_trunc_s_f32(float %x) { %a = fptosi float %x to i32 ret i32 %a @@ -57,9 +65,11 @@ define i32 @i32_trunc_s_f32(float %x) { ; CHECK-NEXT: .param f32 ; CHECK-NEXT: .result i32 ; CHECK-NEXT: .local f32, i32{{$}} -; CHECK-NEXT: i32.trunc_u/f32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i32.trunc_u/f32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i32 @i32_trunc_u_f32(float %x) { %a = fptoui float %x to i32 ret i32 %a @@ -69,9 +79,11 @@ define i32 @i32_trunc_u_f32(float %x) { ; CHECK-NEXT: .param f64 ; CHECK-NEXT: .result i32 ; CHECK-NEXT: .local f64, i32{{$}} -; CHECK-NEXT: i32.trunc_s/f64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i32.trunc_s/f64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i32 @i32_trunc_s_f64(double %x) { %a = fptosi double %x to i32 ret i32 %a @@ -81,9 +93,11 @@ define i32 @i32_trunc_s_f64(double %x) { ; CHECK-NEXT: .param f64 ; CHECK-NEXT: .result i32 ; CHECK-NEXT: .local f64, i32{{$}} -; CHECK-NEXT: i32.trunc_u/f64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i32.trunc_u/f64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i32 @i32_trunc_u_f64(double %x) { %a = fptoui double %x to i32 ret i32 %a @@ -93,9 +107,11 @@ define i32 @i32_trunc_u_f64(double %x) { ; CHECK-NEXT: .param f32 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local f32, i64{{$}} -; CHECK-NEXT: i64.trunc_s/f32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.trunc_s/f32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_trunc_s_f32(float %x) { %a = fptosi float %x to i64 ret i64 %a @@ -105,9 +121,11 @@ define i64 @i64_trunc_s_f32(float %x) { ; CHECK-NEXT: .param f32 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local f32, i64{{$}} -; CHECK-NEXT: i64.trunc_u/f32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.trunc_u/f32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_trunc_u_f32(float %x) { %a = fptoui float %x to i64 ret i64 %a @@ -117,9 +135,11 @@ define i64 @i64_trunc_u_f32(float %x) { ; CHECK-NEXT: .param f64 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local f64, i64{{$}} -; CHECK-NEXT: i64.trunc_s/f64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.trunc_s/f64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_trunc_s_f64(double %x) { %a = fptosi double %x to i64 ret i64 %a @@ -129,9 +149,11 @@ define i64 @i64_trunc_s_f64(double %x) { ; CHECK-NEXT: .param f64 ; CHECK-NEXT: .result i64 ; CHECK-NEXT: .local f64, i64{{$}} -; CHECK-NEXT: i64.trunc_u/f64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: i64.trunc_u/f64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define i64 @i64_trunc_u_f64(double %x) { %a = fptoui double %x to i64 ret i64 %a @@ -141,9 +163,11 @@ define i64 @i64_trunc_u_f64(double %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local i32, f32{{$}} -; CHECK-NEXT: f32.convert_s/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f32.convert_s/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define float @f32_convert_s_i32(i32 %x) { %a = sitofp i32 %x to float ret float %a @@ -153,9 +177,11 @@ define float @f32_convert_s_i32(i32 %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local i32, f32{{$}} -; CHECK-NEXT: f32.convert_u/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f32.convert_u/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define float @f32_convert_u_i32(i32 %x) { %a = uitofp i32 %x to float ret float %a @@ -165,9 +191,11 @@ define float @f32_convert_u_i32(i32 %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local i32, f64{{$}} -; CHECK-NEXT: f64.convert_s/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f64.convert_s/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define double @f64_convert_s_i32(i32 %x) { %a = sitofp i32 %x to double ret double %a @@ -177,9 +205,11 @@ define double @f64_convert_s_i32(i32 %x) { ; CHECK-NEXT: .param i32 ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local i32, f64{{$}} -; CHECK-NEXT: f64.convert_u/i32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f64.convert_u/i32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define double @f64_convert_u_i32(i32 %x) { %a = uitofp i32 %x to double ret double %a @@ -189,9 +219,11 @@ define double @f64_convert_u_i32(i32 %x) { ; CHECK-NEXT: .param i64 ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local i64, f32{{$}} -; CHECK-NEXT: f32.convert_s/i64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f32.convert_s/i64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define float @f32_convert_s_i64(i64 %x) { %a = sitofp i64 %x to float ret float %a @@ -201,9 +233,11 @@ define float @f32_convert_s_i64(i64 %x) { ; CHECK-NEXT: .param i64 ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local i64, f32{{$}} -; CHECK-NEXT: f32.convert_u/i64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f32.convert_u/i64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define float @f32_convert_u_i64(i64 %x) { %a = uitofp i64 %x to float ret float %a @@ -213,9 +247,11 @@ define float @f32_convert_u_i64(i64 %x) { ; CHECK-NEXT: .param i64 ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local i64, f64{{$}} -; CHECK-NEXT: f64.convert_s/i64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f64.convert_s/i64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define double @f64_convert_s_i64(i64 %x) { %a = sitofp i64 %x to double ret double %a @@ -225,9 +261,11 @@ define double @f64_convert_s_i64(i64 %x) { ; CHECK-NEXT: .param i64 ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local i64, f64{{$}} -; CHECK-NEXT: f64.convert_u/i64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f64.convert_u/i64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define double @f64_convert_u_i64(i64 %x) { %a = uitofp i64 %x to double ret double %a @@ -237,9 +275,11 @@ define double @f64_convert_u_i64(i64 %x) { ; CHECK-NEXT: .param f32 ; CHECK-NEXT: .result f64 ; CHECK-NEXT: .local f32, f64{{$}} -; CHECK-NEXT: f64.promote/f32 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f64.promote/f32 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define double @f64_promote_f32(float %x) { %a = fpext float %x to double ret double %a @@ -249,9 +289,11 @@ define double @f64_promote_f32(float %x) { ; CHECK-NEXT: .param f64 ; CHECK-NEXT: .result f32 ; CHECK-NEXT: .local f64, f32{{$}} -; CHECK-NEXT: f32.demote/f64 $push, (get_local 0){{$}} -; CHECK-NEXT: set_local 1, $pop{{$}} -; CHECK-NEXT: return (get_local 1){{$}} +; CHECK-NEXT: get_local push, 0{{$}} +; CHECK-NEXT: set_local 1, pop{{$}} +; CHECK-NEXT: f32.demote/f64 push, (get_local 1){{$}} +; CHECK-NEXT: set_local 2, pop{{$}} +; CHECK-NEXT: return (get_local 2){{$}} define float @f32_demote_f64(double %x) { %a = fptrunc double %x to float ret float %a |
