llvm/test/Transforms/LoopSimplifyCFG/mssa_update.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; REQUIRES: asserts
   3 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(loop-simplifycfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
   4 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes=loop-simplifycfg -verify-memoryssa -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
   5
   6 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   7
   8 ; Make sure we update MSSA properly.
   9 define void @test(ptr %a, ptr %b) {
  10 ; CHECK-LABEL: @test(
  11
  12 entry:
  13   br label %for.body
  14
  15 for.body:
  16   %i = phi i32 [ 0, %entry ], [ %i.inc, %latch ]
  17   br label %switch.bb
  18
  19 switch.bb:
  20   switch i2 1, label %default [
  21     i2 1, label %case
  22   ]
  23
  24 case:
  25   br label %latch
  26
  27 default:
  28   unreachable
  29
  30 latch:
  31   store i32 %i, ptr %a
  32   store i32 %i, ptr %b
  33   %i.inc = add nsw i32 %i, 1
  34   %exitcond = icmp eq i32 %i.inc, 4
  35   br i1 %exitcond, label %exit, label %for.body
  36
  37 exit:
  38   ret void
  39 }