llvm/test/CodeGen/M68k/Arith/add.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=m68k-linux -verify-machineinstrs | FileCheck %s
   3
   4 define i64 @test1(i64 %A, i32 %B) nounwind {
   5 ; CHECK-LABEL: test1:
   6 ; CHECK:       ; %bb.0:
   7 ; CHECK-NEXT:    move.l (12,%sp), %d0
   8 ; CHECK-NEXT:    add.l (4,%sp), %d0
   9 ; CHECK-NEXT:    move.l (8,%sp), %d1
  10 ; CHECK-NEXT:    rts
  11   %tmp12 = zext i32 %B to i64
  12   %tmp3 = shl i64 %tmp12, 32
  13   %tmp5 = add i64 %tmp3, %A
  14   ret i64 %tmp5
  15 }
  16
  17 define void @test2(i32* inreg %a) nounwind {
  18 ; CHECK-LABEL: test2:
  19 ; CHECK:       ; %bb.0:
  20 ; CHECK-NEXT:    move.l %d0, %a0
  21 ; CHECK-NEXT:    add.l #128, (%a0)
  22 ; CHECK-NEXT:    rts
  23   %aa = load i32, i32* %a
  24   %b = add i32 %aa, 128
  25   store i32 %b, i32* %a
  26   ret void
  27 }
  28
  29 define fastcc void @test2_fast(i32* inreg %a) nounwind {
  30 ; CHECK-LABEL: test2_fast:
  31 ; CHECK:       ; %bb.0:
  32 ; CHECK-NEXT:    add.l #128, (%a0)
  33 ; CHECK-NEXT:    rts
  34   %aa = load i32, i32* %a
  35   %b = add i32 %aa, 128
  36   store i32 %b, i32* %a
  37   ret void
  38 }
  39
  40 define fastcc void @test3(i64* inreg %a) nounwind {
  41 ; CHECK-LABEL: test3:
  42 ; CHECK:       ; %bb.0:
  43 ; CHECK-NEXT:    suba.l #4, %sp
  44 ; CHECK-NEXT:    movem.l %d2, (0,%sp) ; 8-byte Folded Spill
  45 ; CHECK-NEXT:    move.l (%a0), %d0
  46 ; CHECK-NEXT:    move.l #0, %d1
  47 ; CHECK-NEXT:    move.l #-2147483648, %d2
  48 ; CHECK-NEXT:    add.l (4,%a0), %d2
  49 ; CHECK-NEXT:    addx.l %d0, %d1
  50 ; CHECK-NEXT:    move.l %d2, (4,%a0)
  51 ; CHECK-NEXT:    move.l %d1, (%a0)
  52 ; CHECK-NEXT:    movem.l (0,%sp), %d2 ; 8-byte Folded Reload
  53 ; CHECK-NEXT:    adda.l #4, %sp
  54 ; CHECK-NEXT:    rts
  55   %aa = load i64, i64* %a
  56   %b = add i64 %aa, 2147483648
  57   store i64 %b, i64* %a
  58   ret void
  59 }
  60
  61 define fastcc void @test4(i64* inreg %a) nounwind {
  62 ; CHECK-LABEL: test4:
  63 ; CHECK:       ; %bb.0:
  64 ; CHECK-NEXT:    suba.l #4, %sp
  65 ; CHECK-NEXT:    movem.l %d2, (0,%sp) ; 8-byte Folded Spill
  66 ; CHECK-NEXT:    move.l (%a0), %d0
  67 ; CHECK-NEXT:    move.l #0, %d1
  68 ; CHECK-NEXT:    move.l #128, %d2
  69 ; CHECK-NEXT:    add.l (4,%a0), %d2
  70 ; CHECK-NEXT:    addx.l %d0, %d1
  71 ; CHECK-NEXT:    move.l %d2, (4,%a0)
  72 ; CHECK-NEXT:    move.l %d1, (%a0)
  73 ; CHECK-NEXT:    movem.l (0,%sp), %d2 ; 8-byte Folded Reload
  74 ; CHECK-NEXT:    adda.l #4, %sp
  75 ; CHECK-NEXT:    rts
  76   %aa = load i64, i64* %a
  77   %b = add i64 %aa, 128
  78   store i64 %b, i64* %a
  79   ret void
  80 }
  81
  82 define fastcc i32 @test9(i32 %x, i32 %y) nounwind readnone {
  83 ; CHECK-LABEL: test9:
  84 ; CHECK:       ; %bb.0:
  85 ; CHECK-NEXT:    sub.l #10, %d0
  86 ; CHECK-NEXT:    seq %d0
  87 ; CHECK-NEXT:    and.l #255, %d0
  88 ; CHECK-NEXT:    sub.l %d0, %d1
  89 ; CHECK-NEXT:    move.l %d1, %d0
  90 ; CHECK-NEXT:    rts
  91   %cmp = icmp eq i32 %x, 10
  92   %sub = sext i1 %cmp to i32
  93   %cond = add i32 %sub, %y
  94   ret i32 %cond
  95 }